Completeness theorem for continuous functions and product class-topologies
We introduce an infinitary logic LA(On,Cn)n(? which is an extension of LA 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. nema
Gespeichert in:
| Veröffentlicht in: | Publications de l'Institut mathématique (Belgrade) 2016, Vol.100 (114), p.119-129 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We introduce an infinitary logic LA(On,Cn)n(? which is an extension of LA
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.
nema |
|---|---|
| ISSN: | 0350-1302 1820-7405 |
| DOI: | 10.2298/PIM160525001D |