Aplicaciones del método de aritmetización en la teoría impredicativa de clases
Autor corporativo
dc.contributor
Universidad de Chile. Facultad de Ciencias.
es_ES
Author
dc.contributor.author
Corrada Corrada, Manuel
Associate professor
dc.contributor.other
Chuaqui Kettlun, Rolando Basin
Admission date
dc.date.accessioned
2022-04-04T14:57:35Z
Available date
dc.date.available
2022-04-04T14:57:35Z
Publication date
dc.date.issued
1978
Identifier
dc.identifier.uri
https://repositorio.uchile.cl/handle/2250/184659
Abstract
dc.description.abstract
Esta memoria consiste en su mayor parte en aplicaciones del método de aritmetización introducido por Godel [1931] a ciertos problemas que para la teoría de Zermelo-Frenkel fueron resueltos por Gaifman [1975].
es_ES
Lenguage
dc.language.iso
es
es_ES
Type of license
dc.rights
Attribution-NonCommercial-NoDerivs 3.0 United States