Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire

Marie-Françoise Coste; Michel Coste; Louis Mahe

Publications mathématiques et informatique de Rennes (1978)

  • Issue: 2, page 1-58

How to cite

top

Coste, Marie-Françoise, Coste, Michel, and Mahe, Louis. "Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire." Publications mathématiques et informatique de Rennes (1978): 1-58. <http://eudml.org/doc/273815>.

@article{Coste1978,
author = {Coste, Marie-Françoise, Coste, Michel, Mahe, Louis},
journal = {Publications mathématiques et informatique de Rennes},
language = {fre},
number = {2},
pages = {1-58},
publisher = {Département de Mathématiques et Informatique, Université de Rennes},
title = {Contribution à l'étude de l'objet des entiers naturels d'un topos élémentaire},
url = {http://eudml.org/doc/273815},
year = {1978},
}

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 mathématiques et informatique de Rennes
PY - 1978
PB - Département de Mathématiques et Informatique, Université de Rennes
IS - 2
SP - 1
EP - 58
LA - fre
UR - http://eudml.org/doc/273815
ER -

References

top
  1. [ Benabou]Problèmes dans les topos. Rapport n° 34 , mars 1973 . Séminaire de Mathématiques pures, Louvain-la-Neuve. 
  2. [ Boileau]Types vs toposUniversité de Montréal Juin 1975. 
  3. [ 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. 
  4. [ Fourman]Connections between category theory and logic, Thesis, University of Oxford, Novembre 1974 
  5. [ Freyd]Aspects of topos Bulletin of AustralianMath. Soc. Vol. 17 (1972). 
  6. [ Girard]Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur. Thèse, Université Paris VII , Juin 1972. 
  7. [ Keisler]Good ideals in fields of set, Ann. Math.79 (1964). Zbl0137.00803MR166105
  8. [ Schoenfield]Mathematical logic. Addison Wesley. Zbl0248.02001
  9. [ Sols]Bon ordre dans l'objet des entiers naturels d'un topos booléenC.R.A.S. Tome 281 n° 15. Zbl0346.18010
  10. [ Takahashi]Cut elimination theorem and Brouwerian-valueds models for intuitionnistic type theory. Comment. Math.Univ. Sancti Pauli XIX (1970). Zbl0233.02011
  11. [ Takeuti]Proof theory. North-Holland. 
  12. [ Troelstra]Mathematical investigation... SpringerLecture Notes n° 344. 
  13. [ 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. 
  14. [ Volger]Logical categories, semantical categories and topoi. Novembre 1972. 

NotesEmbed ?

top

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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.