Sistemas de teoría de conjuntos de valor booleano: formalismo general y técnica básica
Autores: Gutman, Alexander
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Sistemas de teoría de conjuntos de valor booleano: formalismo general y técnica básica
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Universo de valores booleanos
Sintaxis
Herramientas de investigación
Firma de teoría de conjuntos
Fórmulas acotadas
Aplicaciones
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 33
Citaciones: Sin citaciones
Este artículo está dedicado al estudio del universo valuado booleano como un sistema algebraico. Comenzamos con los antecedentes lógicos de la noción y presentamos el formalismo de extender la sintaxis de los valores de verdad booleanos mediante el uso de símbolos definibles, clases internas, términos externos y clases valuadas booleanas externas. Luego, enriquecemos la colección de herramientas de investigación valuadas booleanas con la técnica de elementos parciales y las correspondientes uniones, mezclas y ascensos. Pasando a la firma teórica, demostramos que las fórmulas acotadas son absolutas para los subsistemas valuados booleanos transitivos. También introducimos y estudiamos sistemas valuados booleanos intensionales, predicativos, cíclicos y regulares, examinamos el principio máximo y analizamos su relación con los principios de ascenso y mezcla. Las principales aplicaciones se relacionan con el universo sobre un sistema valuado booleano extensivo arbitrario. Se establece una estrecha interrelación entre dicho universo y la jerarquía intensional. Demostramos la existencia y unicidad del universo valuado booleano hasta un isomorfismo único y mostramos que las condiciones en la caracterización axiomática correspondiente son lógicamente independientes. También describimos la estructura del universo mediante varias jerarquías acumulativas. Otra aplicación, basada en la jerarquía de cuantificadores de fórmulas, mejora el principio de transferencia para la incrustación canónica en el universo valuado booleano.
Descripción
Este artículo está dedicado al estudio del universo valuado booleano como un sistema algebraico. Comenzamos con los antecedentes lógicos de la noción y presentamos el formalismo de extender la sintaxis de los valores de verdad booleanos mediante el uso de símbolos definibles, clases internas, términos externos y clases valuadas booleanas externas. Luego, enriquecemos la colección de herramientas de investigación valuadas booleanas con la técnica de elementos parciales y las correspondientes uniones, mezclas y ascensos. Pasando a la firma teórica, demostramos que las fórmulas acotadas son absolutas para los subsistemas valuados booleanos transitivos. También introducimos y estudiamos sistemas valuados booleanos intensionales, predicativos, cíclicos y regulares, examinamos el principio máximo y analizamos su relación con los principios de ascenso y mezcla. Las principales aplicaciones se relacionan con el universo sobre un sistema valuado booleano extensivo arbitrario. Se establece una estrecha interrelación entre dicho universo y la jerarquía intensional. Demostramos la existencia y unicidad del universo valuado booleano hasta un isomorfismo único y mostramos que las condiciones en la caracterización axiomática correspondiente son lógicamente independientes. También describimos la estructura del universo mediante varias jerarquías acumulativas. Otra aplicación, basada en la jerarquía de cuantificadores de fórmulas, mejora el principio de transferencia para la incrustación canónica en el universo valuado booleano.