Connecticut Logic Seminar – Past Talks
All talks in or after Spring 2019 are accessible through the UConn Events Calendar.
The table below is of talks prior to Spring 2019.
The table below is of talks prior to Spring 2019.
1/24/05
Connecticut Logic Seminar
Up To Equimorphism, Hyperarithmetic Is Computable
Antonio Montalban (Cornell University)
Up To Equimorphism, Hyperarithmetic Is Computable
Antonio Montalban (Cornell University)
2/14/05
Connecticut Logic Seminar
Some problems in descriptive set theory: On the unique representation of families of sets and some problems arising in geomery and analysis
Dan Mauldin (University of North Texas)
Some problems in descriptive set theory: On the unique representation of families of sets and some problems arising in geomery and analysis
Dan Mauldin (University of North Texas)
2/28/05
Connecticut Logic Seminar
K-triviality
Denis Hirschfeldt (University of Chicago)
K-triviality
Denis Hirschfeldt (University of Chicago)
3/28/05
Connecticut Logic Seminar
Nonnegative Solvability of Linear Equations in Ordered Groups
Philip Snowcroft (Wesleyan University)
Nonnegative Solvability of Linear Equations in Ordered Groups
Philip Snowcroft (Wesleyan University)
4/18/05
Connecticut Logic Seminar
title to be announced
Carl Jockusch (University of Illinois)
title to be announced
Carl Jockusch (University of Illinois)
9/12/05
Connecticut Logic Seminar
Degrees of unsolvability of continuous functions
Joe Miller (University of Connecticut)
Degrees of unsolvability of continuous functions
Joe Miller (University of Connecticut)
9/19/05
Connecticut Logic Seminar
Amalgamation, tameness and semi-abelian varieties
John Baldwin (University of Illinois at Chicago)
Amalgamation, tameness and semi-abelian varieties
John Baldwin (University of Illinois at Chicago)
9/26/05
Connecticut Logic Seminar
Strongly minimal sets in differentially closed fields
Eric Rosen (Wesleyan University)
Strongly minimal sets in differentially closed fields
Eric Rosen (Wesleyan University)
10/3/05
Connecticut Logic Seminar
Homogeneous spaces and actions by analytic groups
Jan van Mill (Vrije Universiteit and Wesleyan University)
Homogeneous spaces and actions by analytic groups
Jan van Mill (Vrije Universiteit and Wesleyan University)
10/24/05
Connecticut Logic Seminar
Remarks on Zilber’s pseudoexponentiation
David Marker (University of Illinois at Chicago)
Remarks on Zilber’s pseudoexponentiation
David Marker (University of Illinois at Chicago)
10/31/05
Connecticut Logic Seminar
Eaten by her own dinner
Alex Raichev (University of Wisconsin)
Eaten by her own dinner
Alex Raichev (University of Wisconsin)
11/7/05
Connecticut Logic Seminar
A method for constructing decidable expansions of the real field by restricted transcendental analytic functions
Daniel Miller (Wesleyan University)
A method for constructing decidable expansions of the real field by restricted transcendental analytic functions
Daniel Miller (Wesleyan University)
11/14/05
Connecticut Logic Seminar
Automatic Structures
Bakhadyr Khoussainov (Auckland University and Cornell University)
Automatic Structures
Bakhadyr Khoussainov (Auckland University and Cornell University)
12/5/05
Connecticut Logic Seminar
Computability theoretic complexity of trivial strongly minimal models
Reed Solomon (University of Connecticut)
Computability theoretic complexity of trivial strongly minimal models
Reed Solomon (University of Connecticut)
2/13/06
Connecticut Logic Seminar
Separation of Variables and the Model Theory of Partial Differential Fields
Carol Wood (Wesleyan University)
Separation of Variables and the Model Theory of Partial Differential Fields
Carol Wood (Wesleyan University)
2/20/06
Connecticut Logic Seminar
Spectra of Turing Degrees
Russell Miller (Queens College)
Spectra of Turing Degrees
Russell Miller (Queens College)
2/27/06
Connecticut Logic Seminar
What’s Next? Models of Time in Event Systems
Walker White (Cornell University)
What’s Next? Models of Time in Event Systems
Walker White (Cornell University)
3/27/06
Connecticut Logic Seminar
Eventually periodic poly-regular groups
Philip Scowcroft (Wesleyan University)
Eventually periodic poly-regular groups
Philip Scowcroft (Wesleyan University)
4/3/06
Connecticut Logic Seminar
Bounding Critical Triples
Rebecca Weber ()
Bounding Critical Triples
Rebecca Weber ()
4/10/06
Connecticut Logic Seminar
Connecting computability and randomness
Andre Nies (University of Connecticut)
Connecting computability and randomness
Andre Nies (University of Connecticut)
4/17/06
Connecticut Logic Seminar
On the Strength of Theorems from Combinatorics and Model Theory
Denis Hirschfeldt ()
On the Strength of Theorems from Combinatorics and Model Theory
Denis Hirschfeldt ()
9/18/06
Connecticut Logic Seminar
Reducts of Random Bipartite Graphs
Yun Lu (Wesleyan University)
Reducts of Random Bipartite Graphs
Yun Lu (Wesleyan University)
10/9/06
Connecticut Logic Seminar
Euclidean Ramsey Theory
Jim Schmerl (University of Connecticut)
Euclidean Ramsey Theory
Jim Schmerl (University of Connecticut)
10/23/06
Connecticut Logic Seminar
Borel complexity of isomorphism for theories with many types
David Marker (University of Illinois at Chicago)
Borel complexity of isomorphism for theories with many types
David Marker (University of Illinois at Chicago)
10/30/06
Connecticut Logic Seminar
Cohesiveness and Pi^1_1 conservation
CT Chong (National University of Singapore)
Cohesiveness and Pi^1_1 conservation
CT Chong (National University of Singapore)
11/6/06
Connecticut Logic Seminar
Proving the weak pigeonhole principle in bounded arithmetic
Norman Danner ()
Proving the weak pigeonhole principle in bounded arithmetic
Norman Danner ()
11/13/06
Connecticut Logic Seminar
The decidability of the existential theory of the upper semilattice of degrees with least element and jump
Manuel Lerman (University of Connecticut)
The decidability of the existential theory of the upper semilattice of degrees with least element and jump
Manuel Lerman (University of Connecticut)
11/27/06
Connecticut Logic Seminar
Forcing Axioms, Generic Absoluteness, and Consistency Strength
Stuart Zoble (Wesleyan University)
Forcing Axioms, Generic Absoluteness, and Consistency Strength
Stuart Zoble (Wesleyan University)
12/4/06
Connecticut Logic Seminar
Minimal degrees and c.e. degrees
Reed Solomon (University of Connecticut)
Minimal degrees and c.e. degrees
Reed Solomon (University of Connecticut)
1/24/07
Connecticut Logic Seminar
Countable Pi^0_1 classes, strong degree spectra, and Kolmogorov complexity
Carl Jockusch (University of Illinois)
Countable Pi^0_1 classes, strong degree spectra, and Kolmogorov complexity
Carl Jockusch (University of Illinois)
1/29/07
Connecticut Logic Seminar
A Family of Countably Universal Graphs without SOP_4
Rehana Patel (St. John’s University)
A Family of Countably Universal Graphs without SOP_4
Rehana Patel (St. John’s University)
2/19/07
Connecticut Logic Seminar
Computability over ordinal time and space
Russell Miller (Queens College CUNY)
Computability over ordinal time and space
Russell Miller (Queens College CUNY)
3/19/07
Connecticut Logic Seminar
G-compactness is not preserved
Rodrigo Pelaez (University of Barcelona)
G-compactness is not preserved
Rodrigo Pelaez (University of Barcelona)
3/26/07
Connecticut Logic Seminar
Infinite Hat Problems
Chris Hardin (Smith College)
Infinite Hat Problems
Chris Hardin (Smith College)
4/2/07
Connecticut Logic Seminar
Computability of Fraisse Limits
Barbara Csima (University of Waterloo)
Computability of Fraisse Limits
Barbara Csima (University of Waterloo)
4/16/07
Connecticut Logic Seminar
Reducts of Countably Categorical Graphs (Thesis Defense)
Yun Lu (Wesleyan University)
Reducts of Countably Categorical Graphs (Thesis Defense)
Yun Lu (Wesleyan University)
9/10/07
Connecticut Logic Seminar
Model theoretic properties of automatic structures
Mia Minnes (Cornell University)
Model theoretic properties of automatic structures
Mia Minnes (Cornell University)
9/17/07
Connecticut Logic Seminar
WGCH and Martin’s Axiom
John Baldwin (University of Illinois at Chicago)
WGCH and Martin’s Axiom
John Baldwin (University of Illinois at Chicago)
9/24/07
Connecticut Logic Seminar
Admissible recursion theory and linear orderings of size $aleph_1$
Noam Greenberg (Victoria University of Wellington)
Admissible recursion theory and linear orderings of size $aleph_1$
Noam Greenberg (Victoria University of Wellington)
10/1/07
Connecticut Logic Seminar
Combining Real Exponentiation and Weierstrass Elliptic Functions:Decidability and Model Completeness
Angus Macintyre (University of London)
Combining Real Exponentiation and Weierstrass Elliptic Functions:Decidability and Model Completeness
Angus Macintyre (University of London)
10/22/07
Connecticut Logic Seminar
Halfspaces in dimension groups
Philip Scowcroft (Wesleyan University)
Halfspaces in dimension groups
Philip Scowcroft (Wesleyan University)
10/25/07
Connecticut Logic Seminar
Coding, Orbits and Computability Enumerable Sets
Peter Cholak (University of Notre Dame)
Coding, Orbits and Computability Enumerable Sets
Peter Cholak (University of Notre Dame)
11/5/07
Connecticut Logic Seminar
Quasi versus pseudo: two elementary classes generated by flat modules
Philipp Rothmaler (Bronx Community College, CUNY)
Quasi versus pseudo: two elementary classes generated by flat modules
Philipp Rothmaler (Bronx Community College, CUNY)
11/12/07
Connecticut Logic Seminar
Ideals in Computable Rings
Joe Mileti (Dartmouth)
Ideals in Computable Rings
Joe Mileti (Dartmouth)
11/19/07
Connecticut Logic Seminar
Model completeness and o-minimality
Gareth Jones (McMaster University)
Model completeness and o-minimality
Gareth Jones (McMaster University)
11/26/07
Connecticut Logic Seminar
Generalizing Pfaffian closure of an o-minimal structure
Sergio Fratarcangeli (The College of New Rochelle)
Generalizing Pfaffian closure of an o-minimal structure
Sergio Fratarcangeli (The College of New Rochelle)
12/3/07
Connecticut Logic Seminar
Takeuti’s cut-elimination theorem for Pi^1_1_CA
William Tait (University of Chicago)
Takeuti’s cut-elimination theorem for Pi^1_1_CA
William Tait (University of Chicago)
2/4/08
Connecticut Logic Seminar
Invariants of Boolean Algebras — Part 1
Asher Kach (University of Connecticut)
Invariants of Boolean Algebras — Part 1
Asher Kach (University of Connecticut)
2/18/08
Connecticut Logic Seminar
Invariants of Boolean Algebras — Part 2
Asher Kach (University of Connecticut)
Invariants of Boolean Algebras — Part 2
Asher Kach (University of Connecticut)
2/25/08
Connecticut Logic Seminar
Strong notions of reducibility and completeness
Brooke Andersen (Dartmouth College)
Strong notions of reducibility and completeness
Brooke Andersen (Dartmouth College)
3/24/08
Connecticut Logic Seminar
On countable structures Sigma-definable over R,C, and H
Andrei Morozov (Sobolev Institute of Mathematics and Novosibirsk State University)
On countable structures Sigma-definable over R,C, and H
Andrei Morozov (Sobolev Institute of Mathematics and Novosibirsk State University)
4/28/08
Connecticut Logic Seminar
On ordered structures of higher rank
Charles Steinhorn (Vassar College)
On ordered structures of higher rank
Charles Steinhorn (Vassar College)
9/15/08
Connecticut Logic Seminar
Small covers of semi-abelian varieties
John Baldwin (University of Illinois at Chicago)
Small covers of semi-abelian varieties
John Baldwin (University of Illinois at Chicago)
9/22/08
Connecticut Logic Seminar
Higher-Order Reverse Topology
James Hunter ()
Higher-Order Reverse Topology
James Hunter ()
9/29/08
Connecticut Logic Seminar
Local Computability and Uncountable Structures
Russell Miller (Queens College, CUNY)
Local Computability and Uncountable Structures
Russell Miller (Queens College, CUNY)
10/6/08
Connecticut Logic Seminar
Some model theoretic connections between dimension groups and AF algebras
Philip Scowcroft (Wesleyan University)
Some model theoretic connections between dimension groups and AF algebras
Philip Scowcroft (Wesleyan University)
10/20/08
Connecticut Logic Seminar
Difference fields and algebraic dynamics
Zoe Chatzidakis (University Paris VII)
Difference fields and algebraic dynamics
Zoe Chatzidakis (University Paris VII)
11/3/08
Connecticut Logic Seminar
Ramsey’s theorem for trees
Jared Corduan (Dartmouth)
Ramsey’s theorem for trees
Jared Corduan (Dartmouth)
11/17/08
Connecticut Logic Seminar
The conjugacy problem for the automorphism group of countably categorical structures
Paul Ellis (University of Connecticut)
The conjugacy problem for the automorphism group of countably categorical structures
Paul Ellis (University of Connecticut)
12/1/08
Connecticut Logic Seminar
Eliminating Quantifiers in Intuitionistic JRS Theories
Dan McGinn ( and \”model complete\” in the setting of intuitionistic logic and Kripke models? In this talk)
Eliminating Quantifiers in Intuitionistic JRS Theories
Dan McGinn ( and \”model complete\” in the setting of intuitionistic logic and Kripke models? In this talk)
2/23/09
Connecticut Logic Seminar
Do you know how much you know?
Rebecca Weber (Dartmouth)
Do you know how much you know?
Rebecca Weber (Dartmouth)
4/20/09
Connecticut Logic Seminar
A finite automaton perspective on linear orders
Mia Minnes (MIT)
A finite automaton perspective on linear orders
Mia Minnes (MIT)
11/16/09
Connecticut Logic Seminar
Generalized Indiscernible Sequences in Stable and NIP Theories
Lynn Scow (UC Berkeley)
Generalized Indiscernible Sequences in Stable and NIP Theories
Lynn Scow (UC Berkeley)
11/30/09
Connecticut Logic Seminar
Definite Forms in Valued Fields
Laurel Miller-Sims (Smith College)
Definite Forms in Valued Fields
Laurel Miller-Sims (Smith College)
12/7/09
Connecticut Logic Seminar
How many sprays cover the plane?
Jim Schmerl (University of Connecticut)
How many sprays cover the plane?
Jim Schmerl (University of Connecticut)
9/13/10
Connecticut Logic Seminar
Existentially closed dimension groups
Philip Scowcroft (Wesleyan University)
Existentially closed dimension groups
Philip Scowcroft (Wesleyan University)
9/20/10
Connecticut Logic Seminar
Finitely generic dimension groups
Philip Scowcroft (Wesleyan University)
Finitely generic dimension groups
Philip Scowcroft (Wesleyan University)
9/27/10
Connecticut Logic Seminar
Computable Structure Theory of Uncountable (Size Aleph_1) Linear Orders
Asher Kach (University of Connecticut)
Computable Structure Theory of Uncountable (Size Aleph_1) Linear Orders
Asher Kach (University of Connecticut)
10/11/10
Connecticut Logic Seminar
Computable Fields and the Bounded Turing Reduction
Rebecca Steiner (CUNY)
Computable Fields and the Bounded Turing Reduction
Rebecca Steiner (CUNY)
10/11/10
Connecticut Logic Seminar
Geometric model theory in efficient computability
Cameron Hill ()
Geometric model theory in efficient computability
Cameron Hill ()
10/25/10
Connecticut Logic Seminar
Definability and Automorphisms of the C.E. Sets
Rachel Epstein (Harvard)
Definability and Automorphisms of the C.E. Sets
Rachel Epstein (Harvard)
11/1/10
Connecticut Logic Seminar
An introduction to o-minimal structures and their applications
Alex Wilkie ()
An introduction to o-minimal structures and their applications
Alex Wilkie ()
11/8/10
Connecticut Logic Seminar
Effective equivalence structures and their isomorphisms
Valentina Harizanov (George Washington University)
Effective equivalence structures and their isomorphisms
Valentina Harizanov (George Washington University)
11/15/10
Connecticut Logic Seminar
Difference randomness
Johanna Franklin (Dartmouth)
Difference randomness
Johanna Franklin (Dartmouth)
12/6/10
Connecticut Logic Seminar
Cardinal invariant properties of countable Borel equivalence relations
Scott Schneider ()
Cardinal invariant properties of countable Borel equivalence relations
Scott Schneider ()
4/4/11
Connecticut Logic Seminar
End-extensions
Philipp Rothmaler (CUNY)
End-extensions
Philipp Rothmaler (CUNY)
4/11/11
Connecticut Logic Seminar
Computability of integer parts
Karen Lange (Notre Dame)
Computability of integer parts
Karen Lange (Notre Dame)
4/25/11
Connecticut Logic Seminar
Solutions to Linear Equations in Valued D-fields
Meghan Anderson (University of California, Berkeley)
Solutions to Linear Equations in Valued D-fields
Meghan Anderson (University of California, Berkeley)
5/9/11
Connecticut Logic Seminar
Integration in T-convex theories
Yimu Yin (University of Pittsburgh)
Integration in T-convex theories
Yimu Yin (University of Pittsburgh)
9/12/11
Connecticut Logic Seminar
Degrees which are low for isomorphism
Reed Solomon (UConn)
Degrees which are low for isomorphism
Reed Solomon (UConn)
9/19/11
Connecticut Logic Seminar
Counting rational points on certain Pfaffian surfaces
Margaret Thomas (Konstanz)
Counting rational points on certain Pfaffian surfaces
Margaret Thomas (Konstanz)
10/10/11
Connecticut Logic Seminar
Finding something real in Zilber’s field
Ahuva Shkop (Ben-Gurion)
Finding something real in Zilber’s field
Ahuva Shkop (Ben-Gurion)
11/7/11
Connecticut Logic Seminar
An Introduction to the Functional Interpretation
Henry Towsner (UConn)
An Introduction to the Functional Interpretation
Henry Towsner (UConn)
11/14/11
Connecticut Logic Seminar
Invariant Measures Concentrated on Countable Structures
Rehana Patel ( in terms of the notion of (group-theoretic) definable closure. This leads to new examples and non-examples)
Invariant Measures Concentrated on Countable Structures
Rehana Patel ( in terms of the notion of (group-theoretic) definable closure. This leads to new examples and non-examples)
11/28/11
Connecticut Logic Seminar
Interpretable groups are definable
Janak Ramakrishnan (University of Lisbon)
Interpretable groups are definable
Janak Ramakrishnan (University of Lisbon)
1/30/12
Connecticut Logic Seminar
Model Theoretic Advances for Groups With Bounded Chains of Centralizers
Paul Baginski (Smith College)
Model Theoretic Advances for Groups With Bounded Chains of Centralizers
Paul Baginski (Smith College)
2/13/12
Connecticut Logic Seminar
Lowness for randomness and lowness for tests
Johanna Franklin (UConn)
Lowness for randomness and lowness for tests
Johanna Franklin (UConn)
2/20/12
Connecticut Logic Seminar
Integer parts of real closed fields
David Marker (UIC)
Integer parts of real closed fields
David Marker (UIC)
2/20/12
Connecticut Logic Seminar
Field internal difference varieties
Zoe Chatzidakis (Paris VII)
Field internal difference varieties
Zoe Chatzidakis (Paris VII)
3/26/12
Connecticut Logic Seminar
n-Tardy Sets
Peter Gerdes ()
n-Tardy Sets
Peter Gerdes ()
4/16/12
Connecticut Logic Seminar
Distance functions on computable graphs and their cousins
Jennifer Chubb Reimann (University of San Francisco)
Distance functions on computable graphs and their cousins
Jennifer Chubb Reimann (University of San Francisco)
4/23/12
Connecticut Logic Seminar
Very Dependent Ordered Structures
Alf Dolich (Kingsborough Community College, CUNY)
Very Dependent Ordered Structures
Alf Dolich (Kingsborough Community College, CUNY)
4/30/12
Connecticut Logic Seminar
Model-theoretic methods in continuum limits of combinatorial structures
Cameron Freer (MIT)
Model-theoretic methods in continuum limits of combinatorial structures
Cameron Freer (MIT)
4/30/12
Connecticut Logic Seminar
Intersection theory in differential algebraic geometry
James Freitag (UIC)
Intersection theory in differential algebraic geometry
James Freitag (UIC)
9/10/12
Connecticut Logic Seminar
Existentially closed Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
Existentially closed Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
9/17/12
Connecticut Logic Seminar
Constraint Sets in Differential Fields
Russell Miller (Queens College CUNY)
Constraint Sets in Differential Fields
Russell Miller (Queens College CUNY)
9/24/12
Connecticut Logic Seminar
Turing degrees of orderings of torsion free abelian groups
Reed Solomon (University of Connecticut)
Turing degrees of orderings of torsion free abelian groups
Reed Solomon (University of Connecticut)
10/1/12
Connecticut Logic Seminar
Randomness and nonergodic transformations
Johanna Franklin (University of Connecticut)
Randomness and nonergodic transformations
Johanna Franklin (University of Connecticut)
10/19/12
Connecticut Logic Seminar
Saturation of Ultrapowers and the Structure of Unstable Theories
Maryanthe Malliaris (University of Chicago)
Saturation of Ultrapowers and the Structure of Unstable Theories
Maryanthe Malliaris (University of Chicago)
11/5/12
Connecticut Logic Seminar
Stability and Countable Categoricity in Nonassociative Rings
Paul Baginski (Smith College)
Stability and Countable Categoricity in Nonassociative Rings
Paul Baginski (Smith College)
11/12/12
Connecticut Logic Seminar
Continuous Logical Categories
Jean-Martin Albert (Marlboro College)
Continuous Logical Categories
Jean-Martin Albert (Marlboro College)
11/20/12
Connecticut Logic Seminar
Paths, trees, and the computational strength of some Ramsey-type theorems
Stephen Flood (Penn State)
Paths, trees, and the computational strength of some Ramsey-type theorems
Stephen Flood (Penn State)
11/26/12
Connecticut Logic Seminar
Unstable Theories with an Automorphism
Koushik Pal (University of Maryland)
Unstable Theories with an Automorphism
Koushik Pal (University of Maryland)
12/3/12
Connecticut Logic Seminar
The Structure of Ordered Abelian Groups with Finite Prime Invariants
Brett Townsend (Wesleyan)
The Structure of Ordered Abelian Groups with Finite Prime Invariants
Brett Townsend (Wesleyan)
9/9/13
Connecticut Logic Seminar
Separating ADS and CAC
Reed Solomon (University of Connecticut)
Separating ADS and CAC
Reed Solomon (University of Connecticut)
9/16/13
Connecticut Logic Seminar
Limits to joining with generics and randoms
Damir Dzhafarov (University of Connecticut)
Limits to joining with generics and randoms
Damir Dzhafarov (University of Connecticut)
9/30/13
Connecticut Logic Seminar
Ramsey Theory and Model-theoretic Dividing Lines
Cameron Hill (Wesleyan University)
Ramsey Theory and Model-theoretic Dividing Lines
Cameron Hill (Wesleyan University)
10/7/13
Connecticut Logic Seminar
Fields and Computable Categoricity
Russell Miller (Queens College CUNY)
Fields and Computable Categoricity
Russell Miller (Queens College CUNY)
10/14/13
Connecticut Logic Seminar
Models of Reverse Mathematics
Henry Towsner (University of Pennsylvania)
Models of Reverse Mathematics
Henry Towsner (University of Pennsylvania)
10/21/13
Connecticut Logic Seminar
Ramsey transfer theorems
Lynn Scow (Vassar College)
Ramsey transfer theorems
Lynn Scow (Vassar College)
10/25/13
Connecticut Logic Seminar
Satisfaction is not absolute
Joel David Hamkins (College of Staten Island and CUNY Graduate Center)
Satisfaction is not absolute
Joel David Hamkins (College of Staten Island and CUNY Graduate Center)
10/28/13
Connecticut Logic Seminar
Quasiminimality and computability
Jesse Johnson (Westfield State University)
Quasiminimality and computability
Jesse Johnson (Westfield State University)
12/2/13
Connecticut Logic Seminar
Existentially closed prime-model extensions of Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
Existentially closed prime-model extensions of Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
12/9/13
Connecticut Logic Seminar
Descriptive and Dynamic Complexity
Neil Immerman (UMass)
Descriptive and Dynamic Complexity
Neil Immerman (UMass)
1/22/14
Connecticut Logic Seminar
Defining totality in the enumeration degrees
Mariya Soskova (Sofia University and University of California, Berkeley)
Defining totality in the enumeration degrees
Mariya Soskova (Sofia University and University of California, Berkeley)
2/24/14
Connecticut Logic Seminar
The logic of graph decompositions
Stephen Flood (UConn)
The logic of graph decompositions
Stephen Flood (UConn)
3/10/14
Connecticut Logic Seminar
The power of uniformity in algorithmic randomness
Jason Rute (Penn State)
The power of uniformity in algorithmic randomness
Jason Rute (Penn State)
3/24/14
Connecticut Logic Seminar
Compressibility and Kolmogorov Complexity
Marie Nicholson (UConn)
Compressibility and Kolmogorov Complexity
Marie Nicholson (UConn)
3/31/14
Connecticut Logic Seminar
Incomparable omega_1-like models of set theory
Victoria Gitman ()
Incomparable omega_1-like models of set theory
Victoria Gitman ()
4/7/14
Connecticut Logic Seminar
Transferring model-theoretic results about $L_{\\infty, \\omega}$ to a Grothendieck topos
Nate Ackerman ()
Transferring model-theoretic results about $L_{\\infty, \\omega}$ to a Grothendieck topos
Nate Ackerman ()
4/14/14
Connecticut Logic Seminar
Computability Theoretic Reduction between $\\Pi^1_2$ Principles
Denis Hirschfeldt (Y)$ holds\”)
Computability Theoretic Reduction between $\\Pi^1_2$ Principles
Denis Hirschfeldt (Y)$ holds\”)
4/28/14
Connecticut Logic Seminar
Hilbert’s 10th Problem
Nicole Bowen (UConn)
Hilbert’s 10th Problem
Nicole Bowen (UConn)
9/8/14
Connecticut Logic Seminar
Reverse mathematics and the Dual Ramsey Theorem
Reed Solomon (UConn)
Reverse mathematics and the Dual Ramsey Theorem
Reed Solomon (UConn)
9/15/14
Connecticut Logic Seminar
Continuous model theory for C(X)
Philip Scowcroft (Wesleyan)
Continuous model theory for C(X)
Philip Scowcroft (Wesleyan)
9/22/14
Connecticut Logic Seminar
The Automorphism Group of a Countable Recursively Saturated Model of PA
Jim Schmerl (UConn)
The Automorphism Group of a Countable Recursively Saturated Model of PA
Jim Schmerl (UConn)
10/13/14
Connecticut Logic Seminar
Degrees of Mathias generics
Damir Dzhafarov (UConn)
Degrees of Mathias generics
Damir Dzhafarov (UConn)
10/27/14
Connecticut Logic Seminar
Some Remarks on Certain 0,1-Laws
Cameron Hill (Wesleyan)
Some Remarks on Certain 0,1-Laws
Cameron Hill (Wesleyan)
11/3/14
Connecticut Logic Seminar
Computability strength of $\\mathbb{R}$ compared to $2^{\\omega}$
Greg Igusa (Notre Dame)
Computability strength of $\\mathbb{R}$ compared to $2^{\\omega}$
Greg Igusa (Notre Dame)
11/10/14
Connecticut Logic Seminar
Independence, via limits
Gwyneth Harrison-Shermoen (Wesleyan)
Independence, via limits
Gwyneth Harrison-Shermoen (Wesleyan)
11/17/14
Connecticut Logic Seminar
Effective Dimension in Subshifts
Brown Westrick (UConn)
Effective Dimension in Subshifts
Brown Westrick (UConn)
1/28/15
Connecticut Logic Seminar
Separation and reduction in second-order arithmetic
David Belanger (Cornell University)
Separation and reduction in second-order arithmetic
David Belanger (Cornell University)
2/16/15
Connecticut Logic Seminar
Strengthened RamseyĆs theorem and finitary RamseyĆs theorem
Keita Yokoyama (Japan Advanced Institute of Science and Technology)
Strengthened RamseyĆs theorem and finitary RamseyĆs theorem
Keita Yokoyama (Japan Advanced Institute of Science and Technology)
3/23/15
Connecticut Logic Seminar
Separating Decomposability and Tree-Decomposability
Stephen Flood (UConn)
Separating Decomposability and Tree-Decomposability
Stephen Flood (UConn)
3/30/15
Connecticut Logic Seminar
Revisiting EM and ADS
Reed Solomon (UConn)
Revisiting EM and ADS
Reed Solomon (UConn)
4/20/15
Connecticut Logic Seminar
The strength of Ramsey’s theorem under reducibilities
Ludovic Patey (University Paris VII)
The strength of Ramsey’s theorem under reducibilities
Ludovic Patey (University Paris VII)
4/27/15
Connecticut Logic Seminar
Definability in linear fragments of Peano arithmetic
Petr Glivicky (Charles University)
Definability in linear fragments of Peano arithmetic
Petr Glivicky (Charles University)
5/4/15
Connecticut Logic Seminar
Diagonally non-computable functions and bi-immunity
Carl Jockusch (UIUC)
Diagonally non-computable functions and bi-immunity
Carl Jockusch (UIUC)
9/17/15
Connecticut Logic Seminar
Deep $\\Pi^0_1$ Classes
Chris Porter (University of Florida)
Deep $\\Pi^0_1$ Classes
Chris Porter (University of Florida)
9/21/15
Connecticut Logic Seminar
A Local Characterization of VC-Minimality
Vince Guingona (Wesleyan)
A Local Characterization of VC-Minimality
Vince Guingona (Wesleyan)
9/28/15
Connecticut Logic Seminar
Strong reductions, $RT^1_3$ and $SRT^2_2$
Reed Solomon (UConn)
Strong reductions, $RT^1_3$ and $SRT^2_2$
Reed Solomon (UConn)
10/12/15
Connecticut Logic Seminar
Intrinsic Density and Computability
Eric Astor (University of Connecticut)
Intrinsic Density and Computability
Eric Astor (University of Connecticut)
10/19/15
Connecticut Logic Seminar
Strong and uniform reducibilities
Damir Dzhafarov (UConn)
Strong and uniform reducibilities
Damir Dzhafarov (UConn)
11/2/15
Connecticut Logic Seminar
Infinitely generic Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
Infinitely generic Abelian lattice-ordered groups
Philip Scowcroft (Wesleyan)
11/9/15
Connecticut Logic Seminar
Triviality and lowness for K-reducibility and related reducibilities
William Calhoun (Bloomsburg University)
Triviality and lowness for K-reducibility and related reducibilities
William Calhoun (Bloomsburg University)
11/30/15
Connecticut Logic Seminar
Some new zero-one laws
Caroline Terry (UIC)
Some new zero-one laws
Caroline Terry (UIC)
9/19/16
Connecticut Logic Seminar
Model theory of fields of finite characteristic
Carol Wood (Wesleyan University)
Model theory of fields of finite characteristic
Carol Wood (Wesleyan University)
9/26/16
Connecticut Logic Seminar
Abelian lattice-ordered groups with at most finitely many pairwise disjoint elements
Philip Scowcroft (Wesleyan University)
Abelian lattice-ordered groups with at most finitely many pairwise disjoint elements
Philip Scowcroft (Wesleyan University)
10/3/16
Connecticut Logic Seminar
Computable Functors and Effective Interpretations
Russell Miller (Queens College, CUNY)
Computable Functors and Effective Interpretations
Russell Miller (Queens College, CUNY)
10/10/16
Connecticut Logic Seminar
Visceral Theories
Alf Dolich (Kingsborough Community College, CUNY)
Visceral Theories
Alf Dolich (Kingsborough Community College, CUNY)
10/17/16
Connecticut Logic Seminar
Graphs, reverse mathematics and Weihrauch reductions
Jeffry Hirst (Appalachian State University)
Graphs, reverse mathematics and Weihrauch reductions
Jeffry Hirst (Appalachian State University)
11/28/16
Connecticut Logic Seminar
Minimal wit-degrees cannot have c.e. Turing degree
Reed Solomon (UConn)
Minimal wit-degrees cannot have c.e. Turing degree
Reed Solomon (UConn)
12/5/16
Connecticut Logic Seminar
The strength of the tree theorem for pairs
Damir Dzhafarov (UConn)
The strength of the tree theorem for pairs
Damir Dzhafarov (UConn)
4/10/17
Connecticut Logic Seminar
Upper extensions of existentially closed Abelian lattice-ordered groups
Brian Wynne ( and Darnel)
Upper extensions of existentially closed Abelian lattice-ordered groups
Brian Wynne ( and Darnel)
4/25/17
Connecticut Logic Seminar
A look at higher reverse mathematics
Noah Schweber (University of Wisconsin)
A look at higher reverse mathematics
Noah Schweber (University of Wisconsin)
9/25/17
Connecticut Logic Seminar
Decision procedures for the conditions true in certain metric structures
Philip Scowcroft (Wesleyan)
Decision procedures for the conditions true in certain metric structures
Philip Scowcroft (Wesleyan)
10/2/17
Connecticut Logic Seminar
Ordered abelian groups and Hahn’s Theorem
Reed Solomon (UConn)
Ordered abelian groups and Hahn’s Theorem
Reed Solomon (UConn)
10/16/17
Connecticut Logic Seminar
Computable structures of Scott rank $\\omega_1^{CK}$
Julia Knight (Notre Dame)
Computable structures of Scott rank $\\omega_1^{CK}$
Julia Knight (Notre Dame)
10/8/18
Connecticut Logic Seminar
Model completeness and relative decidability of countable structures
Reed Solomon (UConn)
Model completeness and relative decidability of countable structures
Reed Solomon (UConn)
10/29/18
Connecticut Logic Seminar
Uniform bounds in some lexico products
Philip Scowcroft (Wesleyan)
Uniform bounds in some lexico products
Philip Scowcroft (Wesleyan)
11/5/18
Connecticut Logic Seminar
Joins in the strong Weihrauch degrees
Damir Dzhafarov (UConn)
Joins in the strong Weihrauch degrees
Damir Dzhafarov (UConn)
11/12/18
Connecticut Logic Seminar
A transdisciplinary aspect of infinite time Turing machines
Sabrina Ouazzani (Ecole Polytechnique)
A transdisciplinary aspect of infinite time Turing machines
Sabrina Ouazzani (Ecole Polytechnique)
12/3/18
Connecticut Logic Seminar
An introduction to Ramsey-theoretic dividing lines in model theory
Cameron Hill (Wesleyan)
An introduction to Ramsey-theoretic dividing lines in model theory
Cameron Hill (Wesleyan)