Abstract
This paper contributes to the generalization of lattice-valued models of set theory to non-classical contexts. First, we show that there are infinitely many complete bounded distributive lattices, which are neither Boolean nor Heyting algebra, but are able to validate the negation-free fragment of \(\mathsf {ZF}\). Then, we build lattice-valued models of full \(\mathsf {ZF}\), whose internal logic is weaker than intuitionistic logic. We conclude by using these models to give an independence proof of the Foundation axiom from \(\mathsf {ZF}\).
Similar content being viewed by others
References
Bell, J., Set theory. Boolean valued models and independence proofs. Oxford Science Publications, Oxford 2005.
Löwe, B., R. Passmann, and S. Tarafder, Constructing illoyal algebra-valued models of set theory. Preprint.
Löwe, B., and S. Tarafder, Generalized algebra-valued models of set theory, Review of Symbolic Logic 8(1):192–205, 2015.
Marcos, J., 8K solutions and semi-solutions to a problem of da Costa. Unpublished.
Acknowledgements
We thank Rodolfo Ertola-Biraben for the useful suggestions and comments on the content of this paper. His invaluable help made this work possible. We also thank Sourav Tarafder for the valuable comments and discussions. We finally thank the many useful suggestions and corrections of an anonymous referee, who helped to improve and to correct many aspects of our work. We also thank Studia Logica for the fine evaluation and publication process; so rare in this days. The second author acknowledges support from the FAPESP Jovem Pesquisador Grant No. 2016/25891-3. The first author acknowledges support from the FAPESP Grant No. 2017/23853-0.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Daniele Mundici
Rights and permissions
About this article
Cite this article
Jockwich Martinez, S., Venturi, G. Non-classical Models of ZF. Stud Logica 109, 509–537 (2021). https://doi.org/10.1007/s11225-020-09915-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09915-0