𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A finite approximation to models of set theory

✍ Scribed by Paul Weingartner

Publisher
Springer Netherlands
Year
1975
Tongue
English
Weight
730 KB
Volume
34
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Substandard models of finite set theory
Substandard models of finite set theory
✍ Laurence Kirby πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 152 KB

## Abstract A survey of the isomorphic submodels of __V__~Ο‰~, the set of hereditarily finite sets. In the usual language of set theory, __V__~Ο‰~ has 2^β„΅^0 isomorphic submodels. But other set‐theoretic languages give different systems of submodels. For example, the language of adjunction allows only

Models for a paraconsistent set theory
Models for a paraconsistent set theory
✍ Thierry Libert πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 269 KB

In this paper the existence of natural models for a paraconsistent version of naive set theory is discussed. These stand apart from the previous attempts due to the presence of some non-monotonic ingredients in the comprehension scheme they fulfill. Particularly, it is proved here that allowing the

A Hierarchy of Models for Skala's Set Th
A Hierarchy of Models for Skala's Set Theory
✍ Martin KΓΌhnrich; Konrad Schultz πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 288 KB πŸ‘ 1 views

has proposed a new axiomatic set theory, see [5], [4], and [3]. The nonlogical axioms of this theory are as follows: A2. Existence of a greatest lower set (gls A(%)):

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.