×

zbMATH — the first resource for mathematics

Monadic theory of order and topology in ZFC. (English) Zbl 0516.03007

MSC:
03B25 Decidability of theories and sets of sentences
03C85 Second- and higher-order model theory
03E15 Descriptive set theory
54A05 Topological spaces and generalizations (closure spaces, etc.)
PDF BibTeX XML Cite
Full Text: DOI