Rutgers Logic Seminar: Mondays

Information

VISITORS SHOULD PICK UP A PARKING PERMIT FROM THE PARKING OFFICE.

Seminar Schedule Spring 2018

5:00-6:00 pm, Room 705, Hill Center, Busch

Title: Introduction to the inner model problem

Title: The isomorphism and bi-embeddability relations for countable abelian p-groups

Abstract: I will discuss the relative complexity of the isomorphism and bi-embeddability relations for countable abelian p-groups from the point of view of descriptive set theory. (This is joint work with Filippo Calderoni.)

Title: L(R) with determinacy has no Suslin lines

Abstract: A Suslin line is an unbounded, nonseparable, complete, dense linear ordering with the countable chain condition. If L(R) satisfies the axiom of determinacy, then L(R) has no Suslin lines. This answers a question of Foreman. (This is joint work with Jackson.)

Title: The undecidability of joint embedding for hereditary graph classes, and related problems

Abstract: We will sketch a proof of the undecidability of joint embedding for finitely-constrained hereditary graph classes. Time permitting, we will discuss the analogous question in other classes of structures, such as 3-dimensional permutations.

Title: Definability and decidability in Number Theory

Title: Hilbert's Tenth Problem for Subrings of the Rationals

Abstract: For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of all polynomials $f\in R[X_1,X_2,\ldots]$ for which $f=0$ has a solution in $R$. In 1970, Matiyasevich completed work by Davis, Putnam, and Robinson to show that the original Tenth Problem of Hilbert, $HTP(\mathbb{Z})$, is undecidable. On the other hand, the decidability of $HTP(\mathbb{Q})$ remains an open question. We will examine this problem for subrings of the rational numbers, viewing these subrings as the elements of a topological space homeomorphic to Cantor space and connecting their Turing degrees and computability-theoretic properties to those of $HTP(\mathbb{Q})$ itself. Some of the work discussed is joint with Kramer, and some with Eisentraeger, Park, and Shlapentokh.

Title: Forcing the pointclass of universally Baire sets to be equal to Delta^1_2

Seminar Schedule F2013

5:00-6:20 pm, Room 705, Hill Center, Busch

Monday 05/05 --

Monday 04/28 --

Monday 04/21 -- Joel Hamkins (College of Staten Island)

Monday 04/14 -- Nam Trang (CMU)

Monday 04/07 -- Paul Larson (Miami University)

Monday 03/31 --

Monday 03/24 --

Monday 03/17 -- Scott Cramer (Rutgers)

Monday 03/10 -- Scott Cramer (Rutgers)

Monday 03/03 -- Scott Cramer (Rutgers)

Monday 02/24 --- Tamar Lando (Columbia)

Monday 02/17 --- Rubin Tucker-Drob (Rutgers)

Monday 02/10 -- Simon Thomas (Rutgers)
Title: Invariant random subgroups of locally finite groups II

Monday 01/27 -- Simon Thomas (Rutgers)
Title: Invariant random subgroups of locally finite groups

5:00-6:20 pm, Room 705, Hill Center, Busch