𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relative Consistency of a Set Theory with Hyperclasses

✍ Scribed by Juergen Quandt

Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
294 KB
Volume
33
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Consistency of a set of chemical reactio
Consistency of a set of chemical reactions
✍ P. Oliver πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 338 KB

## Abstract It is a useful feature of many general chemical kinetics programs that the user's reaction scheme is tested as far as possible before a calculation is started. Attempts are made to answer the question: How far can a reaction scheme be tested for consistency, with respect to mass conserv

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

On a positive set theory with inequality
On a positive set theory with inequality
✍ Giacomo Lenzi πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 95 KB

We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 (SF2 ), a sort of simplification of the theory considered in [13] (under the name Strong-Frege-3) and [1] (under the name F2). We give a model of a weaker variant of SF2 , called SF2 AC, where atoms and coatoms are all