Logic Seminar

Logic Seminar

Logic seminars are held on Mondays at 4:45 at Wesleyan University in Room 618 of the Exley Science Center unless otherwise indicated.

Next seminar: October 9
Jim Schmerl
Euclidean Ramsey Theory

Fall 2006

Date	Speaker and Affiliation	Title

September 18	Yun Lu Wesleyan University	Reducts of Ramdom Bipartite Graphs
October 9	Jim Schmerl University of Connecticut	Euclidean Ramsey Theory
October 23	David Marker University of Illinois at Chicago	TBA
October 30	CT Chong National University of Singapore	TBA
November 6	Norman Danner Wesleyan University	TBA
November 13	Stuart Zoble Wesleyan University	Forcing Axioms, Generic Absoluteness and Consistency Strength

Past Logic Seminars

Spring 2006

Date	Speaker and Affiliation	Title

February 13	Carol Wood Wesleyan University	Separation of variables and the model theory of partial differential fields
February 20	Russell Miller Queens College	Spectra of Turing degrees
February 27	Walker White Cornell University	What's next? Models of time in event systems
March 27	Philip Scowcroft Wesleyan University	Eventually periodic poly-regular groups
April 3	Rebecca Weber Dartmouth	Bounding critical triples
April 10	Andre Nies Auckland University	Connecting computability and randomness
April 17	Denis Hirschfeldt University of Chicago	On the Strength of Theorems from Combinatorics and Model Theory
April 24	TBA	TBA

Fall 2005

OA

Date	Speaker and Affiliation	Title

September 12	Joe Miller University of Connecticut	Degrees of unsolvability of continuous functions
September 19	John Baldwin University of Illinois at Chicago	Amalgamation, tameness and semi-abelian varieties
September 26	Eric Rosen Wesleyan University	Strongly minimal sets in differentially closed fields
October 3	Jan van Mill Vrije Universiteit and Wesleyan University	Homogeneous spaces and actions by analytic groups
October 24	David Marker University of Illinois at Chicago	Remarks on Zilber's pseudoexponentiation
October 31	Alex Raichev University of Wisconsin	Eaten by her own dinner
November 7	Daniel Miller	A method for constructing decidable expansions of the real field by restricted transcendental analytic functions
November 14	Bakhadyr Khoussainov Auckland University and Cornell University	TBA

Spring 2005

Date	Speaker and Affiliation	Title
April 18	Carl Jockusch University of Illinois	Computable Ramsey theory and reverse mathematics
April 11	Manuel Lerman University of Connecticut	The existential theory of the uppersemilattice of Turing degrees with least element of jump is decidable
March 28	Philip Scowcroft Wesleyan University	Nonnegative solvability of linear equations in ordered groups
February 28	Denis Hirschfeldt University of Chicago	K-triviality
February 14	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
January 24	Antonio Montalban Cornell University	Up to equimorphism, hyperarithmetic is computable

Fall 2004

Date	Speaker and Affiliation	Title
December 6	Steve Awodey Carnegie Mellon	Kripke semantics for the lambda-calculus
November 22	Christina Brech Universidade de Sao Paulo	An application of Sacks forcing in Banach spaces
Novermber 12	Sam Buss University of California at San Diego	To be announced
October 25	Carol Wood Wesleyan University	Evans' account of some generic structures
October 4	Bjorn Kjos-Hanssen University of Connecticut	Eventually different functions
September 20	Reed Solomon University of Connecticut	Pi^0_1 classes and spaces of orders on groups
September 13	Stephen Binns University of Connecticut	Fast growing trees

Spring 2004

Date	Speaker and Affiliation	Title
May 6 at 3 pm	Paola D'Aquino Seconda Università di Napoli	Quadratic reciprocity law in weak fragments of PA
April 26	Tamara Servi Università di Pisa	Effective o-minimality of the real exponential field and related structures; consequences on the decidability issue
April 19	Barbara Csima Cornell University	Degrees of prime models
April 12	Ermek Nurkhaidarov University of Connecticut	Automorphism groups of arithmetically saturated models of Peano arithmetic
March 29	Jan Krajicek Academy of Sciences of the Czech Republic	Approximate Euler Characteristic
March 29	Christian Michaux Universite de Mons-Hainaut	Bisimulations of o-minimal hybrid systems and decidability issues
March 22	Philip Scowcroft Wesleyan University	Farkas's theorem for the integers
March 1	Bjorn Kjos-Hanssen University of Connecticut	Reverse mathematics and diagonally non-recursive functions
February 23	Alf Onshuus Universidad de los Andes and Hebrew University	th-forcing, II
February 9	Alf Onshuus Universidad de los Andes and Hebrew University	th-forking, I
February 2	Reed Solomon University of Connecticut	A computably stable structure with no Scott family of finitary formulas
January 26	Russell Miller Queens College	Embedding a structure while preserving its spectrum

Fall 2003

Date	Speaker and Affiliation	Title
November 17	Jessica Young Harvard University	Finding a (nontrivial) group in a 1-based minimal simple structure, II
November 10	Jessica Young Harvard University	Finding a (nontrivial) group in a 1-based minimal simple structure, I
November 3	Philip Scowcroft Wesleyan University	Some conditional inequalities
October 27	Jim Schmerl University of Connecticut	Diversity in substructures
October 13	James Lipton Wesleyan University	Cut elimination and completeness in Church's intuitionistic theory of types, II
October 6	John Baldwin University of Illinois at Chicago	Categoricity in infinitary logic
September 29	James Lipton Wesleyan University	Cut elimination and completeness in Church's intuitionistic theory of types, I
September 22	Reed Solomon University of Connecticut	Enumeration theorems in computable model theory
September 15	Victor Harnik University of Haifa and McGill University	The semantics of pasting diagrams
September 8	Gary Martin Umass at Dartmouth	Wilkies result on diaphantine properties of definable sets in o-minimal structures

Spring 2003

Date	Speaker and Affiliation	Title
May 5	Dan Dougherty Wesleyan and WPI	Infinite stable marriages
April 28	Peter Winkler Bell Labs	Mixing and shuffling
April 21	Charles Steinhorn Vassar College	On tame expansions of densely ordered sets, II
April 14	Charles Steinhorn Vassar College	On tame expansions of densely ordered sets, I
April 7	Reed Solomon University of Connecticut	Reverse mathematics and equivalent definitions for well quasi-orders
March 31	Manuel Lerman University of Connecticit	Finite quotients of the computably enumerable degrees
March 24	Philipp Rothmaler Ohio State University at Lima	Elementary relations and pure epimorphisms
March 3	Rahim Moosa MIT	Saturation in compact complex manifolds, II
February 17	Eric Jaligot University of Paris VII	Some critical configurations of simple groups of finite Morley rank
February 10	Rahim Moosa MIT	Saturation in compact complex manifolds, I

This page is maintained by Reed Solomon. Please send any comments to solomon@math.uconn.edu