Some local definability results on countable topological structures

DOI10.2307/2273460zbMath0549.03024OpenAlexW2152559417MaRDI QIDQ3342545

Holger Eisenmenger

Publication date: 1983

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

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

zbMATH Keywords

topological structureslocal definabilitytopological model theorydefinability of topologies

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Cites Work

• Game sentences, recursive saturation and definability
• Applications of vaught sentences and the covering theorem
• Global definability theory in 𝐿_{𝜔₁𝜔}
• Local definability theory

This page was built for publication: Some local definability results on countable topological structures