Saturated models of universal theories

Annals of Pure and Applied Logic 118 (3):219-234 (2002)
Abstract
A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/S0168-0072(02)00030-1
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,248
Through your library
References found in this work BETA
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Notes on Polynomially Bounded Arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
Fragments of Arithmetic.Wilfried Sieg - 1983 - Annals of Pure and Applied Logic 28 (1):33-71.

View all 16 references / Add more references

Citations of this work BETA
Forcing in Proof Theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Preservation Theorems for Bounded Formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
Local Induction and Provably Total Computable Functions.Andrés Cordón-Franco & F. Lara-martín - 2014 - Annals of Pure and Applied Logic 165 (9):1429-1444.

Add more citations

Similar books and articles
The Cognitive Structure of Scientific Theories.Ronald N. Giere - 1994 - Philosophy of Science 61 (2):276-296.
1-Based Theories — the Main Gap for a -Models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
A Model-Theoretic Approach to Ordinal Analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.
Forcing in Proof Theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Added to PP index
2009-01-28

Total downloads
24 ( #216,100 of 2,192,221 )

Recent downloads (6 months)
1 ( #289,802 of 2,192,221 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature