Finite objects and extensional relations
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1987)
- Volume: 28, Issue: 3, page 173-181
- ISSN: 1245-530X
Access Full Article
top
How to cite
topAcuña-Ortega, Osvaldo. "Finite objects and extensional relations." Cahiers de Topologie et Géométrie Différentielle Catégoriques 28.3 (1987): 173-181. <http://eudml.org/doc/91402>.
@article{Acuña1987,
author = {Acuña-Ortega, Osvaldo},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {finite cardinals; topos; natural number object; decidably well-ordered},
language = {eng},
number = {3},
pages = {173-181},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Finite objects and extensional relations},
url = {http://eudml.org/doc/91402},
volume = {28},
year = {1987},
}
TY - JOUR
AU - Acuña-Ortega, Osvaldo
TI - Finite objects and extensional relations
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1987
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 28
IS - 3
SP - 173
EP - 181
LA - eng
KW - finite cardinals; topos; natural number object; decidably well-ordered
UR - http://eudml.org/doc/91402
ER -
References
top- 1, O. Acuña-Ortega, Finiteness in Topoi, Dissertation, Wesleyan ., Middle-town, Conn., May 1977,
- 2, O. Acuña-Ortega, Cardinales finitos en un Topos arbitrario, Mate. CostarriCense, J. Asoc. Mate. Costar., 1-1 (1984), MR736628
- 3, O. Acuña-Ortega, An exact coexact characterization of the finite cardinals, J. Pure & Appl. Algebra (to appear ), Zbl0611.18002MR868983
- 4, O. Acuña-Ortega & F.E.J. Linton, Finiteness and decidability I, Lecture Notes in Math, 753, Springer (1985), 80-100, Zbl0433.18001MR555540
- 5, M.I. Sols, Bon ordre dans des nombres naturels d'un topos booléen, C.R.A.S Paris2811 (1975), 601-603, Zbl0346.18010MR379190
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.