On the public citation graph

Foundations for analysis and proof theory

https://doi.org/10.1007/bf00485460
0 signed · 36 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/978-3-642-86894-8_1openalex-snapshot
Das Problem der Widerspruchsfreiheit in der Axiomatik als logisches Entscheidungsproblem
inferredcites →https://doi.org/10.1007/978-3-662-28615-9openalex-snapshot
Hilbert
inferredcites →https://doi.org/10.1007/978-3-662-38452-7_14openalex-snapshot
Hilberts Untersuchungen über die Grundlagen der Arithmetik
inferredcites →https://doi.org/10.1007/978-3-663-15954-4openalex-snapshot
Grundlagen der Geometrie
inferredcites →https://doi.org/10.1007/978-3-663-16102-8openalex-snapshot
Die Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01449999openalex-snapshot
Untersuchungen �ber die Grundlagen der Mengenlehre. I
inferredcites →https://doi.org/10.1007/bf01457953openalex-snapshot
Die Grundlegung der elementaren Zahlenlehre
inferredcites →https://doi.org/10.1007/bf01591620openalex-snapshot
Die Bedeutung Hilberts für die Philosophie der Mathematik
inferredcites →https://doi.org/10.1007/bfb0091894openalex-snapshot
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
inferredcites →https://doi.org/10.1007/bfb0091895openalex-snapshot
Inductive definitions and subsystems of analysis
inferredcites →https://doi.org/10.1016/s0049-237x(08)70761-4openalex-snapshot
Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
inferredcites →https://doi.org/10.1016/s0049-237x(08)70769-9openalex-snapshot
Iterated Inductive Definitions and Σ21-AC
inferredcites →https://doi.org/10.1016/s0049-237x(08)71126-1openalex-snapshot
Theories of Finite Type Related to Mathematical Practice
inferredcites →https://doi.org/10.1080/01445348008837006openalex-snapshot
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
inferredcites →https://doi.org/10.1112/blms/5.3.342openalex-snapshot
Bertrand Russell, as Mathematician
inferredcites →https://doi.org/10.1515/9783110875560-003openalex-snapshot
BEMERKUNGEN ZU LORENZEN'S STELLUNGNAHME IN DER PHILOSOPHIE DER MATHEMATIK
inferredcites →https://doi.org/10.1515/9783110875560-008openalex-snapshot
A MORE PERSPICUOUS FORMAL SYSTEM FOR PREDICATIVITY
inferredcites →https://doi.org/10.1515/9783112451144openalex-snapshot
Das Kontinuum
inferredcites →https://doi.org/10.1515/crll.1887.101.337openalex-snapshot
Ueber den Zahlbegriff.
inferredcites →https://doi.org/10.2307/2269764openalex-snapshot
Systems of predicative analysis
inferredcites →https://doi.org/10.2307/2270132openalex-snapshot
Functionals defined by transfinite recursion
inferredcites →https://doi.org/10.2307/2270324openalex-snapshot
A survey of proof theory
inferredcites →https://doi.org/10.2307/j.ctt130hk3wopenalex-snapshot
Two Applications of Logic to Mathematics
inferredcites →https://doi.org/10.4064/fm-25-1-136-146openalex-snapshot
Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-18170-9_179openalex-snapshot
Relative konsistenz
inferred← citeshttps://doi.org/10.1007/978-1-4020-8926-8_19openalex-snapshot
Beyond Hilbert’s Reach?
inferred← citeshttps://doi.org/10.1007/978-94-009-2476-5_12openalex-snapshot
Reflections on Hilbert’s Program
inferred← citeshttps://doi.org/10.1007/978-94-011-5690-5_11openalex-snapshot
Aspects of Mathematical Experience
inferred← citeshttps://doi.org/10.1007/978-94-017-2796-9_5openalex-snapshot
Toward Finitist Proof Theory
inferred← citeshttps://doi.org/10.1007/bf00485379openalex-snapshot
Relative consistency and accessible domains
inferred← citeshttps://doi.org/10.1007/s40961-016-0089-zopenalex-snapshot
A Pluralist Foundation of the Mathematics of the First Half of the Twentieth Century
inferred← citeshttps://doi.org/10.1017/s0022481200028292openalex-snapshot
Hilbert's program sixty years later
inferred← citeshttps://doi.org/10.1023/a:1026287119565openalex-snapshot
Hilbert's Program Revisited
inferred← citeshttps://doi.org/10.2307/2275269openalex-snapshot
Hilbert's program and the omega-rule
inferred← citeshttps://doi.org/10.2307/421139openalex-snapshot
Hilbert's Programs: 1917–1922
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.