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