Affiliation:
1. Department of Logic and Philosophy of Science at the University of California Irvine United States of America
Abstract
AbstractThe purpose of this paper is to propose and explore a general framework within which a wide variety of model construction techniques from contemporary set theory can be subsumed. Taking our inspiration from presheaf constructions in category theory and Boolean ultrapowers, we will show that generic extensions, ultrapowers, extenders and generic ultrapowers can be construed as examples of a single model construction technique. In particular, we will show that Łoś's theorem can be construed as a specific case of Cohen's truth lemma, and we isolate the weakest conditions a filter must satisfy in order for the truth lemma to work.
Reference28 articles.
1. Forcing in Proof Theory
2. Category Theory
3. Set Theory
4. J. D.HamkinsandD. E.Seabold Well‐founded Boolean ultrapowers as large cardinal embeddings arXiv:1206.6075(2012).