✦ LIBER ✦

Generalizing realizability and Heyting models for constructive set theory

✍ Scribed by Albert Ziegler

Book ID: 113459224
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 236 KB
Volume: 163
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2011.06.025

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive and Classical Models for Re

Constructive and Classical Models for Results in Economics and Game Theory

✍ Kislaya Prasad 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

Realization of constructive set theory i

Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe

✍ Sergei Tupailo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 302 KB

We deÿne a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The ÿnal results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T0, thus providing relative lower bounds for the proof-theoretic strength of the latter.

Elementary Equivalence and Constructible

Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory

✍ R. H. Cowen 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 402 KB 👁 1 views

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

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.