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