1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/3119
DC FieldValueLanguage
dc.contributor.authorDjordjevic, Radosaven_US
dc.contributor.authorIkodinović, Nebojšaen_US
dc.contributor.authorMijajlović, Žarkoen_US
dc.date.accessioned2026-01-19T11:01:18Z-
dc.date.available2026-01-19T11:01:18Z-
dc.date.issued2007-01-01-
dc.identifier.issn09335846-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/3119-
dc.description.abstractA 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.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofArchive for Mathematical Logicen_US
dc.subjectCompletenessen_US
dc.subjectInfinitary logicen_US
dc.subjectTopological classen_US
dc.titleCompleteness theorem for topological class modelsen_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s00153-006-0014-2-
dc.identifier.scopus2-s2.0-33846880458-
dc.identifier.isi000243984500001-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/33846880458-
dc.contributor.affiliationAlgebra and Mathematical Logicen_US
dc.relation.issn1432-0665en_US
dc.description.rankM22en_US
dc.relation.firstpage1en_US
dc.relation.lastpage8en_US
dc.relation.volume46en_US
dc.relation.issue1en_US
item.openairetypeArticle-
item.cerifentitytypePublications-
item.languageiso639-1en-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.deptAlgebra and Mathematical Logic-
crisitem.author.orcid0000-0003-3832-760X-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

2
checked on Jan 19, 2026

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.