Natural numbers in illative combinatory logic
In this paper we attempt to develop natural numbers using the second order predicate calculus and the three axioms also used to obtain the set theory of [3].
- Autores:
-
Bunder, M. W.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48753
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48753
http://bdigital.unal.edu.co/42210/
- Palabra clave:
- Natural numbers
predicate calculus
axioms
set theory
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_d2126544e3ae7798a31335eb14a4a824 |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/48753 |
network_acronym_str |
UNACIONAL2 |
network_name_str |
Universidad Nacional de Colombia |
repository_id_str |
|
spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Bunder, M. W.af463cf7-dfab-4b25-8c18-4591d55c1b163002019-06-29T08:04:15Z2019-06-29T08:04:15Z1985https://repositorio.unal.edu.co/handle/unal/48753http://bdigital.unal.edu.co/42210/In this paper we attempt to develop natural numbers using the second order predicate calculus and the three axioms also used to obtain the set theory of [3].application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32579Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 31-42 2357-4100 0034-7426Bunder, M. W. (1985) Natural numbers in illative combinatory logic. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 31-42 2357-4100 0034-7426 .Natural numbers in illative combinatory logicArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTNatural numberspredicate calculusaxiomsset theoryORIGINAL32579-120535-1-PB.pdfapplication/pdf3871493https://repositorio.unal.edu.co/bitstream/unal/48753/1/32579-120535-1-PB.pdfca8dc07567d9454b373c6c661739ace0MD51THUMBNAIL32579-120535-1-PB.pdf.jpg32579-120535-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg5730https://repositorio.unal.edu.co/bitstream/unal/48753/2/32579-120535-1-PB.pdf.jpg9c45bed0f73ce246a2fcc74fe5ecf031MD52unal/48753oai:repositorio.unal.edu.co:unal/487532023-11-05 23:16:19.273Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
Natural numbers in illative combinatory logic |
title |
Natural numbers in illative combinatory logic |
spellingShingle |
Natural numbers in illative combinatory logic Natural numbers predicate calculus axioms set theory |
title_short |
Natural numbers in illative combinatory logic |
title_full |
Natural numbers in illative combinatory logic |
title_fullStr |
Natural numbers in illative combinatory logic |
title_full_unstemmed |
Natural numbers in illative combinatory logic |
title_sort |
Natural numbers in illative combinatory logic |
dc.creator.fl_str_mv |
Bunder, M. W. |
dc.contributor.author.spa.fl_str_mv |
Bunder, M. W. |
dc.subject.proposal.spa.fl_str_mv |
Natural numbers predicate calculus axioms set theory |
topic |
Natural numbers predicate calculus axioms set theory |
description |
In this paper we attempt to develop natural numbers using the second order predicate calculus and the three axioms also used to obtain the set theory of [3]. |
publishDate |
1985 |
dc.date.issued.spa.fl_str_mv |
1985 |
dc.date.accessioned.spa.fl_str_mv |
2019-06-29T08:04:15Z |
dc.date.available.spa.fl_str_mv |
2019-06-29T08:04:15Z |
dc.type.spa.fl_str_mv |
Artículo de revista |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
format |
http://purl.org/coar/resource_type/c_6501 |
status_str |
publishedVersion |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/48753 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/42210/ |
url |
https://repositorio.unal.edu.co/handle/unal/48753 http://bdigital.unal.edu.co/42210/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/recolma/article/view/32579 |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas Revista Colombiana de Matemáticas |
dc.relation.ispartofseries.none.fl_str_mv |
Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 31-42 2357-4100 0034-7426 |
dc.relation.references.spa.fl_str_mv |
Bunder, M. W. (1985) Natural numbers in illative combinatory logic. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 31-42 2357-4100 0034-7426 . |
dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/48753/1/32579-120535-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/48753/2/32579-120535-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
ca8dc07567d9454b373c6c661739ace0 9c45bed0f73ce246a2fcc74fe5ecf031 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
_version_ |
1814089386826924032 |