𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A CLASS OF MODELS FOR SKALA'S SET THEORY

✍ Scribed by Antonio Greco

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
215 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

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

πŸ“œ SIMILAR VOLUMES

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 Three-Valued Model for Set Theory
A Three-Valued Model for Set Theory
✍ Alan Rose πŸ“‚ Article πŸ“… 1978 πŸ› John Wiley and Sons 🌐 English βš– 259 KB πŸ‘ 1 views
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