On the public citation graph

J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.

https://doi.org/10.2307/2273271
0 signed · 119 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.
Claim with ORCID
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.
See reference health

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.19860320704openalex-snapshot
Boolean‐Valued Models of Set Theory with Automorphisms
inferred← citeshttps://doi.org/10.1007/3-540-34783-6_63openalex-snapshot
Fuzzy Set Theory – 40 Years of Foundational Discussions
inferred← citeshttps://doi.org/10.1007/3-540-57292-9_46openalex-snapshot
Integrating the symbolic and the sub-symbolic level in sonar-based navigation
inferred← citeshttps://doi.org/10.1007/978-1-4614-8854-5_21openalex-snapshot
Zermelo–Fraenkel System and von Neumann Ordinals
inferred← citeshttps://doi.org/10.1007/978-1-4614-8854-5_22openalex-snapshot
Postscript IV: Landmarks of Modern Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-49763-7_9openalex-snapshot
Boolean Valued Analysis: Background and Results
inferred← citeshttps://doi.org/10.1007/978-3-030-77493-6_19openalex-snapshot
Some Algebraic Aspects of Boolean Valued Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_3openalex-snapshot
The Logic of Fuzzy Set Theory: A Historical Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-09764-0_9openalex-snapshot
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models
inferred← citeshttps://doi.org/10.1007/978-3-322-80276-7_4openalex-snapshot
Metamathematische Aspekte der Hausdorffschen Mengenlehre
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/978-94-009-0195-7_1openalex-snapshot
Nonstandard Theory of Vector Lattices
inferred← citeshttps://doi.org/10.1007/978-94-011-4305-9_1openalex-snapshot
Nonstandard Methods and Kantorovich Spaces
inferred← citeshttps://doi.org/10.1007/978-94-015-8678-8_7openalex-snapshot
Structures, Suppes Predicates, and Boolean-Valued Models in Physics
inferred← citeshttps://doi.org/10.1007/978-94-017-1652-9_23openalex-snapshot
Truth Functionality and Measure-Based Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-3651-0_13openalex-snapshot
On Some Recent Undecidability and Incompleteness Results in the Axiomatized Sciences
inferred← citeshttps://doi.org/10.1007/978-94-017-9217-2_7openalex-snapshot
Gödel and Intuitionism
inferred← citeshttps://doi.org/10.1007/bf00403338openalex-snapshot
A formal ontology of situations
inferred← citeshttps://doi.org/10.1007/bf00413903openalex-snapshot
Mathematical quantum theory I: Random ultrafilters as hidden variables
inferred← citeshttps://doi.org/10.1007/bf00413980openalex-snapshot
From absolute to local mathematics
inferred← citeshttps://doi.org/10.1007/bf00485258openalex-snapshot
Categories, toposes and sets
inferred← citeshttps://doi.org/10.1007/bf00673682openalex-snapshot
A Suppes predicate for general relativity and set-theoretically generic spacetimes
inferred← citeshttps://doi.org/10.1007/bf00735530openalex-snapshot
Orthospaces and quantum logic
inferred← citeshttps://doi.org/10.1007/bf00969509openalex-snapshot
Order-continuous functionals in Boolean-valued models of set theory
inferred← citeshttps://doi.org/10.1007/bf00969600openalex-snapshot
Subdifferentials in Boolean-valued models of set theory
inferred← citeshttps://doi.org/10.1007/bf01621470openalex-snapshot
Minimal elementary extensions of models of set theory and arithmetic
inferred← citeshttps://doi.org/10.1007/bf02228975openalex-snapshot
Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics
inferred← citeshttps://doi.org/10.1007/bf02650180openalex-snapshot
Quantum sets and clifford algebras
inferred← citeshttps://doi.org/10.1007/bf02766167openalex-snapshot
A characterization of ℵ1-free abelian groups and its application to the chase radical
inferred← citeshttps://doi.org/10.1007/bf02924847openalex-snapshot
Exact functors, local connectedness and measurable cardinals
inferred← citeshttps://doi.org/10.1007/bfb0035612openalex-snapshot
A syntactical approach to data fusion
inferred← citeshttps://doi.org/10.1007/bfb0053031openalex-snapshot
Reasoning and refinement in object-oriented specification languages
inferred← citeshttps://doi.org/10.1007/bfb0090727openalex-snapshot
Consistency and independence results in intuitionistic set theory
inferred← citeshttps://doi.org/10.1007/bfb0103104openalex-snapshot
The evolution of large cardinal axioms in set theory
inferred← citeshttps://doi.org/10.1007/s10701-006-9052-1openalex-snapshot
A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi
inferred← citeshttps://doi.org/10.1007/s10701-011-9619-3openalex-snapshot
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras
inferred← citeshttps://doi.org/10.1007/s10992-026-09839-5openalex-snapshot
On the Methodology of Informal Rigour: Set Theory, Semantics, and Intuitionism
inferred← citeshttps://doi.org/10.1007/s11202-006-0010-0openalex-snapshot
Automorphisms and Derivations on a Universally Complete Complex f-Algebra
inferred← citeshttps://doi.org/10.1007/s11225-006-7197-8openalex-snapshot
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches
inferred← citeshttps://doi.org/10.1016/0021-8693(83)90174-6openalex-snapshot
On a Boolean power of a torsion free Abelian group
inferred← citeshttps://doi.org/10.1016/0022-247x(80)90079-7openalex-snapshot
A unified treatment of fuzzy set theory and Boolean-valued set theory—Fuzzy set structures and normal fuzzy set structures
inferred← citeshttps://doi.org/10.1016/0022-4049(86)90010-1openalex-snapshot
A category-theoretic approach to boolean-valued models of set theory
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(89)90026-2openalex-snapshot
A type-free system extending (ZFC)
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90023-xopenalex-snapshot
Forcing in nonstandard analysis
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50021-xopenalex-snapshot
Many-Valued Logics
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.2005.06.014openalex-snapshot
The spectrum of elementary embeddings j:V→V
inferred← citeshttps://doi.org/10.1016/j.apal.2012.01.010openalex-snapshot
Derived rules for predicative set theory: An application of sheaves
inferred← citeshttps://doi.org/10.1016/j.apal.2014.01.004openalex-snapshot
CZF does not have the existence property
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.020openalex-snapshot
-Sets as a possibilistic set theory
inferred← citeshttps://doi.org/10.1016/j.fss.2005.05.031openalex-snapshot
Mathematical aspects of fuzzy sets and fuzzy logic
inferred← citeshttps://doi.org/10.1016/j.fss.2009.12.005openalex-snapshot
An early approach toward graded identity and graded membership in set theory
inferred← citeshttps://doi.org/10.1016/j.geomphys.2003.11.010openalex-snapshot
Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
inferred← citeshttps://doi.org/10.1016/j.indag.2020.07.001openalex-snapshot
Geometric characterization of preduals of injective Banach lattices
inferred← citeshttps://doi.org/10.1016/j.inffus.2005.01.006openalex-snapshot
Reasoning with multiple-source information in a possibilistic logic framework
inferred← citeshttps://doi.org/10.1016/j.ins.2005.02.004openalex-snapshot
Mathematical fuzzy logic as a tool for the treatment of vague information
inferred← citeshttps://doi.org/10.1016/j.topol.2019.03.007openalex-snapshot
On definable subgroups of the fundamental group
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70447-1openalex-snapshot
Sets Having Calibre
inferred← citeshttps://doi.org/10.1016/s0165-0114(00)00067-1openalex-snapshot
Sequent calculus and data fusion
inferred← citeshttps://doi.org/10.1016/s0168-0072(03)00055-1openalex-snapshot
Independence of Boolean algebras and forcing
inferred← citeshttps://doi.org/10.1016/s1874-5857(08)80011-8openalex-snapshot
Boole's Logic
inferred← citeshttps://doi.org/10.1017/cbo9780511752483openalex-snapshot
Algebraic Set Theory
inferred← citeshttps://doi.org/10.1017/cbo9781107415614openalex-snapshot
The Logic of Infinity
inferred← citeshttps://doi.org/10.1017/s0012217300006715openalex-snapshot
On Confusions About Bivalence and Excluded Middle
inferred← citeshttps://doi.org/10.1017/s0022481200027924openalex-snapshot
Markov's principle, isols and Dedekind finite sets
inferred← citeshttps://doi.org/10.1017/s0960129502003626openalex-snapshot
Realizability: a historical essay
inferred← citeshttps://doi.org/10.1017/s1755020316000095openalex-snapshot
REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION
inferred← citeshttps://doi.org/10.1023/a:1005085922564openalex-snapshot
The Transzendenz of Mathematical ‘Experience’
inferred← citeshttps://doi.org/10.1023/a:1024745012471openalex-snapshot
Parfaits Miroirs De L'univers'': A `Virtual' Interpretation of Leibnizian Metaphysics
inferred← citeshttps://doi.org/10.1023/a:1025410204119openalex-snapshot
Set Theoretical Forcing in Quantum Mechanics and AdS/CFT Correspondence
inferred← citeshttps://doi.org/10.1023/b:foop.0000019620.04821.a2openalex-snapshot
Background Independence in Quantum Gravity and Forcing Constructions
inferred← citeshttps://doi.org/10.1023/b:ijtp.0000028863.07313.9copenalex-snapshot
Interpreting Observables in a Quantum World from the Categorial Standpoint
inferred← citeshttps://doi.org/10.1080/03081070701499922openalex-snapshot
Foundations of a set theory for fuzzy sets. 40 years of development
inferred← citeshttps://doi.org/10.1080/0952813x.2022.2080276openalex-snapshot
Set-theoretic relations for metasets
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510917openalex-snapshot
Local possibilistic logic
inferred← citeshttps://doi.org/10.1093/bjps/36.2.147openalex-snapshot
Two Episodes in the Unification of Logic and Topology
inferred← citeshttps://doi.org/10.1093/mind/fzad035openalex-snapshot
Boolean-Valued Sets as Arbitrary Objects
inferred← citeshttps://doi.org/10.1109/cic.1991.169144openalex-snapshot
Knowledge representation formalisms as methods to test pathophysiological hypotheses
inferred← citeshttps://doi.org/10.1109/ismvl.2003.1201387openalex-snapshot
Universes of fuzzy sets - a short survey
inferred← citeshttps://doi.org/10.1109/lics.2011.47openalex-snapshot
Forcing as a Program Transformation
inferred← citeshttps://doi.org/10.1109/nafips.2005.1548516openalex-snapshot
Foundations of a Set Theory for Fuzzy Sets. 40 Years of Development
inferred← citeshttps://doi.org/10.1134/s0037446614050103openalex-snapshot
On order bounded disjointness preserving operators
inferred← citeshttps://doi.org/10.1134/s0037446615050110openalex-snapshot
The Boolean transfer principle for injective Banach lattices
inferred← citeshttps://doi.org/10.1134/s1064562412030118openalex-snapshot
Boolean-valued analysis and injective Banach lattices
inferred← citeshttps://doi.org/10.1134/s1064562413060033openalex-snapshot
Classification of injective banach lattices
inferred← citeshttps://doi.org/10.1134/s1990478908010109openalex-snapshot
Boolean methods in positivity
inferred← citeshttps://doi.org/10.1145/1966357.1966359openalex-snapshot
Is provenance logical?
inferred← citeshttps://doi.org/10.1201/b11046-10openalex-snapshot
Applied combinatory logic
inferred← citeshttps://doi.org/10.12775/llp.2004.006openalex-snapshot
The consequence relation preserving logical information
inferred← citeshttps://doi.org/10.13140/rg.2.2.22573.79849openalex-snapshot
The Wickstead Problem
inferred← citeshttps://doi.org/10.1515/9781501502620-019openalex-snapshot
Remarks on Barr’s Theorem: Proofs in Geometric Theories
inferred← citeshttps://doi.org/10.1590/s0103-40141989000200007openalex-snapshot
A noção de estrutura em matemática e física
inferred← citeshttps://doi.org/10.21099/tkbjm/1496159530openalex-snapshot
A Boolean power and a direct product of abelian groups
inferred← citeshttps://doi.org/10.2178/bsl/1231081371openalex-snapshot
Cohen and Set Theory
inferred← citeshttps://doi.org/10.2178/bsl/1309952317openalex-snapshot
V = Land Intuitive Plausibility in set Theory. A Case Study
inferred← citeshttps://doi.org/10.2178/jsl/1185803627openalex-snapshot
Transfer principle in quantum set theory
inferred← citeshttps://doi.org/10.2307/2273318openalex-snapshot
On generic extensions without the axiom of choice
inferred← citeshttps://doi.org/10.2307/2273384openalex-snapshot
Supercompact cardinals and trees of normal ultrafilters
inferred← citeshttps://doi.org/10.2307/2273477openalex-snapshot
On the strength of the Sikorski extension theorem for Boolean algebras
inferred← citeshttps://doi.org/10.2307/2273748openalex-snapshot
Isomorphism of structures in S-toposes
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/2274110openalex-snapshot
Commutative regular rings and Boolean-valued fields
inferred← citeshttps://doi.org/10.2307/2274230openalex-snapshot
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
inferred← citeshttps://doi.org/10.2307/2274480openalex-snapshot
The axiomatization of randomness
inferred← citeshttps://doi.org/10.2307/2274569openalex-snapshot
Believing the axioms. II
inferred← citeshttps://doi.org/10.2307/2275321openalex-snapshot
Does V equal L?
inferred← citeshttps://doi.org/10.2307/2275327openalex-snapshot
Constructive set theoretic models of typed combinatory logic
inferred← citeshttps://doi.org/10.2307/2275513openalex-snapshot
Scott incomplete Boolean ultrapowers of the real line
inferred← citeshttps://doi.org/10.2307/2586803openalex-snapshot
Standardization principle of nonstandard universes
inferred← citeshttps://doi.org/10.2307/421046openalex-snapshot
The Mathematical Development of Set Theory from Cantor to Cohen
inferred← citeshttps://doi.org/10.26083/tuprints-00000351openalex-snapshot
A Universal Realizability Model for Sequential Functional Computation
inferred← citeshttps://doi.org/10.26686/ajl.v5i0.1784openalex-snapshot
Forcing with Non-wellfounded Models
inferred← citeshttps://doi.org/10.2969/jmsj/03640619openalex-snapshot
On Boolean powers of the group Z and (ω,ω)-weak distributivity
inferred← citeshttps://doi.org/10.48550/arxiv.1105.5324openalex-snapshot
The maximum principle in forcing and the axiom of choice
inferred← citeshttps://doi.org/10.48550/arxiv.1502.04910openalex-snapshot
Some Aspects of Boolean Valued Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.math/0406063openalex-snapshot
Consistency Strengths of Modified Maximality Principles
inferred← citeshttps://doi.org/10.48550/arxiv.math/0605030openalex-snapshot
Boolean Methods in the Theory of Vector Lattices
inferred← citeshttps://doi.org/10.48660/13120060openalex-snapshot
Rebuilding Mathematics on a Quantum Logical Foundation
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.