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