✦ LIBER ✦

Sheaf models for set theory

✍ Scribed by Michael P. Fourman

Publisher: Elsevier Science
Year: 1980
Tongue: English
Weight: 692 KB
Volume: 19
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(80)90096-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedding sheaf models for set theory in

Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator

✍ Andre Scedrov 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 469 KB

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

✍ 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.

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

Estimation theory for nonlinear models a

Estimation theory for nonlinear models and set membership uncertainty

✍ M. Milanese; A. Vicino 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 612 KB

In this paper we study the problem of estimating a given function of a vector of unknowns, called the problem element, by using measurements depending nonlinearly on the problem element and affected by unknown but bounded noise. Assuming that both the solution sought and the measurements depend poly