On a class of topological spaces with a Scott sentence
From MaRDI portal
Publication:3812221
DOI10.4064/fm-129-2-69-81zbMath0662.03029MaRDI QIDQ3812221
Publication date: 1988
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211672
54E35: Metric spaces, metrizability
54F05: Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
54D10: Lower separation axioms ((T_0)--(T_3), etc.)
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory