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
Tipo de recurso:
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