The road to two theorems of logic

DOI10.1007/S11229-008-9353-3zbMATH Open1171.03017OpenAlexW1980769098MaRDI QIDQ1024115FDOQ1024115

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)

Cites Work

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

Cited In (6)

• Beth definability, interpolation and language splitting
• Progression of Decomposed Local-Effect Action Theories
• Craig interpolation with clausal first-order tableaux
• Two roads to the successor axiom
• Range-restricted and Horn interpolation through clausal tableaux
• Two kinds of unexpected problems in writings on logic

   Recommendations

• Bases for first-order theories and subtheories 👍 👎
• Harmonious logic: Craig's interpolation theorem and its descendants 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Most general first order theorems are not recursively enumerable 👍 👎

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)