Generalized algebra-valued models of set theory
| Authors |
|
|---|---|
| Publication date | 2015 |
| Journal | Review of Symbolic Logic |
| Volume | Issue number | 8 | 1 |
| Pages (from-to) | 192-205 |
| Organisations |
|
| 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. |
| Document type | Article |
| Note | © Association for Symbolic Logic 2014 |
| Language | English |
| Published at | https://doi.org/10.1017/S175502031400046X |
| Downloads |
div-class-title-generalized-algebra-valued-models-of-set-theory-div
(Final published version)
|
| Permalink to this page | |