DOI10.1007/BF00970045zbMath0436.03035MaRDI QIDQ1140633
Aleksandr Georgievich Pinus
Publication date: 1979 Published in: Siberian Mathematical Journal (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/bf00970045
zbMATH Keywords
topological model theory; second order logic
Mathematics Subject Classification ID
03C99: Model theory
03C85: Second- and higher-order model theory
Cites Work