Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire
Publications mathématiques et informatique de Rennes, no. 2 (1978), article no. 1, 58 p.
@article{PSMIR_1978___2_A1_0,
     author = {Coste, Marie-Fran\c coise and Coste, Michel and Mahe, Louis},
     title = {Contribution \`a l'\'etude de l'objet des entiers naturels d'un topos \'el\'ementaire},
     journal = {Publications math\'ematiques et informatique de Rennes},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {2},
     year = {1978},
     language = {fr},
     url = {http://www.numdam.org/item/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 mathématiques et informatique de Rennes, no. 2 (1978), article  no. 1, 58 p. http://www.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 166105 | Zbl 0137.00803

[Schoenfield] Mathematical logic. Addison Wesley. | Zbl 0248.02001

[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 0233.02011

[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.