Rutgers Logic Seminar: Mondays

Information

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

In Spring 2015, the Logic Seminar will be held in Room 705.

Seminar Schedule

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

Title: Coding sets in elementary extensions, or What's new in models of PA.

Title: Strongly uplifting cardinals and the boldface resurrection axioms

Title: Title: The structure of free left distributive algebras under several relations

Abstract: A well-known result of Laver established that the closure of a single, non-trivial rank-to-rank (I3)

embedding under application forms a free left distributive algebra that is linearly ordered under iterated left

division. The linearity was then shown to be a ZFC result by Dehornoy. We survey existing results on the

structure of free left distributive algebras on one and many generators as well as the finite approximations

to the free left distributive algebras (Laver tables) and present some new results and open problems.

Included are some remarks about logical strength.

Title: Chain conditions, elementary amenability, and descriptive set theory

Title: Inner models from extended logics.

Title:

Title:

Title:

Title: A proof of LSA II

Title: A proof of LSA I

Title: An outline of descriptive inner model theory

Title:

Title: Calibrating Borel determinacy