Por favor, use este identificador para citar o enlazar este ítem:
http://bibliotecavirtual.dgb.umich.mx:8083/xmlui/handle/DGB_UMICH/11951
Título : | Axioma de constructibilidad |
Autor : | Corona García, José Antonio |
Asesor: | Hernández Hernández, Fernando |
Palabras clave : | info:eu-repo/classification/cti/1 FISMAT-L-2013-0979 Axioma Constructibilidad Teoría de conjuntos |
Fecha de publicación : | jul-2013 |
Editorial : | Universidad Michoacana de San Nicolás de Hidalgo |
Resumen : | The present paper is a brief explanation of what is the constructible universe and some of its basic properties. It is true that Gödel constructed this model of ZF, however several definitions and results are published after "The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory", ie the Kripke-Platek theory was introduced in 1964. This theory to be characterized as the smallest theory from which it is possible to create the constructible universe. Moreover, several formulas in its logical form are tools in order to create sets that are also shown necessary to discuss concepts such as satisfaction, substitution of variables in a formula, etc...'S intention is to offer these formulas explicitly to such concepts. En el presente trabajo se da una breve explicación de qué es el universo construible y algunas de sus propiedades básicas. Es cierto que Gödel construye este modelo de ZF, sin embargo varias definiciones y resultados son publicados después de “The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory"; por ejemplo la teoría Kripke-Platek que fue introducida en 1964. Esta teoría se caracteriza por ser la teoría más pequeña a partir de la cual es posible crear el universo construible. Por otra parte, también se muestran varias fórmulas en su forma lógica que son herramientas para ir creando conjuntos que son necesarios para hablar de conceptos como satisfacción, sustitución de variables en una fórmula, etc. La intención de estas fórmulas es ofrecer una forma explícita a tales conceptos. |
Descripción : | Facultad de Ciencias Físico Matemáticas. Licenciatura en Ciencias Fisico Matemáticas |
URI : | http://bibliotecavirtual.dgb.umich.mx:8083/xmlui/handle/DGB_UMICH/11951 |
Aparece en las colecciones: | Licenciatura |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
FISMAT-L-2013-0979.pdf | 622.47 kB | Adobe PDF | ![]() Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.