Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire
Publications des séminaires de mathématiques et informatique de Rennes, Séminaires d'algèbre et logique, no. 2 (1978), article no. 1, 58 p. 
@article{PSMIR_1978___2_A1_0,
     author = {Coste, Marie-Fran\c{c}oise and Coste, Michel and Mahe, Louis},
     title = {Contribution \`a l'\'etude de l'objet des entiers naturels d'un topos \'el\'ementaire},
     journal = {Publications des s\'eminaires de math\'ematiques et informatique de Rennes},
     eid = {1},
     pages = {1--58},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {2},
     year = {1978},
     language = {fr},
     url = {http://archive.numdam.org/item/PSMIR_1978___2_A1_0/}
}
TY  - JOUR
AU  - Coste, Marie-Françoise
AU  - Coste, Michel
AU  - Mahe, Louis
TI  - Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire
JO  - Publications des séminaires de mathématiques et informatique de Rennes
PY  - 1978
SP  - 1
EP  - 58
IS  - 2
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1978___2_A1_0/
LA  - fr
ID  - PSMIR_1978___2_A1_0
ER  - 
%0 Journal Article
%A Coste, Marie-Françoise
%A Coste, Michel
%A Mahe, Louis
%T Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire
%J Publications des séminaires de mathématiques et informatique de Rennes
%D 1978
%P 1-58
%N 2
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://archive.numdam.org/item/PSMIR_1978___2_A1_0/
%G fr
%F PSMIR_1978___2_A1_0
Coste, Marie-Françoise; Coste, Michel; Mahe, Louis. Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire. Publications des séminaires de mathématiques et informatique de Rennes, Séminaires d'algèbre et logique, no. 2 (1978), article  no. 1, 58 p. http://archive.numdam.org/item/PSMIR_1978___2_A1_0/

[Benabou] Problèmes dans les topos. Rapport n° 34 , mars 1973 . Séminaire de Mathématiques pures, Louvain-la-Neuve.

[Boileau] Types vs topos Université de Montréal Juin 1975.

[Coste] Logique d'ordre supérieur dans les topos élémentaires. Séminaire de théorie des catégories dirigé par J . Bénabou. Novembre 1974.

[Fourman] Connections between category theory and logic, Thesis, University of Oxford, Novembre 1974

[Freyd] Aspects of topos Bulletin of Australian Math. Soc. Vol. 17 (1972).

[Girard] Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur. Thèse, Université Paris VII , Juin 1972.

[Keisler] Good ideals in fields of set, Ann. Math. 79 (1964). | MR | Zbl

[Schoenfield] Mathematical logic. Addison Wesley. | Zbl

[Sols] Bon ordre dans l'objet des entiers naturels d'un topos booléen C.R.A.S. Tome 281 n° 15.

[Takahashi] Cut elimination theorem and Brouwerian-valueds models for intuitionnistic type theory. Comment. Math. Univ. Sancti Pauli XIX (1970). | Zbl

[Takeuti] Proof theory. North-Holland.

[Troelstra] Mathematical investigation... Springer Lecture Notes n° 344.

[Van De Vauw - De Kinder] Propriétés de l'arithmétique et des ensembles finis généralisables aux topos. Séminaire de théorie des catégories dirigé par J . Bénebou, 1975.

[Volger] Logical categories, semantical categories and topoi. Novembre 1972.