✦ LIBER ✦

Saturated models of incomplete theories

✍ Scribed by Fittler, Robert

Publisher: Springer-Verlag
Year: 1974
Weight: 757 KB
Volume: 16
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02025113

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Saturated models of intuitionistic theor

Saturated models of intuitionistic theories

✍ Carsten Butz 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 411 KB

Saturated models of universal theories

✍ Jeremy Avigad 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 159 KB

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

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

Models of Horn theories revisited

✍ Jiří Rosický 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 331 KB

Countable models of superstable theories

✍ E. R. Baisalov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 962 KB

Tiny models of categorical theories

✍ M. C. Laskowski; A. Pillay; P. Rothmaler 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 707 KB