𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Special Model Axiom in Nonstandard Set Theory

✍ Scribed by Vladimir Kanovei; Michael Reeken

Book ID
102942658
Publisher
John Wiley and Sons
Year
1999
Tongue
English
Weight
874 KB
Volume
45
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 /+saturated model of PA for a given cardinal 6.

πŸ“œ SIMILAR VOLUMES

The union axiom in zermelo set theory
The union axiom in zermelo set theory
✍ Carlos G. GonzΓ‘lez πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 185 KB πŸ‘ 1 views
On the axiom of extensionality in the po
On the axiom of extensionality in the positive set theory
✍ Olivier Esser πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 102 KB πŸ‘ 1 views

## Abstract This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set th