El método de los (L, n)-modelos: una posible respuesta sobre la independencia de la versión a la Paris-Harrington del teorema de Folkman

ilustraciones, graficas

• Autores: Valderrama Hernández, David
• Fecha de publicación: 2021
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: spa
• OAI Identifier: oai:repositorio.unal.edu.co:unal/81205
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/81205; https://repositorio.unal.edu.co/
• Palabra clave: 510 - Matemáticas::513 - Aritmética; 160 - Lógica::161 - Inducción; (L,n)-modelo; Teorema de Paris-Harrington; Sistemas de la aritmética de segundo orden; Cumplimiento; Semántica de Kripke; (L,n)-model; Fulfillment; Paris-Harrington theorem; Subsystems of second order arithmetic; Kripke semantics; Aritmética; Arithmetic
• Rights: openAccess
• License: Atribución-NoComercial-CompartirIgual 4.0 Internacional