Complete topoi representing models of set theory
نویسندگان
چکیده
منابع مشابه
Complete Topoi Representing Models of Set Theory
Blass, A. and A. Scedrov, Complete topoi representing models of set theory, Annals of Pure and Applied Logic 57 (1992) l-26. 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 ...
متن کاملRepresenting Topoi by Topological Groupoids
It is shown that every topos with enough points is equivalent to the classifying topos of a topological groupoid. 1 Deenitions and statement of the result We recall some standard deenitions ((1, 5, 9]). A topos is a category E which is equivalent to the category of sheaves of sets on a (small) site. Equivalently, E is a topos ii it satisses the Giraud axioms ((1], p. 303). The category of sets ...
متن کاملRepresenting and Recognizing Complete Set of Geons Using Extended Superquadrics
In this paper, we take the advantages of extended superquadrics to represent and recognize the entire set of 36 geons. Extended superquadrics are novel volumetric shape models that include superquadrics as a special case. An extended superquadric model can be deformed in any direction because it extends the exponents of the superquadric model from constants to functions of the latitude and long...
متن کاملModels of Set Theory
1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics and the incompleteness theorems 3 1.5. The axioms 4 2. Review of basic set theory 5 2.1. Classes 5 2.2. Well-founded relations and recursion 5 2.3. Ordinals, cardinals and arithmetic 6 3. The consistency of the Axiom of Foundation 8 ...
متن کاملLeibnizian models of set theory
A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the LeibnizMycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF , T has a Leibnizian model iff T proves LM. Here we prove: Theorem A. Every complete theory T extending ZF + LM has 2 א 0 nonisomorphic countable Leibnizian models. Theorem B. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1992
ISSN: 0168-0072
DOI: 10.1016/0168-0072(92)90059-9