The road to two theorems of logic

DOI10.1007/S11229-008-9353-3MaRDI QIDQ1024115zbMATHOpenAlexFDO

Authors J. Martínez

Publication date 16 June 2009

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-008-9353-3

zbMATH Keywords

Beth's definability theoremHerbrand-Gentzen theoreminterpolation for first-order logiclinear reasoningrecursive axiomatizabilityRobinson's joint consistency theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Interpolation, preservation, definability (03C40)

Recommendations

• Bases for first-order theories and subtheories
• Harmonious logic: Craig's interpolation theorem and its descendants
• scientific article; zbMATH DE number 3935021
• scientific article; zbMATH DE number 31602
• Most general first order theorems are not recursively enumerable

Cites work

• scientific article; zbMATH DE number 3124826 (Why is no real title available?)
• scientific article; zbMATH DE number 3074067 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Bases for first-order theories and subtheories
• Finite Axiomatizability using additional predicates
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On axiomatizability within a system
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Untersuchungen über das logische Schliessen. I

Cited in

(6)

• Craig interpolation with clausal first-order tableaux
• Two roads to the successor axiom
• Beth definability, interpolation and language splitting
• Two kinds of unexpected problems in writings on logic
• Range-restricted and Horn interpolation through clausal tableaux
• Progression of decomposed local-effect action theories

This page was built for publication: The road to two theorems of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024115)