Model theory of topological structures

DOI10.1016/0003-4843(78)90006-2zbMath0409.03041OpenAlexW2065812125MaRDI QIDQ4196424

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

preservationultrapowertopological modulesnonstandard topology

Mathematics Subject Classification ID

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

Related Items (8)

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

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