Complete topoi representing models of set theory

Annals of Pure and Applied Logic 57 (1):1-26 (1992)
  Copy   BIBTEX


By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued,pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their symmetric submodels, as well as Fraenkel-Mostowski permutation models. Any such model M can be regarded as a topos. A logical subtopos E of M is said to represent M if it is complete and its cumulative hierarchy, as defined by Fourman and Hayashi, coincides with the usual cumulative hierarchy of M. We show that, although M need not be a complete topos, it has a smallest complete representing subtopos, and we describe this subtopos in terms of definability in M. We characterize, again in terms of definability, those models M whose smallest representing topos is a Grothendieck topos. Finally, we discuss the extent to which a model can be reconstructed when its smallest representing topos is given.



    Upload a copy of this work     Papers currently archived: 74,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Leibnizian Models of Set Theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.
The Value of Topoi.J. P. Zompetti - 2006 - Argumentation 20 (1):15-28.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Superstable Theories with Few Countable Models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Definability of Types, and Pairs of o-Minimal Structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Computability in Structures Representing a Scott Set.Alex M. McAllister - 2001 - Archive for Mathematical Logic 40 (3):147-165.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
On ℵ1 Many Minimal Models.Greg Hjorth - 1996 - Journal of Symbolic Logic 61 (3):906 - 919.


Added to PP

33 (#350,389)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category Theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Forcing Under Anti‐Foundation Axiom: An Expression of the Stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.

Add more citations

References found in this work

The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references