𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Substandard models of finite set theory

✍ Scribed by Laurence Kirby

Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
152 KB
Volume
56
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 countably many isomorphic submodels of V~Ο‰~ (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ 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 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.

PARAMETRIC FAMILIES OF REDUCED FINITE EL
PARAMETRIC FAMILIES OF REDUCED FINITE ELEMENT MODELS. THEORY AND APPLICATIONS
✍ Etienne BalmΓ¨s πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 247 KB

Model updating, structural optimisation and non-linear predictions are applications using families of models with varying properties. As full order model evaluations are too costly to be performed repeatedly, the possibility of using a constant basis of Ritz vectors to create parametric families of