Bon ordre dans l'objet des nombres naturels d'un topos booléen
| dc.contributor.author | Sols Lucía, Ignacio | |
| dc.date.accessioned | 2023-06-21T02:05:50Z | |
| dc.date.available | 2023-06-21T02:05:50Z | |
| dc.date.issued | 1975-10-13 | |
| dc.description.department | Depto. de Álgebra, Geometría y Topología | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/21825 | |
| dc.identifier.issn | 0764-4442 | |
| dc.identifier.officialurl | http://gallica.bnf.fr/ark:/12148/cb34484666t/date1975.r=Bon%20ordre%20dans%20l'objet%20des%20nombres%20naturels%20d'un%20topos%20bool%C3%A9en.langES | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/64840 | |
| dc.issue.number | 15 | |
| dc.journal.title | Comptes Rendus de l'Académie des Sciences. Série I. Mathématique | |
| dc.language.iso | fra | |
| dc.page.final | 603 | |
| dc.page.initial | 601 | |
| dc.publisher | Elsevier | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 510.6 | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | Bon ordre dans l'objet des nombres naturels d'un topos booléen | |
| dc.type | journal article | |
| dc.volume.number | 281 | |
| dcterms.references | M. Coste, Topos élémentaires et théorie des ensembles (seminaire J. Bénabou). C.J. Mikkelsen, On the Internal Completeness of Elementary Topoi, Oberwolfach, 1973. H. Ehrig, W.Kühnel et M.Pfender, Diagram Characterization of Recursion, L.N. in Comp. Se.,25 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 6d35def4-3d5f-4978-800f-82b7edf76b5d | |
| relation.isAuthorOfPublication.latestForDiscovery | 6d35def4-3d5f-4978-800f-82b7edf76b5d |
Download
Original bundle
1 - 1 of 1