The road to two theorems of logic

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

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

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

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
• Craig interpolation with clausal first-order tableaux
• Two roads to the successor axiom
• Progression of decomposed local-effect action theories
• Range-restricted and Horn interpolation through clausal tableaux
• Two kinds of unexpected problems in writings on logic

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)