Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/3119| Title: | Completeness theorem for topological class models | Authors: | Djordjevic, Radosav Ikodinović, Nebojša Mijajlović, Žarko |
Affiliations: | Algebra and Mathematical Logic | Keywords: | Completeness;Infinitary logic;Topological class | Issue Date: | 1-Jan-2007 | Rank: | M22 | Publisher: | Springer | Journal: | Archive for Mathematical Logic | Abstract: | A topological class logic is an infinitary logic formed by combining a first-order logic with the quantifier symbols O and C. The meaning of a formula closed by quantifier O is that the set defined by the formula is open. Similarly, a formula closed by quantifier C means that the set is closed. The corresponding models are a topological class spaces introduced by Ćirić and Mijajlović (Math Bakanica 1990). The completeness theorem is proved. © Springer-Verlag 2007. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/3119 | ISSN: | 09335846 | DOI: | 10.1007/s00153-006-0014-2 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.