Completeness theorem for topological class models

DOI10.1007/S00153-006-0014-2MaRDI QIDQ866886zbMATH OpenOpenAlexFDO

Authors Nebojša Ikodinović, Žarko Mijajlović, Radoslav S. 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)

Recommendations

• Completeness theorem for continuous functions and product class-topologies
• scientific article; zbMATH DE number 2152683
• Topological completeness for higher-order logic
• scientific article; zbMATH DE number 519815
• A topological characterization of (,)^*-compactness

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• Completeness theorem for biprobability models
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Completeness theorems for topological models
• Logic with the quantifier “there exist uncountably many”

Cited in

(8)

• Completeness theorem for probability models with finitely many valued measure
• Completeness theorem for continuous functions and product class-topologies
• The Chang-Łoś-Suszko theorem in a topological setting
• scientific article; zbMATH DE number 4192604 (Why is no real title available?)
• Complete topoi representing models of set theory
• scientific article; zbMATH DE number 5316400 (Why is no real title available?)
• scientific article; zbMATH DE number 2152683 (Why is no real title available?)
• Topological completeness for higher-order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866886)