Publications de l’Institut Mathématique, Nouvelle Série, Vol. 100[114], No. 1/1, pp. 119

Publications de l’Institut Mathématique, Nouvelle Série
Vol. 100[114], No. 1/1, pp. 119–129 (2016)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

COMPLETENESS THEOREM FOR CONTINUOUS FUNCTIONS AND PRODUCT CLASS-TOPOLOGIES

Radosav Djordjević, Vladimir Ristić, Nebojša Ikodinović

Faculty of Science, University of Kragujevac, Kragujevac, Serbia; Faculty of Pedagogy, University of Kragujevac, Jagodina, Serbia; Faculty of Mathematics, University of Belgrade, Belgrade, Serbia

Abstract: We introduce an infinitary logic $L_{𝔸} {(O^{n}, C^{n})}_{n \in ω w h i c h i s a n e x t e n s i o n o f L_{𝔸}}$ obtained by adding new quantifiers $O^{n}$ and $C^{n}$ , for every $n \in ω$ . The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved.

Keywords: infinitary logic; topological class-spaces; completeness

Classification (MSC2000): 03C70; 03C80; 03B80

Full text of the article: (for faster download, first choose a mirror)

Compressed DVI file (28 kilobytes)
Compressed PostScript file (424 kilobytes)
PDF file (160 kilobytes)

Electronic fulltext finalized on: 8 Nov 2016. This page was last modified: 14 Nov 2016.

© 2016 Mathematical Institute of the Serbian Academy of Science and Arts
© 2016 FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition