𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Generator Classes in Set Theory

✍ Scribed by P. Vopênka; B. Balcar

Publisher
John Wiley and Sons
Year
1967
Tongue
English
Weight
146 KB
Volume
13
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A CLASS OF MODELS FOR SKALA'S SET THEORY
A CLASS OF MODELS FOR SKALA'S SET THEORY
✍ Antonio Greco 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB 👁 1 views

## Abstract For each ordinal α it is given a model for Skala's set theory using the well‐known cumulative type hierarchy.

SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FO
SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES
✍ Gregory L. McColm 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 367 KB

## Abstract It is known that for two given countable sets of unary relations __A__ and __B__ on ω there exists an infinite set __H__ ⫅ ω on which __A__ and __B__ are the same. This result can be used to generate counterexamples in expressibility theory. We examine the sharpness of this result.

The natural numbers in constructive set
The natural numbers in constructive set theory
✍ Michael Rathjen 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB 👁 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various