-
The uniqueness of the core model
Authors:
Benjamin Siskind
Abstract:
The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fine-structural models of set theory, premice, one uses. Each such hierarchy involves somewhat arbitrary decisions and working with different hierarchies ostensibly leads to different versions of the core model. We show th…
▽ More
The Jensen-Steel core model is a canonical inner model which plays a fundamental role in the meta-mathematics of set theory. Its definition depends on exactly which hierarchy of fine-structural models of set theory, premice, one uses. Each such hierarchy involves somewhat arbitrary decisions and working with different hierarchies ostensibly leads to different versions of the core model. We show that in some contexts, abstract properties of the core model uniquely determine it; that is, there is at most one inner model with these properties.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
Authors:
Patrick Lutz,
Benjamin Siskind
Abstract:
Martin's Conjecture is a proposed classification of the definable functions on the Turing degrees. It is usually divided into two parts, the first of which classifies functions which are not above the identity and the second of which classifies functions which are above the identity. Slaman and Steel proved the second part of the conjecture for Borel functions which are order-preserving (i.e. whic…
▽ More
Martin's Conjecture is a proposed classification of the definable functions on the Turing degrees. It is usually divided into two parts, the first of which classifies functions which are not above the identity and the second of which classifies functions which are above the identity. Slaman and Steel proved the second part of the conjecture for Borel functions which are order-preserving (i.e. which preserve Turing reducibility). We prove the first part of the conjecture for all order-preserving functions. We do this by introducing a class of functions on the Turing degrees which we call "measure-preserving" and proving that part 1 of Martin's Conjecture holds for all measure-preserving functions and also that all non-trivial order-preserving functions are measure-preserving. Our result on measure-preserving functions has several other consequences for Martin's Conjecture, including an equivalence between part 1 of the conjecture and a statement about the structure of the Rudin-Keisler order on ultrafilters on the Turing degrees.
△ Less
Submitted 5 April, 2024; v1 submitted 31 May, 2023;
originally announced May 2023.
-
Full normalization for mouse pairs
Authors:
Benjamin Siskind,
John Steel
Abstract:
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration strategies, and use it to show that the iteration strategy component of a mouse pair condenses to itself under weak tree embeddings. These constitute a class of embeddi…
▽ More
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration strategies, and use it to show that the iteration strategy component of a mouse pair condenses to itself under weak tree embeddings. These constitute a class of embeddings between iteration trees that is significantly larger than the class of embeddings mentioned in the definition of mouse pair. We then use this very strong hull condensation property of mouse pairs to show that every iterate of a mouse pair is an iterate via a single $λ$-tight, normal iteration tree, and that the associated tail strategies are independent of how the iterate was reached.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
