✦ LIBER ✦

Non Standard Regular Finite Set Theory

✍ Scribed by Stefano Baratella; Ruggero Ferro

Publisher: John Wiley and Sons
Year: 1995
Tongue: English
Weight: 695 KB
Volume: 41
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19950410203

No coin nor oath required. For personal study only.

✦ Synopsis

We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i . e . via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST.

📜 SIMILAR VOLUMES

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

Some non-standard regularizing algorithm

Some non-standard regularizing algorithms and their numerical realization

✍ A.B. Bakushinskii; V.S. Sizkov 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 482 KB

An application of non-standard model the

An application of non-standard model theory

✍ Bruce D Smith 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 365 KB

Finite set theory and its application to

Finite set theory and its application to cryptology

✍ Cao Zhenfu 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Extensions of non-standard models of num

Extensions of non-standard models of number theory

✍ Andrew Adler 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 126 KB 👁 1 views

A Non-Standard Integration Theory for Un

A Non-Standard Integration Theory for Unbounded Functions

✍ Allen R. Bernstein 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 552 KB