Sciweavers

APAL
2002

Saturated models of universal theories

13 years 3 months ago
Saturated models of universal theories
A notion called Herbrand saturation is shown to provide the modeltheoretic 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.
Jeremy Avigad
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where APAL
Authors Jeremy Avigad
Comments (0)