On the public citation graph
Measure theory and higher order arithmetic
0 signed · 30 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.1007/978-3-540-77533-1openalex-snapshot
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
inferredcites →https://doi.org/10.1007/978-3-642-59971-2openalex-snapshot
Subsystems of Second Order Arithmetic
inferredcites →https://doi.org/10.1007/bf01621469openalex-snapshot
Measure theory and weak König's lemma
inferredcites →https://doi.org/10.1007/bf02760522openalex-snapshot
Can you take Solovay’s inaccessible away?
inferredcites →https://doi.org/10.1007/bf02760523openalex-snapshot
A mathematical proof of S. Shelah’s theorem on the measure problem and related results
inferredcites →https://doi.org/10.1007/bfb0060871openalex-snapshot
Extensional Godel functional interpretation;: A consistency proof of classical analysis
inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1016/j.apal.2012.05.010openalex-snapshot
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
inferredcites →https://doi.org/10.1016/s0049-237x(08)71256-4openalex-snapshot
A Strong Conservative Extension of Peano Arithmetic*
inferredcites →https://doi.org/10.1016/s0049-237x(98)80020-7openalex-snapshot
Gödel’s Functional (“Dialectica”) Interpretation
inferredcites →https://doi.org/10.1017/s0143385708001004openalex-snapshot
A quantitative mean ergodic theorem for uniformly convex Banach spaces
inferredcites →https://doi.org/10.1090/s0002-9947-09-04814-4openalex-snapshot
Local stability of ergodic averages
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0102480-9openalex-snapshot
Recursive functionals and quantifiers of finite types. I
inferredcites →https://doi.org/10.1090/s0002-9947-1969-0253895-6openalex-snapshot
Measure-theoretic uniformity in recursion theory and set theory
inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01464.xopenalex-snapshot
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes
inferredcites →https://doi.org/10.2178/jsl/1344862165openalex-snapshot
Term extraction and Ramsey's theorem for pairs
inferredcites →https://doi.org/10.2307/1970696openalex-snapshot
A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable
inferredcites →https://doi.org/10.2307/2586791openalex-snapshot
On the No-Counterexample Interpretation
inferredcites →https://doi.org/10.7146/brics.v7i49.20216openalex-snapshot
Higher Order Reverse Mathematics
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-3-030-93100-1_15openalex-snapshot
Betwixt Turing and Kleene
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103505openalex-snapshot
On the logical and computational properties of the Vitali covering theorem
inferred← citeshttps://doi.org/10.1017/fms.2025.10138openalex-snapshot
Proof mining and probability theory
inferred← citeshttps://doi.org/10.1017/jsl.2024.51openalex-snapshot
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS
inferred← citeshttps://doi.org/10.1093/logcom/exac075openalex-snapshot
On the computational properties of basic mathematical notions
inferred← citeshttps://doi.org/10.1109/access.2016.2643679openalex-snapshot
Functional Curve Fitting Algorithm via Multi-Heterogeneous Data Curve
inferred← citeshttps://doi.org/10.1215/00294527-2022-0001openalex-snapshot
Representations and the Foundations of Mathematics
inferred← citeshttps://doi.org/10.3233/com-210313openalex-snapshot
Countable sets versus sets that are countable in reverse mathematics
inferred← citeshttps://doi.org/10.48550/arxiv.2007.07560openalex-snapshot
On the uncountability of $\mathbb{R}$
inferred← citeshttps://doi.org/10.48550/arxiv.2011.02915openalex-snapshot
Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums
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.