Applications of elementary submodels in general topology

Synthese 133 (1-2):31 - 41 (2002)
  Copy   BIBTEX

Abstract

Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangelskii concerning cardinal invariants of compact spaces.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1020819407308

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

U-monad topologies of hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.
Cauchy completeness in elementary logic.J. C. Cifuentes, A. M. Sette & D. Mundici - 1996 - Journal of Symbolic Logic 61 (4):1153-1157.
A rank for the class of elementary submodels of a superstable homogeneous model.Tapani Hyttinen & Olivier Lessmann - 2002 - Journal of Symbolic Logic 67 (4):1469-1482.
Main gap for locally saturated elementary submodels of a homogeneous structure.Tapani Hyttinen & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (3):1286-1302.
The real line in elementary submodels of set theory.Kenneth Kunen & Franklin D. Tall - 2000 - Journal of Symbolic Logic 65 (2):683-691.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Zeeman-göbel topologies.Adrian Heathcote - 1988 - British Journal for the Philosophy of Science 39 (2):247-261.

Analytics

Added to PP
2009-01-28

Downloads
77 (#211,913)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Infinite combinatorics plain and simple.Dániel T. Soukup & Lajos Soukup - 2018 - Journal of Symbolic Logic 83 (3):1247-1281.

Add more citations

References found in this work

[Omnibus Review].Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.
On the weak Freese–Nation property of ?(ω).Sakaé Fuchino, Stefan Geschke & Lajos Soukupe - 2001 - Archive for Mathematical Logic 40 (6):425-435.

Add more references