On the public citation graph
Countable models of set theories
0 signed · 122 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.1090/pspum/005/0141595openalex-snapshot
Algebras of sets binumerable in complete extensions of arithmetic
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.19850311403openalex-snapshot
A Generalization of a Theorem of H. Friedman
inferred← citeshttps://doi.org/10.1002/malq.19860322510openalex-snapshot
Some More Remarks on Expandability of Initial Segments
inferred← citeshttps://doi.org/10.1002/malq.201200062openalex-snapshot
The arithmetic of cuts in models of arithmetic
inferred← citeshttps://doi.org/10.1002/malq.201500002openalex-snapshot
Incomparable ω1‐like models of set theory
inferred← citeshttps://doi.org/10.1002/malq.201800044openalex-snapshot
On the relative strengths of fragments of collection
inferred← citeshttps://doi.org/10.1007/978-3-319-29198-7_4openalex-snapshot
Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_13openalex-snapshot
On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_15openalex-snapshot
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
inferred← citeshttps://doi.org/10.1007/bf02121264openalex-snapshot
On expandability of models of Peano arithmetic. III
inferred← citeshttps://doi.org/10.1007/bfb0067661openalex-snapshot
On the theories of end-extensions of models of arithmetic
inferred← citeshttps://doi.org/10.1007/bfb0071694openalex-snapshot
Ad and the uniqueness of the supercompact measures on Pω1(λ)
inferred← citeshttps://doi.org/10.1007/bfb0071701openalex-snapshot
Some consistency results in ZFC using AD
inferred← citeshttps://doi.org/10.1007/bfb0079429openalex-snapshot
On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes
inferred← citeshttps://doi.org/10.1007/bfb0082233openalex-snapshot
Countable or ω1-like models of Presburger's arithmetic
inferred← citeshttps://doi.org/10.1007/bfb0084973openalex-snapshot
Subsets of ℵ1 constructible from a real
inferred← citeshttps://doi.org/10.1007/bfb0090166openalex-snapshot
Two orderings of the class of all countable models of peano arithmetic
inferred← citeshttps://doi.org/10.1007/bfb0090172openalex-snapshot
Cofinal extension preserves recursive saturation
inferred← citeshttps://doi.org/10.1007/bfb0096908openalex-snapshot
Categoricity relative to ordinals for models of set theory and the nonabsoluteness of L
inferred← citeshttps://doi.org/10.1007/bfb0098622openalex-snapshot
Some remarks on the mathematical incompleteness of Peano’s arithmetic found by paris and harrington
inferred← citeshttps://doi.org/10.1007/bfb0103099openalex-snapshot
Categoricity with respect to ordinals
inferred← citeshttps://doi.org/10.1007/bfb0103108openalex-snapshot
On a class of models of the n-th order arithmetic
inferred← citeshttps://doi.org/10.1007/s00153-016-0501-zopenalex-snapshot
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$ α -recursion theory
inferred← citeshttps://doi.org/10.1007/s00153-017-0582-3openalex-snapshot
Largest initial segments pointwise fixed by automorphisms of models of set theory
inferred← citeshttps://doi.org/10.1007/s00153-019-00699-2openalex-snapshot
Rank-initial embeddings of non-standard models of set theory
inferred← citeshttps://doi.org/10.1007/s00153-021-00786-3openalex-snapshot
Condensable models of set theory
inferred← citeshttps://doi.org/10.1007/s10469-011-9153-6openalex-snapshot
Fixed points for the jump operator
inferred← citeshttps://doi.org/10.1016/0003-4843(77)90008-0openalex-snapshot
An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
inferred← citeshttps://doi.org/10.1016/0003-4843(78)90014-1openalex-snapshot
Admissible sets and the saturation of structures
inferred← citeshttps://doi.org/10.1016/0003-4843(82)90014-6openalex-snapshot
Steel forcing and barwise compactness
inferred← citeshttps://doi.org/10.1016/b978-0-444-51621-3.50006-2openalex-snapshot
A Brief History of Determinacy
inferred← citeshttps://doi.org/10.1016/j.apal.2005.04.005openalex-snapshot
Structures interpretable in models of bounded arithmetic
inferred← citeshttps://doi.org/10.1016/j.apal.2012.01.012openalex-snapshot
From the weak to the strong existence property
inferred← citeshttps://doi.org/10.1016/j.apal.2013.07.016openalex-snapshot
Relativized ordinal analysis: The case of Power Kripke–Platek set theory
inferred← citeshttps://doi.org/10.1016/j.apal.2014.12.002openalex-snapshot
Automorphisms of models of set theory and extensions of NFU
inferred← citeshttps://doi.org/10.1016/j.apal.2016.12.002openalex-snapshot
The countable admissible ordinal equivalence relation
inferred← citeshttps://doi.org/10.1016/j.apal.2022.103132openalex-snapshot
End extending models of set theory via power admissible covers
inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.004openalex-snapshot
The scope of Feferman’s semi-intuitionistic set theories and his second conjecture
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70584-6openalex-snapshot
Admissible Sets Over Models of Set Theory
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71103-0openalex-snapshot
Admissible Sets and Infinitary Logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70160-0openalex-snapshot
Nonstandard Models and Related Developments
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70191-0openalex-snapshot
Residue Fields of Models of P
inferred← citeshttps://doi.org/10.1016/s0166-8641(02)00112-8openalex-snapshot
Complexity of conjugacy classes of A(Q)
inferred← citeshttps://doi.org/10.1016/s0168-0072(00)00031-2openalex-snapshot
The strength of Mac Lane set theory
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00024-0openalex-snapshot
Topics in invariant descriptive set theory
inferred← citeshttps://doi.org/10.1016/s0168-0072(95)00058-5openalex-snapshot
The self-embedding theorem of WKL0 and a non-standard method
inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73828-3openalex-snapshot
The Arithmetics as Theories of two Orders
inferred← citeshttps://doi.org/10.1017/9781316755921.002openalex-snapshot
Group actions and countable models
inferred← citeshttps://doi.org/10.1017/9781316863534openalex-snapshot
Large Cardinals, Determinacy and Other Topics
inferred← citeshttps://doi.org/10.1017/9781316863534.002openalex-snapshot
A brief history of determinacy
inferred← citeshttps://doi.org/10.1017/9781316863534.003openalex-snapshot
“AD plus Uniformization” is equivalent to “Half ADR”
inferred← citeshttps://doi.org/10.1017/9781316863534.004openalex-snapshot
The independence of DC from AD
inferred← citeshttps://doi.org/10.1017/9781316863534.006openalex-snapshot
Some consistency results in ZFC using AD
inferred← citeshttps://doi.org/10.1017/9781316863534.007openalex-snapshot
Subsets of ℵ1 constructible from a real
inferred← citeshttps://doi.org/10.1017/9781316863534.008openalex-snapshot
AD and the uniqueness of the supercompact measures on ℘ꞷ1 (λ)
inferred← citeshttps://doi.org/10.1017/9781316863534.009openalex-snapshot
The extender algebra and Σ21-absoluteness
inferred← citeshttps://doi.org/10.1017/9781316863534.011openalex-snapshot
Capacities and analytic sets
inferred← citeshttps://doi.org/10.1017/9781316863534.013openalex-snapshot
The fourteen Victoria Delfino problems and their status in the year 2020
inferred← citeshttps://doi.org/10.1017/bsl.2013.4openalex-snapshot
CIRCULARITY IN SOUNDNESS AND COMPLETENESS
inferred← citeshttps://doi.org/10.1017/bsl.2019.7openalex-snapshot
Self-embeddings of Models of Peano Arithmetic
inferred← citeshttps://doi.org/10.1017/jsl.2021.62openalex-snapshot
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
inferred← citeshttps://doi.org/10.1017/jsl.2022.88openalex-snapshot
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY
inferred← citeshttps://doi.org/10.1017/s0022481200029911openalex-snapshot
Open days in set theory and arithmetic, Jachranka, Poland, 1986
inferred← citeshttps://doi.org/10.1017/s0305004100049379openalex-snapshot
Adding propositional connectives to countable infinitary logic
inferred← citeshttps://doi.org/10.1017/s1755020316000411openalex-snapshot
THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
inferred← citeshttps://doi.org/10.1017/s1755020321000307openalex-snapshot
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
inferred← citeshttps://doi.org/10.1090/s0002-9939-00-05373-9openalex-snapshot
Ideals without ccc and without property $ \boldsymbol( \mathbf{M} \boldsymbol)$
inferred← citeshttps://doi.org/10.1090/s0002-9939-1979-0512068-1openalex-snapshot
Diophantine Correct Models of Arithmetic
inferred← citeshttps://doi.org/10.1090/s0002-9947-1979-0539907-7openalex-snapshot
Partially Conservative Extensions of Arithmetic
inferred← citeshttps://doi.org/10.1090/s0894-0347-98-00258-6openalex-snapshot
Polish group actions: Dichotomies and generalized elementary embeddings
inferred← citeshttps://doi.org/10.1093/logcom/exaa020openalex-snapshot
Power Kripke–Platek set theory and the axiom of choice
inferred← citeshttps://doi.org/10.1098/rsta.2022.0009openalex-snapshot
Weak set theories in foundational debates
inferred← citeshttps://doi.org/10.1098/rsta.2022.0019openalex-snapshot
Ordinal analysis and the set existence property for intuitionistic set theories
inferred← citeshttps://doi.org/10.1098/rsta.2022.0020openalex-snapshot
Modern perspectives in Proof Theory
inferred← citeshttps://doi.org/10.1142/s0219061313500062openalex-snapshot
EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
inferred← citeshttps://doi.org/10.1215/00294527-2010-030openalex-snapshot
A Natural Model of the Multiverse Axioms
inferred← citeshttps://doi.org/10.1215/00294527-3767941openalex-snapshot
Strange Structures from Computable Model Theory
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870445openalex-snapshot
Submodels and definable points in models of Peano arithmetic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870626openalex-snapshot
A model theoretic proof of Feferman's preservation theorem.
inferred← citeshttps://doi.org/10.1515/krt-2023-0029openalex-snapshot
Every Countable Model of Arithmetic or Set Theory has a Pointwise-Definable End Extension
inferred← citeshttps://doi.org/10.21099/tkbjm/1496159540openalex-snapshot
On $M$-recursively saturated models of arithmetic
inferred← citeshttps://doi.org/10.2307/2271891openalex-snapshot
One hundred and two problems in mathematical logic
inferred← citeshttps://doi.org/10.2307/2272268openalex-snapshot
On models of arithmetic—Answers to two problems raised by H. Gaifman
inferred← citeshttps://doi.org/10.2307/2272817openalex-snapshot
Toward model theory through recursive saturation
inferred← citeshttps://doi.org/10.2307/2273102openalex-snapshot
Models of arithmetic and closed ideals
inferred← citeshttps://doi.org/10.2307/2273185openalex-snapshot
Constructible models of subsystems of ZF
inferred← citeshttps://doi.org/10.2307/2273317openalex-snapshot
On the standard part of nonstandard models of set theory
inferred← citeshttps://doi.org/10.2307/2273620openalex-snapshot
Recursively saturated nonstandard models of arithmetic
inferred← citeshttps://doi.org/10.2307/2273688openalex-snapshot
Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)
inferred← citeshttps://doi.org/10.2307/2275133openalex-snapshot
Thin equivalence relations and effective decompositions
inferred← citeshttps://doi.org/10.2307/2275907openalex-snapshot
The topological Vaught's conjecture and minimal counterexamples
inferred← citeshttps://doi.org/10.4236/apm.2019.99034openalex-snapshot
There Is No Standard Model of ZFC and ZFC2 with Henkin Semantics
inferred← citeshttps://doi.org/10.4288/jafpos.25.0_25openalex-snapshot
Models of the Weak König Lemma
inferred← citeshttps://doi.org/10.47749/t/unicamp.2011.787718openalex-snapshot
Uma abordagem modelo-teórica da computabilidade de Turing clássica
inferred← citeshttps://doi.org/10.48550/arxiv.1104.4450openalex-snapshot
A natural model of the multiverse axioms
inferred← citeshttps://doi.org/10.48550/arxiv.1610.02194openalex-snapshot
Classifying the provably total set functions of KP and KP(P)
inferred← citeshttps://doi.org/10.48550/arxiv.2007.05885openalex-snapshot
On Non-standard Models of Arithmetic with Uncountable Standard Systems
inferred← citeshttps://doi.org/10.48550/arxiv.math/0410523openalex-snapshot
Expansions, omitting types, and standard systems
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.