✦ LIBER ✦
Erratum to “Saturated models of universal theories”: [Ann. Pure Appl. Logic 118 (2002) 219–234]
✍ Scribed by Jeremy Avigad
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 26 KB
- Volume
- 121
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
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 inconvenience.