Completeness theorem for topological class models

DOI10.1007/S00153-006-0014-2zbMath1112.03036OpenAlexW2012818292MaRDI QIDQ866886

Žarko Mijajlović, Nebojša Ikodinović, Radosav Djordjević

Publication date: 14 February 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0014-2

zbMATH Keywords

CompletenessInfinitary logicTopological class

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Logic on admissible sets (03C70)

Related Items (1)

Completeness theorem for probability models with finitely many valued measure

Cites Work

• Unnamed Item
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Completeness theorem for biprobability models
• Completeness theorems for topological models
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Completeness theorem for topological class models