On the public citation graph
Heyting-valued models for intuitionistic set theory
0 signed · 101 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00484716openalex-snapshot
Boolean-valued set theory and forcing
inferredcites →https://doi.org/10.1007/bfb0061829openalex-snapshot
Conditions related to de Morgan's law
inferredcites →https://doi.org/10.1016/s0049-237x(08)70755-9openalex-snapshot
Extending the Topological Interpretation to Intuitionistic Analysis, II
inferredcites →https://doi.org/10.1016/s0049-237x(08)71989-xopenalex-snapshot
The Type Theoretic Interpretation of Constructive Set Theory
inferredcites →https://doi.org/10.1090/s0002-9939-1975-0373893-xopenalex-snapshot
Axiom of Choice and Complementation
inferredcites →https://doi.org/10.2307/2271902openalex-snapshot
Extending Gödel's negative interpretation to ZF
inferredcites →https://doi.org/10.2307/2274155openalex-snapshot
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165…
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.200710007openalex-snapshot
On the Cauchy completeness of the constructive Cauchy reals
inferred← citeshttps://doi.org/10.1007/1-4020-4054-7_3openalex-snapshot
Choice Principles in Intuitionistic Set Theory
inferred← citeshttps://doi.org/10.1007/3-540-45842-5_1openalex-snapshot
Collection Principles in Dependent Type Theory
inferred← citeshttps://doi.org/10.1007/978-1-4612-0325-4_25openalex-snapshot
The Disjunction and Numerical Existence Properties for Intuitionistic Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-62387-5_9openalex-snapshot
Basic Mathematics Beyond Classicality
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_4openalex-snapshot
Set Theory and Arithmetic in Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-92687-0_21openalex-snapshot
Topological Forcing Semantics with Settling
inferred← citeshttps://doi.org/10.1007/978-3-662-45824-2_14openalex-snapshot
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_12openalex-snapshot
A Development of Set Theory in Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_38-1openalex-snapshot
Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_38openalex-snapshot
Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_7openalex-snapshot
A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
inferred← citeshttps://doi.org/10.1007/bf01978854openalex-snapshot
Intuitionistic theory of algebraic systems and heyting-valid analysis
inferred← citeshttps://doi.org/10.1007/bf02018738openalex-snapshot
Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
inferred← citeshttps://doi.org/10.1007/bfb0023880openalex-snapshot
Set theoretic foundations for fuzzy set theory, and their applications
inferred← citeshttps://doi.org/10.1007/bfb0061839openalex-snapshot
Identity and existence in intuitionistic logic
inferred← citeshttps://doi.org/10.1007/bfb0090727openalex-snapshot
Consistency and independence results in intuitionistic set theory
inferred← citeshttps://doi.org/10.1007/bfb0090986openalex-snapshot
Heyting valued universes of intuitionistic set theory
inferred← citeshttps://doi.org/10.1007/s00012-021-00735-4openalex-snapshot
Constructing illoyal algebra-valued models of set theory
inferred← citeshttps://doi.org/10.1007/s00153-005-0284-0openalex-snapshot
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory
inferred← citeshttps://doi.org/10.1007/s10670-025-00954-4openalex-snapshot
Logical Pluralism via Mathematical Convergence
inferred← citeshttps://doi.org/10.1007/s10773-025-06153-9openalex-snapshot
Quantum Set Theory: Quantum Conditionals and Order of Observables
inferred← citeshttps://doi.org/10.1016/0001-8708(85)90036-2openalex-snapshot
Arithmetic transfinite induction and recursive well-orderings
inferred← citeshttps://doi.org/10.1016/0001-8708(85)90103-3openalex-snapshot
The lack of definable witnesses and provably recursive functions in intuitionistic set theories
inferred← citeshttps://doi.org/10.1016/0165-0114(92)90180-copenalex-snapshot
Fuzzy sets and residuated logic
inferred← citeshttps://doi.org/10.1016/0165-0114(92)90186-8openalex-snapshot
Formal frameworks for approximate reasoning
inferred← citeshttps://doi.org/10.1016/0168-0072(86)90046-1openalex-snapshot
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator
inferred← citeshttps://doi.org/10.1016/0168-0072(86)90075-8openalex-snapshot
Global intuitionistic analysis
inferred← citeshttps://doi.org/10.1016/0168-0072(87)90081-9openalex-snapshot
Globalization of intui tionistic set theory
inferred← citeshttps://doi.org/10.1016/0168-0072(88)90040-1openalex-snapshot
A transfer theorem in constructive real algebra
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.021openalex-snapshot
Heyting-valued interpretations for Constructive Set Theory
inferred← citeshttps://doi.org/10.1016/j.apal.2011.06.025openalex-snapshot
Generalizing realizability and Heyting models for constructive set theory
inferred← citeshttps://doi.org/10.1016/j.apal.2011.09.014openalex-snapshot
Topological forcing semantics with settling
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102938openalex-snapshot
Quantum set theory: Transfer Principle and De Morgan's Laws
inferred← citeshttps://doi.org/10.1016/j.apal.2026.103739openalex-snapshot
Transcending classical boundaries: Choice and its equivalences
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.09.012openalex-snapshot
On the Cauchy Completeness of the Constructive Cauchy Reals
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71817-2openalex-snapshot
Heyting-Valued Semantics
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70128-4openalex-snapshot
A Note on Bar Induction Rule
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70141-7openalex-snapshot
Independence of the Fan theorem in the Presence of Continuity Principles
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70162-4openalex-snapshot
Intuitionistic Set Theory
inferred← citeshttps://doi.org/10.1016/s0165-0114(01)00135-xopenalex-snapshot
A natural interpretation of fuzzy sets and fuzzy relations
inferred← citeshttps://doi.org/10.1017/bsl.2024.8openalex-snapshot
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES
inferred← citeshttps://doi.org/10.1017/jsl.2021.101openalex-snapshot
NON-CLASSICAL FOUNDATIONS OF SET THEORY
inferred← citeshttps://doi.org/10.1017/s0022481200027924openalex-snapshot
Markov's principle, isols and Dedekind finite sets
inferred← citeshttps://doi.org/10.1017/s0305004100063854openalex-snapshot
On the quantificational logic of intuitionistic set theory
inferred← citeshttps://doi.org/10.1017/s175502031400046xopenalex-snapshot
GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
inferred← citeshttps://doi.org/10.1017/s1755020317000120openalex-snapshot
ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
inferred← citeshttps://doi.org/10.1017/s1755020321000095openalex-snapshot
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
inferred← citeshttps://doi.org/10.1070/rm1989v044n04abeh002140openalex-snapshot
Valuations and sheaves. On some questions of non-standard analysis
inferred← citeshttps://doi.org/10.1093/jigpal/jzs023openalex-snapshot
Interpreting lattice-valued set theory in fuzzy set theory
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0010openalex-snapshot
Intuitionism in Mathematics
inferred← citeshttps://doi.org/10.1109/ismvl.2001.924590openalex-snapshot
A set theory within fuzzy logic
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00027openalex-snapshot
Ordinal Exponentiation in Homotopy Type Theory
inferred← citeshttps://doi.org/10.1109/nafips.2001.944302openalex-snapshot
A natural interpretation of fuzzy set theory
inferred← citeshttps://doi.org/10.1134/s0001434611050038openalex-snapshot
Effectivity properties of intuitionistic set theory with collection scheme
inferred← citeshttps://doi.org/10.1134/s0001434618030057openalex-snapshot
Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets
inferred← citeshttps://doi.org/10.11606/d.45.2019.tde-17072019-150841openalex-snapshot
Lógica de topos e aplicações
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635833openalex-snapshot
Incompleteness in intuitionistic metamathematics.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636613openalex-snapshot
Subcountability under realizability.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637648openalex-snapshot
Variations on a thesis: intuitionism and computability.
inferred← citeshttps://doi.org/10.1515/gmj.2009.203openalex-snapshot
Forcing for IZF in Sheaf Toposes
inferred← citeshttps://doi.org/10.2178/jsl.7801030openalex-snapshot
On the failure of BD-ℕ and BD, and an application to the anti-specker property
inferred← citeshttps://doi.org/10.2178/jsl/1122038918openalex-snapshot
Algebraic set theory and the effective topos
inferred← citeshttps://doi.org/10.2178/jsl/1140641163openalex-snapshot
The generalised type-theoretic interpretation of constructive set theory
inferred← citeshttps://doi.org/10.2178/jsl/1243948335openalex-snapshot
Two questions from Dana Scott: Intuitionistic topologies and continuous functions
inferred← citeshttps://doi.org/10.2307/2273459openalex-snapshot
Forcing in intuitionistic systems without power-set
inferred← citeshttps://doi.org/10.2307/2273979openalex-snapshot
Epistemic set theory is a conservative extension of intuitionistic set theory
inferred← citeshttps://doi.org/10.2307/2274139openalex-snapshot
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
inferred← citeshttps://doi.org/10.2307/2274696openalex-snapshot
Intuitionistic modal logic and set theory
inferred← citeshttps://doi.org/10.2307/2275544openalex-snapshot
Completeness of global intuitionistic set theory
inferred← citeshttps://doi.org/10.2478/slgr-2018-0018openalex-snapshot
Logical rules and the determinacy of meaning
inferred← citeshttps://doi.org/10.4204/eptcs.236.9openalex-snapshot
Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
inferred← citeshttps://doi.org/10.4213/mzm10758openalex-snapshot
О некоторых свойствах частичной консервативности интуиционистской теории множеств с принципом DCS
inferred← citeshttps://doi.org/10.4213/mzm8547openalex-snapshot
Свойства эффективности интуиционистской теории множеств со схемой collection
inferred← citeshttps://doi.org/10.4288/jafpos1956.13.59openalex-snapshot
A Natural Basis of Fuzzy Set Theory-an Overview
inferred← citeshttps://doi.org/10.47749/t/unicamp.2021.1235857openalex-snapshot
Models of non-classical set theory
inferred← citeshttps://doi.org/10.48550/arxiv.1004.3802openalex-snapshot
Stack semantics and the comparison of material and structural set theories
inferred← citeshttps://doi.org/10.48550/arxiv.1510.00990openalex-snapshot
On the Failure of BD-N and BD, and an Application to the Anti-Specker Property
inferred← citeshttps://doi.org/10.5603/cj.2011.0008openalex-snapshot
Clinical presentation and management of patients with hyperadrenergic postural orthostatic tachycardia syndrome. A single center experience
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.