## 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)