On the public citation graph

Relative consistency and accessible domains

0 signed · 76 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-18170-9openalex-snapshot

Computation Theory and Logic

inferredcites →https://doi.org/10.1007/978-1-4899-0548-2_9openalex-snapshot

Reductions of Theories for Analysis

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-50831-8openalex-snapshot

Gesammelte Abhandlungen

inferredcites →https://doi.org/10.1007/978-3-662-00274-2openalex-snapshot

Gesammelte Abhandlungen

inferredcites →https://doi.org/10.1007/978-3-662-07320-9_40openalex-snapshot

Gedächtnisrede auf Gustav Peter Lejeune Dirichlet

inferredcites →https://doi.org/10.1007/978-3-662-28615-9openalex-snapshot

Hilbert

inferredcites →https://doi.org/10.1007/978-3-662-38452-7_13openalex-snapshot

Die Grundlegung der elementaren Zahlenlehre

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-10149-9_3openalex-snapshot

Gesammelte mathematische Werke

inferredcites →https://doi.org/10.1007/978-3-663-14205-8openalex-snapshot

Briefwechsel mit Cantor, Dedekind, Helmholtz, Kronecker, Weierstrass und anderen

inferredcites →https://doi.org/10.1007/978-3-663-16102-8_1openalex-snapshot

Die Grundlagen der Mathematik

inferredcites →https://doi.org/10.1007/978-3-663-19573-3_1openalex-snapshot

Was sind und was sollen die Zahlen?

inferredcites →https://doi.org/10.1007/978-3-663-19573-3_2openalex-snapshot

Stetigkeit und Irrationale Zahlen

inferredcites →https://doi.org/10.1007/978-94-009-8937-5_24openalex-snapshot

‘Proof’, ‘Theory’, and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900

inferredcites →https://doi.org/10.1007/978-94-017-1592-8_10openalex-snapshot

Foundations for Analysis and Proof Theory

inferredcites →https://doi.org/10.1007/bf00485460openalex-snapshot

Foundations for analysis and proof theory

inferredcites →https://doi.org/10.1007/bf01447860openalex-snapshot

�ber Definitionsbereiche von- Funktionen

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/bf01697909openalex-snapshot

Gesammelte Abhandlungen

inferredcites →https://doi.org/10.1007/bf01699096openalex-snapshot

Gesammelte mathematische Werke

inferredcites →https://doi.org/10.1007/bf01782335openalex-snapshot

Probleme der Grundlegung der Mathematik

inferredcites →https://doi.org/10.1007/bf02940602openalex-snapshot

Die grundlagen 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/0315-0860(86)90097-2openalex-snapshot

Geschichte der Mathematik

inferredcites →https://doi.org/10.1016/s0049-237x(08)71120-0openalex-snapshot

An Introduction to Inductive Definitions

inferredcites →https://doi.org/10.1016/s0049-237x(08)71123-6openalex-snapshot

The Incompleteness Theorems

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.1017/cbo9781139237321.012openalex-snapshot

Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält

inferredcites →https://doi.org/10.1017/s0022481200028292openalex-snapshot

Hilbert's program sixty years later

inferredcites →https://doi.org/10.1017/s0022481200028309openalex-snapshot

Partial realizations of Hilbert's program

inferredcites →https://doi.org/10.1017/s0022481200028310openalex-snapshot

Hilbert's program relativized; Proof-theoretical and foundational reductions

inferredcites →https://doi.org/10.1038/136126a0openalex-snapshot

Grundlagen der Mathematik

inferredcites →https://doi.org/10.1080/00029890.1970.11992437openalex-snapshot

The Work of Nicholas Bourbaki

inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01469.xopenalex-snapshot

Hilbert's Programme

inferredcites →https://doi.org/10.1111/j.1746-8361.1970.tb01203.xopenalex-snapshot

Die schematische Korrespondenz und die idealisierten Strukturen

inferredcites →https://doi.org/10.1515/crll.1838.18.259openalex-snapshot

Sur l’usage des séries infinies dans la théorie des nombres.

inferredcites →https://doi.org/10.1515/crll.1887.101.337openalex-snapshot

Ueber den Zahlbegriff.

inferredcites →https://doi.org/10.2307/2026089openalex-snapshot

Finitism

inferredcites →https://doi.org/10.2307/2218933openalex-snapshot

Abhandlungen zur Philosophie der Mathematik.

inferredcites →https://doi.org/10.2307/2270324openalex-snapshot

A survey of proof theory

inferredcites →https://doi.org/10.2307/2271962openalex-snapshot

Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.

inferredcites →https://doi.org/10.2307/2271963openalex-snapshot

Uber den Platonismus in der Mathematik.

inferredcites →https://doi.org/10.2307/2271965openalex-snapshot

Mathematische Existenz und Widerspruchfreiheit.

inferredcites →https://doi.org/10.2307/2275028openalex-snapshot

Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken

inferredcites →https://doi.org/10.2307/3602766openalex-snapshot

Vorlesungen uber die Entwicklung der Mathematik im 19. Jahrhundert. Teil I

inferredcites →https://doi.org/10.24033/bsmf.761openalex-snapshot

Cinq lettres sur la théorie des ensembles

inferredcites →https://doi.org/10.24355/dbbs.084-200902200100-1openalex-snapshot

Was sind und was sollen die Zahlen? / von Richard Dedekind

inferredcites →https://doi.org/10.24355/dbbs.084-201303141041-0openalex-snapshot

Stetigkeit und irrationale Zahlen / von Richard Dedekind

inferredcites →https://doi.org/10.4064/fm-16-1-29-47openalex-snapshot

Über Grenzzahlen und Mengenbereiche

inferredcites →https://doi.org/10.4064/fm-25-1-136-146openalex-snapshot

Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme

inferredcites →https://doi.org/10.4153/cmb-1975-085-6openalex-snapshot

La 7e Conférence Jeffery-Williams Présentée le 7 Juin 1974 à L'université Laval à L'occasion de la 28e Réunion Annuelle de la Société Mathématique

inferredcites →https://doi.org/10.5749/9780816653058-005openalex-snapshot

The Emergence Of First-Order Logic

inferredcites →https://doi.org/10.5749/9780816653058-006openalex-snapshot

Kronecker's Place In History

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-1-4020-8926-8_19openalex-snapshot

Beyond Hilbert’s Reach?

inferred← citeshttps://doi.org/10.1007/978-88-470-0784-0_11openalex-snapshot

Proof as a Path of Light

inferred← citeshttps://doi.org/10.1007/978-94-009-1575-6_11openalex-snapshot

Kronecker’s ‘Safe Haven of Real Mathematics’

inferred← citeshttps://doi.org/10.1007/978-94-017-2796-9_5openalex-snapshot

Toward Finitist Proof Theory

inferred← citeshttps://doi.org/10.1007/s11229-004-6300-9openalex-snapshot

Dedekind’s Analysis of Number: Systems and Axioms

inferred← citeshttps://doi.org/10.1007/s11229-008-9347-1openalex-snapshot

Hilbert, logicism, and mathematical existence

inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70014-7openalex-snapshot

Gödel's Logic

inferred← citeshttps://doi.org/10.1017/s1755020311000232openalex-snapshot

DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES

inferred← citeshttps://doi.org/10.1023/a:1005632214390openalex-snapshot

Platonistic Formalism

inferred← citeshttps://doi.org/10.1023/a:1026287119565openalex-snapshot

Hilbert's Program Revisited

inferred← citeshttps://doi.org/10.1093/arisoc/aoaa017openalex-snapshot

XV—On Consistency and Existence in Mathematics

inferred← citeshttps://doi.org/10.1093/oso/9780190641221.003.0014openalex-snapshot

Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory

inferred← citeshttps://doi.org/10.1093/philmat/nks036openalex-snapshot

Axioms in Mathematical Practice

inferred← citeshttps://doi.org/10.1184/r1/6490676openalex-snapshot

"Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory

inferred← citeshttps://doi.org/10.17863/cam.15911openalex-snapshot

A defence of predicativism as a philosophy of mathematics

inferred← citeshttps://doi.org/10.2307/2275269openalex-snapshot

Hilbert's program and the omega-rule

inferred← citeshttps://doi.org/10.2307/421070openalex-snapshot

2000 Annual Meeting of the Association for Symbolic Logic

inferred← citeshttps://doi.org/10.2307/421139openalex-snapshot

Hilbert's Programs: 1917–1922

inferred← citeshttps://doi.org/10.4000/etudes-benthamiennes.7901openalex-snapshot

Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections

inferred← citeshttps://doi.org/10.4288/kisoron.39.2_93openalex-snapshot

Proof Theory as an Analysis of Impredicativity( New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals)

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.