Seminar - A fixed point of the structural jump
School of Mathematics and Statistics Research Seminar
Speaker: Dan Turetsky
Time:
Wednesday 26th September 2018 at 01:10 PM -
02:00 PM
Location:
CO345
Abstract
The structural jump of a structure is a new structure which encapsulates all the one-quantifier information about the original structure. Montalbán constructed a fixed point for the structural jump, meaning a structure that can always compute a copy of its structural jump. His construction requires a large cardinal axiom; S. Friedman and Welch, and independently Puzarenko, produced constructions in ZFC. I will present my own, simplified construction, also in ZFC.