Counting measure for Kuratowski finite parts and decidability
Chisala, Busiso P. ; Mawanda, Mbila-Mambu
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991), p. 345-353 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1991-01-01
@article{CTGDC_1991__32_4_345_0,
     author = {Chisala, Busiso P. and Mawanda, Mbila-Mambu},
     title = {Counting measure for Kuratowski finite parts and decidability},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {32},
     year = {1991},
     pages = {345-353},
     mrnumber = {1165828},
     zbl = {0758.18007},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1991__32_4_345_0}
}

Chisala, Busiso P.; Mawanda, Mbila-Mambu. Counting measure for Kuratowski finite parts and decidability. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991) pp. 345-353. http://gdmltest.u-ga.fr/item/CTGDC_1991__32_4_345_0/

1 O. Acuña-Ortega & F.E. Linton. Finiteness and decidability I, Lecture Notes in Mathematics 753. Springer (1979), 80-100. | MR 555540 | Zbl 0433.18001

2 P. Johnstone. Conditions related to De Morgan's law. Lecture Notes in Mathematics 753. Springer (1979), 479-491. | MR 555556 | Zbl 0445.03041

3 B. Loiseau, Naturels, Réels et Lemme De Zorn dans les topos: quelques aspects logiques. Dissertation doctorale. Université Catholique de Louvain. 1988-89.

4 B. Loiseau & Mawanda M.-M., On natural number objects. finiteness and Kripke-Platek models in toposes. J Pure and Appl. Algebra 61 (1989), 257-266. | MR 1027745 | Zbl 0685.18004