## Saturated models of universal theories

by
Jeremy Avigad

Venue: | Annals of Pure and Applied Logic |

Citations: | 7 - 3 self |

### BibTeX

@ARTICLE{Avigad_saturatedmodels,

author = {Jeremy Avigad},

title = {Saturated models of universal theories},

journal = {Annals of Pure and Applied Logic},

year = {},

volume = {118},

pages = {2002}

}

### OpenURL

### Abstract

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. 1