The road to two theorems of logic
type: Item
instance of: scholarly article
title: The road to two theorems of logic
zbMATH Open document ID: 1171.03017
author: J. Martínez
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 5565216
zbMATH Keywords: recursive axiomatizability
zbMATH Keywords: interpolation for first-order logic
zbMATH Keywords: Robinson's joint consistency theorem
zbMATH Keywords: Beth's definability theorem
zbMATH Keywords: linear reasoning
zbMATH Keywords: Herbrand-Gentzen theorem
MaRDI profile type: Publication
full work available at URL: s11229-008-9353-3
OpenAlex ID: W1980769098
cites work: Q5824680
cites work: On axiomatizability within a system
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Bases for first-order theories and subtheories
cites work: Finite Axiomatizability using additional predicates
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q5813180
cites work: Q3240238
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
DOI: 10.1007/S11229-008-9353-3
description: scientific article; zbMATH DE number 5565216