Assumed background knowledge: basic set theory lingo (∅, singleton, subset, power set, cardinality), what is first order logic (structures, universes, and interpretations), what are ℕ and ℝ, what’s the difference between countable and uncountable infinities, and what “continuum many” means. 1 IntroductionHere I give a high-level description of what an ultraproduct is, and provide a … Continue reading The Ultra Series: Guide
