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...
- 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
- 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