Constructible sets in lattice-valued models

We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. We present two distinct constructions of the constructable universe: L B and L B...

Full description

Autores:
Moncayo Vega, Jose Ricardo
Tipo de recurso:
Fecha de publicación:
2023
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
eng
OAI Identifier:
oai:repositorio.unal.edu.co:unal/83833
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/83833
https://repositorio.unal.edu.co/
Palabra clave:
510 - Matemáticas
Teoría de conjuntos
Set theory
Funciones de conjuntos
Set Functions
Algebra abstracta
Algebra, abstract
Valued models
Abstract logics
Residuated lattices
Kripke models
Constructible sets
Modelos valuados
Lógicas abstractas
Retículos residuales
Modelos de Kripke
Conjuntos construibles
Rights
openAccess
License
Atribución-NoComercial-SinDerivadas 4.0 Internacional