Elementary extensions of topological models in \(L_ t\) language
From MaRDI portal
Publication:1101442
DOI10.1007/BF00372550zbMath0643.03027MaRDI QIDQ1101442
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00372550
03C99: Model theory
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
Cites Work