On the public citation graph

What does logic have to tell us about mathematical proofs?

https://doi.org/10.1007/bf03024381
0 signed · 43 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.1002/cpa.3160220202openalex-snapshot
Decision procedures for real and p‐adic fields
inferredcites →https://doi.org/10.1007/978-1-4757-4385-2openalex-snapshot
A Course in Mathematical Logic
inferredcites →https://doi.org/10.1007/bf03023063openalex-snapshot
Colouring problems
inferredcites →https://doi.org/10.1007/bfb0060623openalex-snapshot
The mathematical language AUTOMATH, its usage, and some of its extensions
inferredcites →https://doi.org/10.1007/bfb0062852openalex-snapshot
A language and axioms for explicit mathematics
inferredcites →https://doi.org/10.1016/s0003-4843(77)80003-xopenalex-snapshot
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)70849-8openalex-snapshot
Ideas and Results in Proof Theory
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.1016/s0049-237x(08)x7039-9openalex-snapshot
The Collected Papers of Gerhard Gentzen
inferredcites →https://doi.org/10.1017/s0022481200051604openalex-snapshot
An introduction to recursively saturated and resplendent models
inferredcites →https://doi.org/10.1090/pspum/028.1/0434781openalex-snapshot
What have we learnt from Hilbert’s second problem?
inferredcites →https://doi.org/10.1090/pspum/028.2/0432534openalex-snapshot
Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution
inferredcites →https://doi.org/10.1090/s0002-9904-1970-12455-7openalex-snapshot
Book Review: Foundations of constructive analysis
inferredcites →https://doi.org/10.1515/9781400882007openalex-snapshot
Theory of Formal Systems. (AM-47)
inferredcites →https://doi.org/10.2307/1971023openalex-snapshot
Set Theoretic Foundations for Constructive Analysis
inferredcites →https://doi.org/10.2307/1971266openalex-snapshot
The Algebraic Structure of the Representations of Semisimple Lie Groups I
inferredcites →https://doi.org/10.2307/2272159openalex-snapshot
Constructive set theory
inferredcites →https://doi.org/10.2307/2272500openalex-snapshot
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87…
inferredcites →https://doi.org/10.2307/2274155openalex-snapshot
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165…
inferredcites →https://doi.org/10.2307/2314383openalex-snapshot
Foundations of Constructive Analysis.
inferredcites →https://doi.org/10.2307/2373065openalex-snapshot
Diophantine Problems Over Local Fields I
inferredcites →https://doi.org/10.2307/2964396openalex-snapshot
Mathematical significance of consistency proofs
inferredcites →https://doi.org/10.5860/choice.46-2143openalex-snapshot
A course on mathematical logic

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-0-8176-8268-2_14openalex-snapshot
Famous Problems in Mathematics
inferred← citeshttps://doi.org/10.1007/978-0-8176-8268-2_7openalex-snapshot
Highlights in the Practice of Proof: 1600 BC–2009
inferred← citeshttps://doi.org/10.1007/978-1-4939-3264-1_10openalex-snapshot
Philosophy of Mathematics: From Hilbert to Gödel
inferred← citeshttps://doi.org/10.1007/978-3-030-15655-8_14openalex-snapshot
Formal and Natural Proof: A Phenomenological Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3openalex-snapshot
Feferman on Foundations - Logic, Mathematics, Philosophy
inferred← citeshttps://doi.org/10.1007/978-94-011-2496-6_5openalex-snapshot
Working Foundations - ’ 91
inferred← citeshttps://doi.org/10.1007/978-94-015-9558-2_12openalex-snapshot
The Growth of Mathematical Knowledge: An Open World View
inferred← citeshttps://doi.org/10.1007/bf00486048openalex-snapshot
Working foundations
inferred← citeshttps://doi.org/10.1007/s10614-018-9810-0openalex-snapshot
Proofs and Predictions in Human Problem Solving
inferred← citeshttps://doi.org/10.1007/s11229-011-9985-6openalex-snapshot
And so on . . . : reasoning with infinite diagrams
inferred← citeshttps://doi.org/10.1017/s1755020317000326openalex-snapshot
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
inferred← citeshttps://doi.org/10.1023/a:1020537107897openalex-snapshot
Hilbert's Twenty-Fourth Problem
inferred← citeshttps://doi.org/10.1057/9780230245198_13openalex-snapshot
On Formal and Informal Provability
inferred← citeshttps://doi.org/10.1080/00029890.2003.11919933openalex-snapshot
Hilbert's Twenty-Fourth Problem
inferred← citeshttps://doi.org/10.1080/0025570x.1991.11977625openalex-snapshot
Rigor and Proof in Mathematics: A Historical Perspective
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1978.2.192475openalex-snapshot
The Logic of Mathematical Discovery Vs. the Logical Structure of Mathematics
inferred← citeshttps://doi.org/10.1093/philmat/nkm023openalex-snapshot
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
inferred← citeshttps://doi.org/10.1098/rsta.2018.0279openalex-snapshot
Reshaping the metaphor of proof
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1998.tb00188.xopenalex-snapshot
The scope of logic: deduction, abduction, analogy
inferred← citeshttps://doi.org/10.2178/jsl/1190150149openalex-snapshot
The lazy logic of partial terms
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.