Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/40| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Djordjević, Radosav | en_US |
| dc.contributor.author | Ristić, Vladimir | en_US |
| dc.contributor.author | Ikodinović, Nebojša | en_US |
| dc.date.accessioned | 2022-08-06T15:09:36Z | - |
| dc.date.available | 2022-08-06T15:09:36Z | - |
| dc.date.issued | 2016-01-01 | - |
| dc.identifier.issn | 03501302 | en |
| dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/40 | - |
| dc.description.abstract | We introduce an infinitary logic LA(On, Cn)n∈ω which is an extension of L obtained by adding new quantifiers On and Cn, for every n ∈ ω The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Beograd : Matematički institut SANU | en_US |
| dc.relation.ispartof | Publications de l'Institut Mathematique | en_US |
| dc.subject | Completeness | en_US |
| dc.subject | Infinitary logic | en_US |
| dc.subject | Topological class-spaces | en_US |
| dc.title | Completeness theorem for continuous functions and product class-topologies | en_US |
| dc.type | Article | en_US |
| dc.identifier.doi | 10.2298/PIM160525001D | - |
| dc.identifier.scopus | 2-s2.0-85002637453 | - |
| dc.identifier.isi | 000398279100009 | - |
| dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85002637453 | - |
| dc.contributor.affiliation | Algebra and Mathematical Logic | en_US |
| dc.relation.issn | 0350-1302 | en_US |
| dc.description.rank | M23 | en_US |
| dc.relation.firstpage | 119 | en_US |
| dc.relation.lastpage | 129 | en_US |
| dc.relation.volume | 100 | en_US |
| dc.relation.issue | 114 | en_US |
| item.languageiso639-1 | en | - |
| item.cerifentitytype | Publications | - |
| item.openairetype | Article | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.author.dept | Algebra and Mathematical Logic | - |
| crisitem.author.orcid | 0000-0003-3832-760X | - |
| Appears in Collections: | Research outputs | |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.