2 citations · 3 across the 4 of their papers we have counts for
9 papers
Mutually embeddable models of ZFC
Monroe Eskew, Sy-David Friedman, Yair Hayut +1
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.
Background construction for -indexed mice
Farmer Schlutzenberg
Let be a -indexed (that is, Jensen indexed) premouse. We prove that is iterable with respect to standard -iteration rules iff is iterable with respect to a natura…
Extenders under ZF and constructibility of rank-to-rank embeddings
Farmer Schlutzenberg
Assume ZF (without the Axiom of Choice). Let be a non-trivial -cofinal -elementary embedding, where are limit ordinals. We prove…
Choice principles in local mantles
Farmer Schlutzenberg
Assume ZFC. Let be a cardinal. A -ground is a transitive proper class modelling ZFC and such that is a generic extension of via a forcing of…
Periodicity in the cumulative hierarchy
Gabriel Goldberg, Farmer Schlutzenberg
We investigate the structure of rank-to-rank elementary embeddings, working in ZF set theory without the Axiom of Choice. Recall that the levels of the cumulative hierarchy a…
A weak reflection of Reinhardt by super Reinhardt cardinals
Farmer Schlutzenberg
We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let be a countable model of second order set theory (…