Saturated models of universal theories

https://doi.org/10.1016/S0168-0072(02)00030-1Get rights and content
Under an Elsevier user license
open archive

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.

MSC

03F25
03C50

Keywords

Conservation theorems
Herbrand analysis
Saturation

Cited by (0)