On the public citation graph
Lectures on proof theory
0 signed · 121 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4757-1705-1_42openalex-snapshot
Foundations of algebraic geometry (Introduction)
inferredcites →https://doi.org/10.1007/978-3-658-34172-5_2openalex-snapshot
Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01396685openalex-snapshot
Untersuchungen zur mehrsortigen Quantorenlogik
inferredcites →https://doi.org/10.1007/bf01470747openalex-snapshot
Der Interpolationssatz der intuitionistischen Prädikatenlogik
inferredcites →https://doi.org/10.1007/bf01564760openalex-snapshot
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
inferredcites →https://doi.org/10.1007/bf01565428openalex-snapshot
Die Widerspruchsfreiheit der reinen Zahlentheorie
inferredcites →https://doi.org/10.1007/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bf01972460openalex-snapshot
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
inferredcites →https://doi.org/10.1007/bfb0079103openalex-snapshot
The Π 1 1 -comprehension schema and ω-rules
inferredcites →https://doi.org/10.1007/bfb0079691openalex-snapshot
Normal derivability in classical logic
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1016/s0049-237x(08)71190-xopenalex-snapshot
Autonomous Transfinite Progressions and the Extent of Predicative Mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7020-xopenalex-snapshot
Introduction to Model Theory and to the Metamathematics of Algebra
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7021-1openalex-snapshot
Languages with Expressions of Infinite Length
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7085-5openalex-snapshot
Formal Systems and Recursive Functions
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7088-0openalex-snapshot
Elements of Mathematical Logic - (Model Theory)
inferredcites →https://doi.org/10.1016/s0049-237x(09)70462-8openalex-snapshot
The Classical and The ω-Complete Arithmetic
inferredcites →https://doi.org/10.1016/s1385-7258(53)50042-3openalex-snapshot
On Padoa’s Method in the Theory of Definition
inferredcites →https://doi.org/10.1016/s1385-7258(54)50058-2openalex-snapshot
Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and Decidability
inferredcites →https://doi.org/10.1016/s1385-7258(54)50074-0openalex-snapshot
Contributions to the Theory of Models. I
inferredcites →https://doi.org/10.1016/s1385-7258(61)50048-0openalex-snapshot
Ultraproducts and elementary classes
inferredcites →https://doi.org/10.1090/memo/0057openalex-snapshot
A hierarchy of formulas in set theory
inferredcites →https://doi.org/10.1090/s0002-9904-1966-11507-0openalex-snapshot
Persistent and invariant formulas relative to theories of higher order
inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01464.xopenalex-snapshot
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes
inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot
An Introduction to Mathematical Logic
inferredcites →https://doi.org/10.2140/pjm.1959.9.129openalex-snapshot
An interpolation theorem in the predicate calculus
inferredcites →https://doi.org/10.2307/1970235openalex-snapshot
Ultraproducts in the Theory of Models
inferredcites →https://doi.org/10.2307/1970691openalex-snapshot
Consistency Proofs of Subsystems of Classical Analysis
inferredcites →https://doi.org/10.2307/2266681openalex-snapshot
Algebraische und logistische Untersuchungen über freie Verbände
inferredcites →https://doi.org/10.2307/2268420openalex-snapshot
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
inferredcites →https://doi.org/10.2307/2269622openalex-snapshot
Some applications of infinitely long formulas
inferredcites →https://doi.org/10.2307/2269789openalex-snapshot
Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
inferredcites →https://doi.org/10.2307/2269866openalex-snapshot
Systems of predicative analysis, II: Representations of ordinals
inferredcites →https://doi.org/10.2307/2270330openalex-snapshot
Implicit definability and infinitary languages
inferredcites →https://doi.org/10.2307/2270771openalex-snapshot
Remarks on an infinitary language with constructive formulas
inferredcites →https://doi.org/10.2307/2271066openalex-snapshot
An extension of the Craig-Lyndon interpolation theorem
inferredcites →https://doi.org/10.2307/2314842openalex-snapshot
Languages with Expressions of Infinite Length.
inferredcites →https://doi.org/10.2307/2963593openalex-snapshot
Linear reasoning. A new form of the Herbrand-Gentzen theorem
inferredcites →https://doi.org/10.2307/2963594openalex-snapshot
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
inferredcites →https://doi.org/10.2307/2964333openalex-snapshot
Theory of models with generalized atomic formulas
inferredcites →https://doi.org/10.2307/2964398openalex-snapshot
The classical and the ω-complete arithmetic
inferredcites →https://doi.org/10.4064/fm-42-2-343-347openalex-snapshot
On the extending of models (II)
inferredcites →https://doi.org/10.4064/fm-57-3-253-272openalex-snapshot
An interpolation theorem for denumerably long formulas
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.19750210113openalex-snapshot
Truth in all of certain well‐founded countable models arising in set theory
inferred← citeshttps://doi.org/10.1002/malq.19820281302openalex-snapshot
Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator
inferred← citeshttps://doi.org/10.1007/3-540-58140-5_28openalex-snapshot
On specialization of derivations in axiomatic equality theories
inferred← citeshttps://doi.org/10.1007/3-540-63246-8_6openalex-snapshot
An interpretive isomorphism between binary and ternary relations
inferred← citeshttps://doi.org/10.1007/978-3-030-30229-0_13openalex-snapshot
Well-Partial Orderings and their Maximal Order Types
inferred← citeshttps://doi.org/10.1007/978-3-030-71258-7_12openalex-snapshot
Geometric Rules in Infinitary Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-18362-6_2openalex-snapshot
Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
inferred← citeshttps://doi.org/10.1007/978-3-319-29198-7_8openalex-snapshot
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_1openalex-snapshot
From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-02734-5_5openalex-snapshot
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-39071-5_13openalex-snapshot
Exploiting the Power of mip Solvers in maxsat
inferred← citeshttps://doi.org/10.1007/978-94-009-7066-3_1openalex-snapshot
Elementary Predicate Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-9833-0_1openalex-snapshot
Elementary Predicate Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-2612-2_6openalex-snapshot
A Straightforward Proof of Köbler-Messner’s Result
inferred← citeshttps://doi.org/10.1007/bf00485075openalex-snapshot
The old and the new logic of metascience
inferred← citeshttps://doi.org/10.1007/bf01620764openalex-snapshot
Cut-elimination and interpolation for Ω-logic
inferred← citeshttps://doi.org/10.1007/bf01974148openalex-snapshot
Mehrsortige logische Systeme mit unendlich langen Formeln I
inferred← citeshttps://doi.org/10.1007/bf02276803openalex-snapshot
On interpolation when function symbols are present
inferred← citeshttps://doi.org/10.1007/bfb0028010openalex-snapshot
Linear lower bounds and simulations in frege systems with substitutions
inferred← citeshttps://doi.org/10.1007/bfb0028583openalex-snapshot
Optimal proof systems for propositional logic and complete sets
inferred← citeshttps://doi.org/10.1007/bfb0064871openalex-snapshot
The use of abstract language in elementary metamathematics: Some pedagogic examples
inferred← citeshttps://doi.org/10.1007/bfb0066793openalex-snapshot
A preservation theorem for interpretations
inferred← citeshttps://doi.org/10.1007/bfb0066794openalex-snapshot
Vaught sentences and Lindström's regular relations
inferred← citeshttps://doi.org/10.1007/bfb0079423openalex-snapshot
First-order logic and its extensions
inferred← citeshttps://doi.org/10.1007/bfb0079549openalex-snapshot
Kombinatorische Konstruktionen mit Beweisen und Schnittelimination
inferred← citeshttps://doi.org/10.1007/bfb0083672openalex-snapshot
Infinitesimal calculus interpreted in infinitary logic
inferred← citeshttps://doi.org/10.1007/s00153-022-00857-zopenalex-snapshot
Glivenko sequent classes and constructive cut elimination in geometric logics
inferred← citeshttps://doi.org/10.1007/s10992-015-9375-5openalex-snapshot
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic
inferred← citeshttps://doi.org/10.1007/s11225-007-9022-4openalex-snapshot
An Institution-Independent Proof of the Robinson Consistency Theorem
inferred← citeshttps://doi.org/10.1007/s11229-008-9354-2openalex-snapshot
Harmonious logic: Craig’s interpolation theorem and its descendants
inferred← citeshttps://doi.org/10.1016/0003-4843(71)90014-3openalex-snapshot
On the elementary theory of Banach algebras
inferred← citeshttps://doi.org/10.1016/0003-4843(73)90003-xopenalex-snapshot
Boolean models and infinitary first order languages
inferred← citeshttps://doi.org/10.1016/0003-4843(78)90006-2openalex-snapshot
Model theory of topological structures
inferred← citeshttps://doi.org/10.1016/0020-0190(80)90051-4openalex-snapshot
A formal system for parallel programs in discrete time and space
inferred← citeshttps://doi.org/10.1016/0022-4049(76)90068-2openalex-snapshot
Quantifier-complete categories
inferred← citeshttps://doi.org/10.1016/j.apal.2014.06.001openalex-snapshot
Some supplements to Feferman–Vaught related to the model theory of adeles
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70270-2openalex-snapshot
Finitary inductively presented logics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71190-xopenalex-snapshot
Autonomous Transfinite Progressions and the Extent of Predicative Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(98)80016-5openalex-snapshot
An Introduction to Proof Theory
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00155-4openalex-snapshot
On an optimal propositional proof system and the structure of easy subsets of TAUT
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00058-0openalex-snapshot
Optimal proof systems imply complete sets for promise classes
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00149-5openalex-snapshot
Correct Answers for First Order Logic
inferred← citeshttps://doi.org/10.1017/s0022481200028000openalex-snapshot
On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes
inferred← citeshttps://doi.org/10.1017/s0022481200065518openalex-snapshot
Scott's interpolation theorem fails for Lω1, ω
inferred← citeshttps://doi.org/10.1017/s0960129514000048openalex-snapshot
Embedding theorems for LTL and its variants
inferred← citeshttps://doi.org/10.1080/03081078608934951openalex-snapshot
A NOTE ON STRUCTURAL INFERENCE IN SYSTEMS THEORY
inferred← citeshttps://doi.org/10.1090/s0002-9904-1973-13258-6openalex-snapshot
Global definability theory in 𝐿_{𝜔₁𝜔}
inferred← citeshttps://doi.org/10.1090/s0002-9947-1973-0446962-6openalex-snapshot
Logic and Invariant Theory. I: Invariant Theory of Projective Properties
inferred← citeshttps://doi.org/10.1093/logcom/exz011openalex-snapshot
Towards automated reasoning in Herbrand structures
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1977.tb00778.xopenalex-snapshot
A completeness proof for an infinitary tense‐logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1022615613openalex-snapshot
Kripke Completeness of Infinitary Predicate Multimodal Logics
inferred← citeshttps://doi.org/10.13128/annali_dip_filos-11278openalex-snapshot
Annali del Dipartimento di Filosofia - contenuto non piu disponibile
inferred← citeshttps://doi.org/10.21099/tkbjm/1496158381openalex-snapshot
A note on provable well-orderings in first order systems with infinitary inference rules
inferred← citeshttps://doi.org/10.21099/tkbjm/1496162143openalex-snapshot
A metatheory of nonstandard analysis
inferred← citeshttps://doi.org/10.2307/2273550openalex-snapshot
Boolean sentence algebras: Isomorphism constructions
inferred← citeshttps://doi.org/10.2307/2274223openalex-snapshot
A note on interpretations of many-sorted theories
inferred← citeshttps://doi.org/10.2307/2274584openalex-snapshot
Coinductive formulas and a many-sorted interpolation theorem
inferred← citeshttps://doi.org/10.29007/kx2mopenalex-snapshot
Reasoning Inside The Box: Deduction in Herbrand Logics
inferred← citeshttps://doi.org/10.3792/pja/1195519396openalex-snapshot
Two theorems on mix-relativization
inferred← citeshttps://doi.org/10.4288/jafpos1956.4.85openalex-snapshot
Interpolation Theorem and Characterization Theorem
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.