Topological and Nonstandard Extensions
โ Scribed by Mauro Di Nasso; Marco Forti
- Publisher
- Springer Vienna
- Year
- 2004
- Tongue
- English
- Weight
- 192 KB
- Volume
- 144
- Category
- Article
- ISSN
- 0026-9255
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Introduction. The question of when a proximity is induced by a containing topological space had been raised by RIESZ in 1908 and answered by SMIRNOV in 1952. The analogous question concerning the more general Lodato proximities was studied by LODATO and GAGRAT and NAIMPALLY and was answered by THRO
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]