✦ LIBER ✦

A nonstandard set theory in the(displaystylein)-language

✍ Scribed by Vladimir Kanovei; Michael Reeken

Book ID: 105842599
Publisher: Springer
Year: 2000
Tongue: English
Weight: 130 KB
Volume: 39
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530050155

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Model Axiom in Nonstandard Set T

Special Model Axiom in Nonstandard Set Theory

✍ Vladimir Kanovei; Michael Reeken 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 874 KB

We demonstrate that the special model axiom SMA of Ross admits a natural formalization in Kawdi's nonstandard set theory KST but is independent of KST. As an application of our methods to classical model theory, we present a short proof of the consistency (with ZFC) of the existence of a IC+ like /+

Model Approach to Nonstandard Analysis i

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory

✍ I. V. Yakovlev 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 142 KB

Transfer from deducibility in the classi

Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings

✍ V. A. Lyubetskii 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 1007 KB

A Nonstandard Delta Function in a Predic

A Nonstandard Delta Function in a Predicative Theory

✍ Peter Zahn 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB

## Abstract In [1] Todorov has shown by means of axiomatic set theory that there exists a nonstandard function Δ: \*ℝ^__n__^ → \* ℂ such that for all continuous functions φ: ℝ^__n__^ → ℂ, equation image . Here \*ℝ and \*ℂ are the set of the nonstandard real numbers and the set of the nonstandard

Bounds in the theory of polynomial rings

Bounds in the theory of polynomial rings over fields. A nonstandard approach

✍ L. van den Dries; K. Schmidt 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 English ⚖ 809 KB

Set-theory in 1888

✍ A. F. Monna 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 230 KB