On the public citation graph

A Simple Proof of Parsons' Theorem

https://doi.org/10.1305/ndjfl/1107220675
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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-60178-3_85openalex-snapshot
On Herbrand's theorem
inferredcites →https://doi.org/10.1007/978-3-540-89107-9_6openalex-snapshot
Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-3-642-59971-2openalex-snapshot
Subsystems of Second Order Arithmetic
inferredcites →https://doi.org/10.1007/bf01117472openalex-snapshot
Quantifier-free and one-quantifier systems
inferredcites →https://doi.org/10.1007/bf01206605openalex-snapshot
Über das Unendliche
inferredcites →https://doi.org/10.1007/bf01621477openalex-snapshot
Herbrand analyses
inferredcites →https://doi.org/10.1007/bfb0067653openalex-snapshot
Initial segments of models of Peano's axioms
inferredcites →https://doi.org/10.1016/0168-0072(85)90030-2openalex-snapshot
Fragments of arithmetic
inferredcites →https://doi.org/10.1016/0168-0072(91)90043-lopenalex-snapshot
Bounded arithmetic and the polynomial hierarchy
inferredcites →https://doi.org/10.1016/s0049-237x(08)70771-7openalex-snapshot
On a Number Theoretic Choice Schema and its Relation to Induction
inferredcites →https://doi.org/10.1016/s0049-237x(08)71123-6openalex-snapshot
The Incompleteness Theorems
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7019-9openalex-snapshot
Constructivism in Mathematics - An Introduction
inferredcites →https://doi.org/10.1016/s0049-237x(98)80017-7openalex-snapshot
First-Order Proof Theory of Arithmetic
inferredcites →https://doi.org/10.1016/s0168-0072(02)00030-1openalex-snapshot
Saturated models of universal theories
inferredcites →https://doi.org/10.1017/cbo9781139171519.010openalex-snapshot
On the infinite
inferredcites →https://doi.org/10.1017/s0022481200028309openalex-snapshot
Partial realizations of Hilbert's program
inferredcites →https://doi.org/10.1090/conm/106/1057819openalex-snapshot
Polynomial time computable arithmetic
inferredcites →https://doi.org/10.1112/plms/s2-48.1.401openalex-snapshot
Function Theory in an Axiom-Free Equation Calculus
inferredcites →https://doi.org/10.2307/2026089openalex-snapshot
Finitism
inferredcites →https://doi.org/10.2307/2272731openalex-snapshot
On n-quantifier induction
inferredcites →https://doi.org/10.2307/2371522openalex-snapshot
A Formalization of Recursive Arithmetic

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.2584075openalex-extracted
Applying Citizens United to Ordinary Corruption: With a Note on Blagojevich, McDonnell, and the Criminalization of Politics
inferred← citeshttps://doi.org/10.1007/978-3-030-36755-8_7openalex-snapshot
Finitism, Imperative Programs and Primitive Recursion
inferred← citeshttps://doi.org/10.1007/s00153-008-0080-8openalex-snapshot
Harrington’s conservation theorem redone
inferred← citeshttps://doi.org/10.1016/j.indag.2017.09.011openalex-snapshot
Eliminating disjunctions by disjunction elimination
inferred← citeshttps://doi.org/10.1093/logcom/exaa076openalex-snapshot
Finitism, imperative programs and primitive recursion
inferred← citeshttps://doi.org/10.1093/logcom/exad021openalex-snapshot
A new perspective on completeness and finitist consistency
inferred← citeshttps://doi.org/10.1215/00294527-2009-009openalex-snapshot
Finitary Set Theory
inferred← citeshttps://doi.org/10.18778/0138-0680.45.1.01openalex-snapshot
Elementary Proof of Strong Normalization for Atomic F
inferred← citeshttps://doi.org/10.2139/ssrn.2107460openalex-snapshot
The Meanings of the 'Privileges and Immunities of Citizens' on the Eve of the Civil War
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.