On the public citation graph
A generalization of Gödel's notion of constructibility
0 signed · 48 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.2307/2372911openalex-snapshot
On the Independence of the Axiom of Constructibility
inferredcites →https://doi.org/10.4064/fm-28-1-11-21openalex-snapshot
Formal definitions in the theory of ordinal numbers
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.19670130702openalex-snapshot
Generator Classes in Set Theory
inferred← citeshttps://doi.org/10.1002/malq.19670131905openalex-snapshot
Some Notions of Random Sequence and Their Set‐Theoretic Foundations
inferred← citeshttps://doi.org/10.1002/malq.19720180804openalex-snapshot
Ordinals with Partition Properties and the Constructible Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-642-86745-3_8openalex-snapshot
The Universe of Set Theory
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/bfb0084973openalex-snapshot
Subsets of ℵ1 constructible from a real
inferred← citeshttps://doi.org/10.1007/bfb0103104openalex-snapshot
The evolution of large cardinal axioms in set theory
inferred← citeshttps://doi.org/10.1007/s00407-014-0142-8openalex-snapshot
How Woodin changed his mind: new thoughts on the Continuum Hypothesis
inferred← citeshttps://doi.org/10.1016/0020-0255(69)90011-5openalex-snapshot
The effectivity of existential statements in axiomatic set theory
inferred← citeshttps://doi.org/10.1016/0168-0072(83)90008-8openalex-snapshot
Iterating ordinal definability
inferred← citeshttps://doi.org/10.1016/b978-0-444-51621-3.50005-0openalex-snapshot
Inner Models for Large Cardinals
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/b978-0-7204-2233-7.50054-xopenalex-snapshot
A BIBLIOGRAPHY OF THE THEORY OF MODELS
inferred← citeshttps://doi.org/10.1016/b978-044450263-6/50032-4openalex-snapshot
Real Valued Measurability, Some Set-Theoretic Aspects**This work was partly supported by project “Mathematical models of nonlinearity, uncertainty and decision” (1866) financed by Ministry of Science, Technology and Development of Serbia.
inferred← citeshttps://doi.org/10.1016/j.apal.2009.02.004openalex-snapshot
A new characterization of supercompactness and applications
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71935-9openalex-snapshot
Definability in Axiomatic Set Theory II
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
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.