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.

• Type: Journal
• Year: 2002
• Where: APAL
• Authors: Jeremy Avigad
• Keywords: APAL 2002, Important Conservation Theorems, Proof-theoretic Method, Uniform Model-theoretic Proofs