scientific article; zbMATH DE number 3619862

zbMath0399.03019MaRDI QIDQ4182482

C. Ward Henson, Gaisi Takeuti, Carl G. jun. Jockusch, Lee A. Rubel

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metric spacescompletely regularunit intervaltopological spacesalgebraic structuresfirst-order propertiesHausdorff spacesdecidablering of continuous real-valued functionsinfinitary languagediscrete spacesone-point compactificationslattice of closed subsetstrue second order arithmetic

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Rings and algebras of continuous, differentiable or analytic functions (46E25) Other infinitary logic (03C75) General logic (03B99) Connections of general topology with other structures, applications (54H99) Generalities in topology (54A99)

Related Items (7)

The undecidability of the lattice of r. e. closed subsets of an effective topological space ⋮ Model-Theoretic Characterizations of Arcs and Simple Closed Curves ⋮ Decidable theories of non-projectable \(l\)-groups of continuous functions ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ Base-free formulas in the lattice-theoretic study of compacta ⋮ Nonstandard hulls of Banach spaces

This page was built for publication: