The road to two theorems of logic

DOI10.1007/s11229-008-9353-3zbMath1171.03017OpenAlexW1980769098MaRDI QIDQ1024115

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)

Related Items (3)

Progression of Decomposed Local-Effect Action Theories ⋮ Craig interpolation with clausal first-order tableaux ⋮ Beth definability, interpolation and language splitting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Finite Axiomatizability using additional predicates
• Bases for first-order theories and subtheories
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On axiomatizability within a system

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