- Author
- Year
- 2015
- Title
- Generalized algebra-valued models of set theory
- Journal
- Review of Symbolic Logic
- Volume | Issue number
- 8 | 1
- Pages (from-to)
- 192-205
- Document type
- Article
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
- We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.
- URL
- go to publisher's site
- Language
- English
- Note
- © Association for Symbolic Logic 2014
- Persistent Identifier
- https://hdl.handle.net/11245/1.472273
- Downloads
-
div-class-title-generalized-algebra-valued-models-of-set-theory-div(Final published version)
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.