On the public citation graph

Beweistheoretische Untersuchung der verzweigten Analysis

https://doi.org/10.1007/bf01343554
0 signed · 19 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/bf01342849openalex-snapshot
Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
inferredcites →https://doi.org/10.2307/2266681openalex-snapshot
Algebraische und logistische Untersuchungen über freie Verbände

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.19690150103openalex-snapshot
Mathematical induction in ramified type theory
inferred← citeshttps://doi.org/10.1007/978-3-030-49424-7_1openalex-snapshot
“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
inferred← citeshttps://doi.org/10.1007/978-3-319-10103-3_8openalex-snapshot
Gentzen’s Original Consistency Proof and the Bar Theorem
inferred← citeshttps://doi.org/10.1007/978-94-010-1129-7_1openalex-snapshot
The Problem of Universals Then and Now
inferred← citeshttps://doi.org/10.1007/bf01343133openalex-snapshot
Zur Widerspruchsfreiheit einer typenfreien Logik
inferred← citeshttps://doi.org/10.1007/bfb0079543openalex-snapshot
Verzeichnis der Publikationen von Kurt Schütte
inferred← citeshttps://doi.org/10.1016/0168-0072(88)90055-3openalex-snapshot
Proof-theoretical analysis: weak systems of functions and classes
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70338-0openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70768-7openalex-snapshot
Herbrand-Style Consistency Proofs
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71863-9openalex-snapshot
Chapter XXIII The Formalization of Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70009-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00116-4openalex-snapshot
A predicative and decidable characterization of the polynomial classes of languages
inferred← citeshttps://doi.org/10.1080/01445340.2024.2439683openalex-snapshot
An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
inferred← citeshttps://doi.org/10.1093/philmat/nkaf018openalex-snapshot
Charles Parsons April 13, 1933 – April 19, 2024
inferred← citeshttps://doi.org/10.2307/2267732openalex-snapshot
The formalization of mathematics
inferred← citeshttps://doi.org/10.2307/2964396openalex-snapshot
Mathematical significance of consistency proofs
inferred← citeshttps://doi.org/10.5281/zenodo.202326openalex-snapshot
FIGURE 7 in Three Pseudocerotidae species (Platyhelminthes, Polycladida, Cotylea) from the Argentinean coast
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.