scientific article; zbMATH DE number 3619862
algebraic structurescompletely regulardecidablediscrete spacesfirst-order propertiesHausdorff spacesinfinitary languagelattice of closed subsetsmetric spacesone-point compactificationsring of continuous real-valued functionstopological spacestrue second order arithmeticunit interval
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) General logic (03B99) Other infinitary logic (03C75) Rings and algebras of continuous, differentiable or analytic functions (46E25) Generalities in topology (54A99) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Metric spaces, metrizability (54E35) Connections of general topology with other structures, applications (54H99)
- The undecidability of the lattice of r. e. closed subsets of an effective topological space
- Nonstandard hulls of Banach spaces
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Model-Theoretic Characterizations of Arcs and Simple Closed Curves
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- Base-free formulas in the lattice-theoretic study of compacta
- Decidable theories of non-projectable l-groups of continuous functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182482)
