Seminars

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.
1/24/05
Connecticut Logic Seminar
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)
2/28/05
Connecticut Logic Seminar
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)
4/18/05
Connecticut Logic Seminar
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)
9/19/05
Connecticut Logic Seminar
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)
10/3/05
Connecticut Logic Seminar
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)
10/31/05
Connecticut Logic Seminar
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)
11/14/05
Connecticut Logic Seminar
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)
2/13/06
Connecticut Logic Seminar
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)
2/27/06
Connecticut Logic Seminar
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)
4/3/06
Connecticut Logic Seminar
Bounding Critical Triples
Rebecca Weber ()
4/10/06
Connecticut Logic Seminar
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 ()
9/18/06
Connecticut Logic Seminar
Reducts of Random Bipartite Graphs
Yun Lu (Wesleyan University)
10/9/06
Connecticut Logic Seminar
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)
10/30/06
Connecticut Logic Seminar
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 ()
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)
11/27/06
Connecticut Logic Seminar
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)
1/24/07
Connecticut Logic Seminar
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)
2/19/07
Connecticut Logic Seminar
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)
3/26/07
Connecticut Logic Seminar
Infinite Hat Problems
Chris Hardin (Smith College)
4/2/07
Connecticut Logic Seminar
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)
9/10/07
Connecticut Logic Seminar
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)
9/24/07
Connecticut Logic Seminar
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)
10/22/07
Connecticut Logic Seminar
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)
11/5/07
Connecticut Logic Seminar
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)
11/19/07
Connecticut Logic Seminar
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)
12/3/07
Connecticut Logic Seminar
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)
2/18/08
Connecticut Logic Seminar
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)
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)
4/28/08
Connecticut Logic Seminar
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)
9/22/08
Connecticut Logic Seminar
Higher-Order Reverse Topology
James Hunter ()
9/29/08
Connecticut Logic Seminar
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)
10/20/08
Connecticut Logic Seminar
Difference fields and algebraic dynamics
Zoe Chatzidakis (University Paris VII)
11/3/08
Connecticut Logic Seminar
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)
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)
2/23/09
Connecticut Logic Seminar
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)
11/16/09
Connecticut Logic Seminar
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)
12/7/09
Connecticut Logic Seminar
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)
9/20/10
Connecticut Logic Seminar
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)
10/11/10
Connecticut Logic Seminar
Computable Fields and the Bounded Turing Reduction
Rebecca Steiner (CUNY)
10/11/10
Connecticut Logic Seminar
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)
11/1/10
Connecticut Logic Seminar
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)
11/15/10
Connecticut Logic Seminar
Difference randomness
Johanna Franklin (Dartmouth)
12/6/10
Connecticut Logic Seminar
Cardinal invariant properties of countable Borel equivalence relations
Scott Schneider ()
4/4/11
Connecticut Logic Seminar
End-extensions
Philipp Rothmaler (CUNY)
4/11/11
Connecticut Logic Seminar
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)
5/9/11
Connecticut Logic Seminar
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)
9/19/11
Connecticut Logic Seminar
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)
11/7/11
Connecticut Logic Seminar
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)
11/28/11
Connecticut Logic Seminar
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)
2/13/12
Connecticut Logic Seminar
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)
2/20/12
Connecticut Logic Seminar
Field internal difference varieties
Zoe Chatzidakis (Paris VII)
3/26/12
Connecticut Logic Seminar
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)
4/23/12
Connecticut Logic Seminar
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)
4/30/12
Connecticut Logic Seminar
Intersection theory in differential algebraic geometry
James Freitag (UIC)
9/10/12
Connecticut Logic Seminar
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)
9/24/12
Connecticut Logic Seminar
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)
10/19/12
Connecticut Logic Seminar
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)
11/12/12
Connecticut Logic Seminar
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)
11/26/12
Connecticut Logic Seminar
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)
9/9/13
Connecticut Logic Seminar
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)
9/30/13
Connecticut Logic Seminar
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)
10/14/13
Connecticut Logic Seminar
Models of Reverse Mathematics
Henry Towsner (University of Pennsylvania)
10/21/13
Connecticut Logic Seminar
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)
10/28/13
Connecticut Logic Seminar
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)
12/9/13
Connecticut Logic Seminar
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)
2/24/14
Connecticut Logic Seminar
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)
3/24/14
Connecticut Logic Seminar
Compressibility and Kolmogorov Complexity
Marie Nicholson (UConn)
3/31/14
Connecticut Logic Seminar
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 ()
4/14/14
Connecticut Logic Seminar
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)
9/8/14
Connecticut Logic Seminar
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)
9/22/14
Connecticut Logic Seminar
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)
10/27/14
Connecticut Logic Seminar
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)
11/10/14
Connecticut Logic Seminar
Independence, via limits
Gwyneth Harrison-Shermoen (Wesleyan)
11/17/14
Connecticut Logic Seminar
Effective Dimension in Subshifts
Brown Westrick (UConn)
1/28/15
Connecticut Logic Seminar
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)
3/23/15
Connecticut Logic Seminar
Separating Decomposability and Tree-Decomposability
Stephen Flood (UConn)
3/30/15
Connecticut Logic Seminar
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)
4/27/15
Connecticut Logic Seminar
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)
9/17/15
Connecticut Logic Seminar
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)
9/28/15
Connecticut Logic Seminar
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)
10/19/15
Connecticut Logic Seminar
Strong and uniform reducibilities
Damir Dzhafarov (UConn)
11/2/15
Connecticut Logic Seminar
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)
11/30/15
Connecticut Logic Seminar
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)
9/26/16
Connecticut Logic Seminar
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)
10/10/16
Connecticut Logic Seminar
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)
11/28/16
Connecticut Logic Seminar
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)
4/10/17
Connecticut Logic Seminar
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)
9/25/17
Connecticut Logic Seminar
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)
10/16/17
Connecticut Logic Seminar
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)
10/29/18
Connecticut Logic Seminar
Uniform bounds in some lexico products
Philip Scowcroft (Wesleyan)
11/5/18
Connecticut Logic Seminar
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)
12/3/18
Connecticut Logic Seminar
An introduction to Ramsey-theoretic dividing lines in model theory
Cameron Hill (Wesleyan)