Studia Logica 110 (1):189-218 (2022)

Giorgio Venturi
University of Campinas
We present a generalization of the algebra-valued models of \ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-021-09959-w
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,008
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Generalized Algebra-Valued Models of Set Theory.Benedikt Löwe & Sourav Tarafder - 2015 - Review of Symbolic Logic 8 (1):192-205.
On Negation for Non-classical Set Theories.S. Jockwich Martinez & G. Venturi - 2021 - Journal of Philosophical Logic 50 (3):549-570.
Non-classical Models of ZF.S. Jockwich Martinez & G. Venturi - 2021 - Studia Logica 109 (3):509-537.

Add more references

Citations of this work BETA

Ideal Objects for Set Theory.Santiago Jockwich, Sourav Tarafder & Giorgio Venturi - 2022 - Journal of Philosophical Logic 51 (3):583-602.

Add more citations

Similar books and articles

Is Transparent Intensional Logic a Non-Classical Logic?Pavel Materna - 2014 - Logic and Logical Philosophy 23 (1):47-55.
Classicality Lost: K3 and LP After the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 5 (4).
Classicality Lost: K3 and LP After the Fall.Matthias Jenny - 2017 - Thought: A Journal of Philosophy 6 (1):43-53.
Determinacy in Strong Cardinal Models.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):719 - 728.
Decoherence and the Copenhagen Cut.Scott Tanona - 2013 - Synthese 190 (16):3625-3649.
Bohm's Theory of Quantum Mechanics and the Notion of Classicality.Marij van Strien - 2020 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 71:72-86.
Rosy with Sider? The Case of the Metaphysical Liar.Simon Hewitt - 2018 - Journal of Philosophical Logic 47 (5):787-801.


Added to PP index

Total views
7 ( #1,067,321 of 2,505,180 )

Recent downloads (6 months)
2 ( #277,206 of 2,505,180 )

How can I increase my downloads?


My notes