Expressive power in first order topology

DOI10.2307/2274179zbMath0576.03023OpenAlexW2018219216MaRDI QIDQ3695266

Paul Bankston

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274179

zbMATH Keywords

compact Hausdorff spacescompletely regular spacestopological model theoryreduced coproductalgebras of bounded continuous real functionsBanach ultrapowerslattices of zero-setsultra-coproduct

Mathematics Subject Classification ID

Banach algebras of continuous functions, function algebras (46J10) Model theory (03C99) Banach lattices (46B42) Algebraic properties of function spaces in general topology (54C40) Topology of special sets defined by functions (54C50) Rings and algebras of continuous, differentiable or analytic functions (46E25) Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20)

Related Items (6)

Model-Theoretic Characterizations of Arcs and Simple Closed Curves ⋮ Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups ⋮ Taxonomies of model-theoretically defined topological properties ⋮ Reduced coproducts of compact Hausdorff spaces ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ Expressivity in polygonal, plane mereotopology

Cites Work

• Obstacles to duality between classes of relational structures
• Nonstandard hulls of Banach spaces
• Some Obstacles to Duality in Topological Algebra
• Topological reduced products via good ultrafilters

This page was built for publication: Expressive power in first order topology