Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/40| Title: | Completeness theorem for continuous functions and product class-topologies | Authors: | Djordjević, Radosav Ristić, Vladimir Ikodinović, Nebojša |
Affiliations: | Algebra and Mathematical Logic | Keywords: | Completeness;Infinitary logic;Topological class-spaces | Issue Date: | 1-Jan-2016 | Journal: | Publications de l'Institut Mathematique | 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. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/40 | ISSN: | 03501302 | DOI: | 10.2298/PIM160525001D |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.