Elementary extensions of topological models in \(L_ t\) language

DOI10.1007/BF00372550zbMath0643.03027OpenAlexW30201697MaRDI QIDQ1101442

Mirosław Majewski

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00372550

zbMATH Keywords

elementary embeddingstopological model theoryback and forthelementary chains

Mathematics Subject Classification ID

Model theory (03C99) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Cites Work

• Unnamed Item
• Topological model theory
• Monadic Characterizations in Nonstandard Topology
• Sentences Preserved between Equivalent Topological Bases
• A language for topological structures which satisfies a Lindström-theorem

This page was built for publication: Elementary extensions of topological models in \(L_ t\) language