Model theory of topological structures

DOI10.1016/0003-4843(78)90006-2MaRDI QIDQ4196424zbMATH OpenOpenAlexFDO

Authors Steven Garavaglia

Publication date 1978

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(78)90006-2

zbMATH Keywords

nonstandard topologypreservationtopological modulesultrapower

Mathematics Subject Classification ID

Nonstandard models (03H99) Nonstandard topology (54J05)

Cited in

(8)

• Modal languages for topology: expressivity and definability
• Locally pure topological Abelian groups: Elementary invariants
• Stability theory for topological logic, with applications to topological modules
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• Undecidable L^t theories of topological abelian groups
• Interpolation in Logiken monotoner systeme
• The query topology in logic programming
• Counting models in universal Horn classes

This page was built for publication: Model theory of topological structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4196424)