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