Cuantificadores cardinales en lógica continua

La lógica continua CL satisface el análogo de la caracterización de Lindstrm de la lógica de primer orden en términos de compacidad y el teorema descendente de Lwenheim-Skolem. Una pregunta razonable es si existen extensiones propias de CL cerrada bajo las operaciones continuas y satisfaciendo algun...

Full description

Autores:

Figueroa Sierra, Raúl

Tipo de recurso:

Fecha de publicación:

2019

Institución:

Universidad de los Andes

Repositorio:

Séneca: repositorio Uniandes

Idioma:

spa

OAI Identifier:

oai:repositorio.uniandes.edu.co:1992/44244

Acceso en línea:

http://hdl.handle.net/1992/44244

Palabra clave:

Lógica simbólica y matemática
Lógica continua
Matemáticas

Rights

openAccess

License

http://creativecommons.org/licenses/by-nc-sa/4.0/