98 citations · 200 across the 15 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2017
Iterated Ultrapowers for the Masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indisc…
math.LO2016
Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Given a model of set theory, and a nontrivial automorphism of , let be the submodel of whose universe c…