𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonstandard analysis and axiom of determinateness

✍ Scribed by N. V. Belyakin; S. P. Odintsov

Book ID
105519108
Publisher
Springer US
Year
1993
Tongue
English
Weight
375 KB
Volume
32
Category
Article
ISSN
0002-5232

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 /+

A set of axioms for nonstandard extensio
A set of axioms for nonstandard extensions
✍ Abhijit Dasgupta πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 127 KB

We give an axiomatic characterization for complete elementary extensions, that is, elementary extensions of the first-order structure consisting of all finitary relations and functions on the underlying set. Such axiom systems have been studied using various types of primitive notions (e.g., [1,3,6]