𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Saturated models of universal theories

✍ Scribed by Jeremy Avigad

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
159 KB
Volume
118
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

✦ Synopsis

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 ΓΏnitary but retains the semantic avor of the model-theoretic version.

πŸ“œ SIMILAR VOLUMES

Erratum to β€œSaturated models of universa
Erratum to β€œSaturated models of universal theories”: [Ann. Pure Appl. Logic 118 (2002) 219–234]
✍ Jeremy Avigad πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 26 KB

Due to an error in typesetting, the phrase 'propositional logic' has been changed to 'prepositional logic' in Section 2 (p. 221 and 222). In the proof of Lemma 6.1, the phrase 'propositional proof' has erroneously been changed to 'prepositional proof ' (p. 232). The publisher apologises for any in