χ‐Local Operations for Topological Structures
From MaRDI portal
Publication:3708001
DOI10.1002/malq.19850312104zbMath0583.03023MaRDI QIDQ3708001
Juan Carlos Martínez, Jörg Flum
Publication date: 1985
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19850312104
equivalence; infinitary languages; uniform completion; topological model theory; monotone structures; back-and-forth
03C99: Model theory
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
03C40: Interpolation, preservation, definability
03C75: Other infinitary logic