Iterated Ultrapowers for the Masses
classification
🧮 math.LO
keywords
frameworkindiscerniblesiteratedultrapowersbuildingcertainconstructiondubbed
read the original abstract
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 indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.