On the public citation graph
Models of ZF-Set Theory
0 signed · 67 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19830290412openalex-snapshot
HIERARCHIES FOR NON‐FOUNDED MODELS OF SET THEORY
inferred← citeshttps://doi.org/10.1002/malq.19830290804openalex-snapshot
KATEGORIESÄTZE UND MULTIPLES AUSWAHLAXIOM
inferred← citeshttps://doi.org/10.1002/malq.19850312507openalex-snapshot
Products of Compact Spaces in the Least Permutation Model
inferred← citeshttps://doi.org/10.1002/malq.19850313108openalex-snapshot
A Model where Cardinal Ordering is Universal
inferred← citeshttps://doi.org/10.1002/malq.19890350203openalex-snapshot
Lattice Theoretical Equivalences of the Ultrafilter Principle
inferred← citeshttps://doi.org/10.1002/malq.19900360402openalex-snapshot
The union axiom in zermelo set theory
inferred← citeshttps://doi.org/10.1002/malq.19910371702openalex-snapshot
An Application of Non‐Wellfounded Sets to the Foundations of Geometry
inferred← citeshttps://doi.org/10.1002/malq.19930390104openalex-snapshot
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis
inferred← citeshttps://doi.org/10.1002/malq.19930390138openalex-snapshot
A theory of sets with the negation of the axiom of infinity
inferred← citeshttps://doi.org/10.1002/malq.19930390149openalex-snapshot
Non‐circular, non‐well‐founded set universes
inferred← citeshttps://doi.org/10.1007/978-3-642-59386-4_6openalex-snapshot
Die Hausdorffsche Theorie der η α -Mengen und ihre Wirkungsgeschichte
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_33openalex-snapshot
Reverse Mathematics and Computability Theory of Domain Theory
inferred← citeshttps://doi.org/10.1007/978-94-010-2718-2_1openalex-snapshot
Set theory from Cantor to Cohen
inferred← citeshttps://doi.org/10.1007/bf00660900openalex-snapshot
Elementary extensions of Levy's model ofA 2 ?
inferred← citeshttps://doi.org/10.1007/bf01228238openalex-snapshot
Theorien mit relativ konstruktiblen saturierten Modellen
inferred← citeshttps://doi.org/10.1007/bf01369079openalex-snapshot
Dedekind-Endlichkeit und Wohlordenbarkeit
inferred← citeshttps://doi.org/10.1007/bf01902487openalex-snapshot
Einige gruppentheoretische Äquivalente zum Auswahlaxiom
inferred← citeshttps://doi.org/10.1007/bf02025889openalex-snapshot
Surrealist landscape with figures (a survey of recent results in set theory)
inferred← citeshttps://doi.org/10.1007/bf02566722openalex-snapshot
Abzählbarkeit und Wohlordenbarkeit
inferred← citeshttps://doi.org/10.1007/bfb0067663openalex-snapshot
More constructively about the constructibility
inferred← citeshttps://doi.org/10.1007/bfb0079422openalex-snapshot
Axioms of choice in Morse-Kelley class theory
inferred← citeshttps://doi.org/10.1007/bfb0079424openalex-snapshot
Set theory in infinitary languages
inferred← citeshttps://doi.org/10.1007/bfb0103097openalex-snapshot
Wellordered subclasses of proper classes
inferred← citeshttps://doi.org/10.1007/s10992-007-9063-1openalex-snapshot
LÉVY HIERARCHY IN WEAK SET THEORIES
inferred← citeshttps://doi.org/10.1016/0003-4843(73)90015-6openalex-snapshot
Forcing and generalized quantifiers
inferred← citeshttps://doi.org/10.1016/0003-4843(74)90015-1openalex-snapshot
Models of set theory containing many perfect sets
inferred← citeshttps://doi.org/10.1016/0003-4843(77)90004-3openalex-snapshot
Long projective wellorderings
inferred← citeshttps://doi.org/10.1016/0165-4896(90)90038-9openalex-snapshot
On the independence of core-equivalence results from Zermelo-Fraenkel set theory
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00024-wopenalex-snapshot
The structure of amorphous sets
inferred← citeshttps://doi.org/10.1016/j.aim.2023.108938openalex-snapshot
Anti-classification results for groups acting freely on the line
inferred← citeshttps://doi.org/10.1016/s0168-0072(00)00028-2openalex-snapshot
Notions of symmetry in set theory with classes
inferred← citeshttps://doi.org/10.1017/9781316755846.018openalex-snapshot
Higher order reversemathematics
inferred← citeshttps://doi.org/10.1017/9781316755983.005openalex-snapshot
Foundational and mathematical uses of higher types
inferred← citeshttps://doi.org/10.1017/s0960129525100364openalex-snapshot
Automata and coalgebras in categories of species
inferred← citeshttps://doi.org/10.1017/s1446788700023521openalex-snapshot
Independence results concerning Dedekindfinite sets
inferred← citeshttps://doi.org/10.1063/1.522953openalex-snapshot
Models of Zermelo Frankel set theory as carriers for the mathematics of physics. I
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870373openalex-snapshot
The axiom of choice in topology.
inferred← citeshttps://doi.org/10.1305/ndjfl/1163775446openalex-snapshot
Continu'ous Time Goes by Russell
inferred← citeshttps://doi.org/10.2178/jsl/1140641176openalex-snapshot
Completeness and Herbrand theorems for nominal logic
inferred← citeshttps://doi.org/10.2307/2271897openalex-snapshot
An algebraic characterization of power set in countable standard models of ZF
inferred← citeshttps://doi.org/10.2307/2272066openalex-snapshot
Infinite exponent partition relations and well-ordered choice
inferred← citeshttps://doi.org/10.2307/2273318openalex-snapshot
On generic extensions without the axiom of choice
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/2274230openalex-snapshot
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
inferred← citeshttps://doi.org/10.2307/2275917openalex-snapshot
Connections between axioms of set theory and basic theorems of universal algebra
inferred← citeshttps://doi.org/10.2307/421046openalex-snapshot
The Mathematical Development of Set Theory from Cantor to Cohen
inferred← citeshttps://doi.org/10.2307/421182openalex-snapshot
Models of Second-Order Zermelo Set Theory
inferred← citeshttps://doi.org/10.31274/rtd-180813-5990openalex-snapshot
Bijectional, Generic and Permutational models of ZF
inferred← citeshttps://doi.org/10.3390/axioms14010013openalex-snapshot
On the Uniform Projection Problem in Descriptive Set Theory
inferred← citeshttps://doi.org/10.37882/2223-2966.2021.03.38openalex-snapshot
Защита информации в облачных технологиях методом рассечения-разнесения
inferred← citeshttps://doi.org/10.4064/ba53-4-1openalex-snapshot
Tychonoff Products of Two-Element Sets and Some Weakenings of the Boolean Prime Ideal Theorem
inferred← citeshttps://doi.org/10.4064/ba63-2-1openalex-snapshot
On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice
inferred← citeshttps://doi.org/10.48550/arxiv.1905.04058openalex-snapshot
Nets and Reverse Mathematics, a pilot study
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0511025openalex-snapshot
Logic Column 14: Nominal Logic and Abstract Syntax
inferred← citeshttps://doi.org/10.7146/brics.v6i31.20100openalex-snapshot
Foundational and Mathematical Uses of Higher Types
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.