𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Kalmar's consistency proof and a generalization of the notion of ω-consistency

✍ Scribed by Boolos, George S.

Publisher
Springer-Verlag
Year
1975
Weight
363 KB
Volume
17
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Consistency of a Positive Theory
On the Consistency of a Positive Theory
✍ Olivier Esser 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 735 KB

## Abstract In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK~∞~^+^. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK~∞~^+^ interprets the Kelley Morse class theory. Here we

A theorem on the consistency of circumsc
A theorem on the consistency of circumscription
✍ Peter L. Mott 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 536 KB

This paper giw's more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applicat

On the consistency of a three-valued log
On the consistency of a three-valued logical calculus
✍ D. A. Bochvar 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 866 KB

The present paper contains an investigation of a three-valued logical calculus (the ~ system) previously described by the author [RecueHMathdmatique 4 (46), 2 (1938)1. A constructive consistence proof is given for a part of this calculus rendering the results previously published concerning the Rus