Decision procedure for a class of $(L_{\omega_1\omega})_t$-types of $T_3$ spaces.
Martínez, Juan Carlos
Notre Dame J. Formal Logic, Tome 28 (1987) no. 1, p. 284-290 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1987-04-14
Classification:  03B25,  03C75,  03C80 
@article{1093636945,
     author = {Mart\'\i nez, Juan Carlos},
     title = {Decision procedure for a class of $(L\_{\omega\_1\omega})\_t$-types of $T\_3$ spaces.},
     journal = {Notre Dame J. Formal Logic},
     volume = {28},
     number = {1},
     year = {1987},
     pages = { 284-290},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093636945}
}

Martínez, Juan Carlos. Decision procedure for a class of $(L_{\omega_1\omega})_t$-types of $T_3$ spaces.. Notre Dame J. Formal Logic, Tome 28 (1987) no. 1, pp.  284-290. http://gdmltest.u-ga.fr/item/1093636945/