Counting measure for Kuratowski finite parts and decidability
Busiso P. Chisala; Mbila-Mambu Mawanda
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1991)
- Volume: 32, Issue: 4, page 345-353
- ISSN: 1245-530X
Access Full Article
top
How to cite
topChisala, Busiso P., and Mawanda, Mbila-Mambu. "Counting measure for Kuratowski finite parts and decidability." Cahiers de Topologie et Géométrie Différentielle Catégoriques 32.4 (1991): 345-353. <http://eudml.org/doc/91486>.
@article{Chisala1991,
author = {Chisala, Busiso P., Mawanda, Mbila-Mambu},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {natural number object; Kuratowski finite parts; decidability; DeMorgan's law},
language = {eng},
number = {4},
pages = {345-353},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Counting measure for Kuratowski finite parts and decidability},
url = {http://eudml.org/doc/91486},
volume = {32},
year = {1991},
}
TY - JOUR
AU - Chisala, Busiso P.
AU - Mawanda, Mbila-Mambu
TI - Counting measure for Kuratowski finite parts and decidability
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1991
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 32
IS - 4
SP - 345
EP - 353
LA - eng
KW - natural number object; Kuratowski finite parts; decidability; DeMorgan's law
UR - http://eudml.org/doc/91486
ER -
References
top- 1 O. Acuña-Ortega & F.E. Linton.Finiteness and decidability I, Lecture Notes in Mathematics753. Springer (1979), 80-100. Zbl0433.18001MR555540
- 2 P. Johnstone.Conditions related to De Morgan's law. Lecture Notes in Mathematics753. Springer (1979), 479-491. Zbl0445.03041MR555556
- 3 B. Loiseau, Naturels, Réels et Lemme deZorn 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. Algebra61 (1989), 257-266. Zbl0685.18004MR1027745
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.