On the public citation graph
Some consistency results in ZFC using AD
0 signed · 102 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.1002/malq.19560020804openalex-snapshot
On a consistency theorem connected with the generalized continuum problem
inferredcites →https://doi.org/10.1007/bf00536621openalex-snapshot
Metric spaces in which Prohorov's theorem is not valid
inferredcites →https://doi.org/10.1007/bf01451165openalex-snapshot
Grundz�ge einer Theorie der geordneten Mengen
inferredcites →https://doi.org/10.1007/bf01563735openalex-snapshot
Bemerkung über den Inhalt von Punktmengen
inferredcites →https://doi.org/10.1007/bf02760941openalex-snapshot
Precipitous ideals and Σ 1 4 setssets
inferredcites →https://doi.org/10.1007/bfb0060706openalex-snapshot
Ensembles Analytiques Capacités Mesures de Hausdorff
inferredcites →https://doi.org/10.1007/bfb0071700openalex-snapshot
The real game quantifier propagates scales
inferredcites →https://doi.org/10.1007/bfb0090236openalex-snapshot
The axiom of determinacy, strong partition properties and nonsingular measures
inferredcites →https://doi.org/10.1007/bfb0090237openalex-snapshot
The axiom of determinacy and the prewellordering property
inferredcites →https://doi.org/10.1016/0001-8708(76)90187-0openalex-snapshot
Countable admissible ordinals and hyperdegrees
inferredcites →https://doi.org/10.1016/0003-4843(70)90013-6openalex-snapshot
Some applications of iterated ultrapowers in set theory
inferredcites →https://doi.org/10.1016/0003-4843(71)90018-0openalex-snapshot
Higher set theory and mathematical practice
inferredcites →https://doi.org/10.1016/0003-4843(80)90010-8openalex-snapshot
Thin collections of sets of projective ordinals and analogs of L
inferredcites →https://doi.org/10.1016/0003-4843(82)90017-1openalex-snapshot
Determinacy in the Mitchell models
inferredcites →https://doi.org/10.1016/s0049-237x(08)71369-7openalex-snapshot
Saturated Ideals and Nonregular Ultrafilters
inferredcites →https://doi.org/10.1017/s0022481200092173openalex-snapshot
The number of countable models
inferredcites →https://doi.org/10.1073/pnas.59.3.708openalex-snapshot
SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
inferredcites →https://doi.org/10.1073/pnas.80.6.1783openalex-snapshot
Equivalence of partition properties and determinacy
inferredcites →https://doi.org/10.1090/s0002-9904-1955-09896-3openalex-snapshot
Hierarchies of number-theoretic predicates
inferredcites →https://doi.org/10.1090/s0002-9904-1971-12789-1openalex-snapshot
Uniformization in a playful universe
inferredcites →https://doi.org/10.1090/s0002-9904-1978-14447-4openalex-snapshot
On the theory of Π₃¹ sets of reals
inferredcites →https://doi.org/10.1090/s0002-9939-1975-0373903-xopenalex-snapshot
Equivalence of Two Strong Forms of Determinacy
inferredcites →https://doi.org/10.1090/s0002-9939-1976-0453540-xopenalex-snapshot
Determinateness and Partitions
inferredcites →https://doi.org/10.1090/s0002-9939-1977-0472506-8openalex-snapshot
A Tree Argument in Infinitary Model Theory
inferredcites →https://doi.org/10.1090/s0002-9939-1978-0476524-6openalex-snapshot
Equivalences Generated by Families of Borel Sets
inferredcites →https://doi.org/10.1090/s0002-9947-1943-0007371-8openalex-snapshot
Recursive Predicates and Quantifiers
inferredcites →https://doi.org/10.1090/s0002-9947-1955-0070594-4openalex-snapshot
Arithmetical Predicates and Function Quantifiers
inferredcites →https://doi.org/10.1090/s0002-9947-1967-0211873-5openalex-snapshot
A nonconstructible Δ₃¹ set of integers
inferredcites →https://doi.org/10.1090/s0002-9947-1969-0244045-0openalex-snapshot
Abstract first order computability. I, II
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0656481-5openalex-snapshot
Two Consequences of Determinacy Consistent with Choice
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0662045-xopenalex-snapshot
Large Cardinals and Strong Model Theoretic Transfer Properties
inferredcites →https://doi.org/10.1090/s0273-0979-1982-15009-1openalex-snapshot
The extent of definable scales
inferredcites →https://doi.org/10.1112/blms/1.1.47openalex-snapshot
The Problem of Subsets of Finite Positive Measure
inferredcites →https://doi.org/10.2307/1970813openalex-snapshot
A Basis Theorem for ∑ 1 3 Sets of Reals
inferredcites →https://doi.org/10.2307/2269948openalex-snapshot
Elementary embeddings and infinitary combinatorics
inferredcites →https://doi.org/10.2307/2271950openalex-snapshot
Separation principles and the axiom of determinateness
inferredcites →https://doi.org/10.2307/2273254openalex-snapshot
Determinateness and the separation property
inferredcites →https://doi.org/10.2307/2274099openalex-snapshot
The axiom of determinacy implies dependent choices in L(R)
inferredcites →https://doi.org/10.2307/2964211openalex-snapshot
A generalization of Gödel's notion of constructibility
inferredcites →https://doi.org/10.4064/fm-46-2-123-135openalex-snapshot
Separation principles in the hierarchies of classical and effective descriptive set theory
inferredcites →https://doi.org/10.4064/fm-46-3-337-357openalex-snapshot
Some consequences of the axiom of constructibility
inferredcites →https://doi.org/10.4064/fm-53-2-205-224openalex-snapshot
On the axiom of determinateness
inferredcites →https://doi.org/10.4064/fm-54-1-67-71openalex-snapshot
On the Lebesgue measurability and the axiom of determinateness
inferredcites →https://doi.org/10.4064/fm-6-1-1-5openalex-snapshot
Sur une propriété des ensembles ambigus
inferredcites →https://doi.org/10.4064/fm-6-1-244-277openalex-snapshot
Sur la décomposition des ensembles de points en parties respectivement congruentes
inferredcites →https://doi.org/10.5802/aif.87openalex-snapshot
Forme abstraite du théorème de capacitabilité
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4020-5764-9_21openalex-snapshot
A Core Model Toolbox and Guide
inferred← citeshttps://doi.org/10.1007/978-1-4020-5764-9_25openalex-snapshot
Forcing over Models of Determinacy
inferred← citeshttps://doi.org/10.1007/978-3-662-22485-4openalex-snapshot
The Core Model Iterability Problem
inferred← citeshttps://doi.org/10.1007/bf02762071openalex-snapshot
Some results on the nonstationary ideal
inferred← citeshttps://doi.org/10.1007/bf02897063openalex-snapshot
Σ 3 1 absoluteness and the second uniform indiscernible
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/bfb0084973openalex-snapshot
Subsets of ℵ1 constructible from a real
inferred← citeshttps://doi.org/10.1016/b978-0-444-51621-3.50006-2openalex-snapshot
A Brief History of Determinacy
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/cbo9781139519694.002openalex-snapshot
Ordinal definability in models of determinacy. Introduction to Part V
inferred← citeshttps://doi.org/10.1017/jsl.2015.15openalex-snapshot
AXIOM I0 AND HIGHER DEGREE THEORY
inferred← citeshttps://doi.org/10.1090/conm/530/10445openalex-snapshot
Ultrafilters and large cardinals
inferred← citeshttps://doi.org/10.1090/proc/15741openalex-snapshot
On the derived models of self-iterable universes
inferred← citeshttps://doi.org/10.1090/s0002-9939-1988-0938683-4openalex-snapshot
The Cardinality of Reduced Power Set Algebras
inferred← citeshttps://doi.org/10.2178/bsl/1174668217openalex-snapshot
Inner Models and Ultrafilters In L(ℝ)
inferred← citeshttps://doi.org/10.2178/jsl/1174668389openalex-snapshot
The nonstationary ideal in the ℙmax extension
inferred← citeshttps://doi.org/10.2307/2694915openalex-snapshot
Chang's Conjecture and the Non-Stationary Ideal
inferred← citeshttps://doi.org/10.4007/annals.2021.193.3.3openalex-snapshot
Martin's Maximum${}^{++}$ implies Woodin's axiom $(*)$
inferred← citeshttps://doi.org/10.48550/arxiv.0911.2151openalex-snapshot
Jensen's diamond principle and its relatives
inferred← citeshttps://doi.org/10.70675/96e48302z41c0z4326zb5acz52938e06ed0fopenalex-snapshot
Stationary set preserving forcing, side conditions and games
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.