𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Consistency of a Separator

✍ Scribed by Harper, J. P.; Rohwer, C. H.

Book ID
118140718
Publisher
Taylor and Francis Group
Year
2010
Tongue
English
Weight
182 KB
Volume
33
Category
Article
ISSN
1607-3606

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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