Browsing by Author "Vaggione, Diego José"
Now showing items 1-5 of 5
-
Análisis de la definibilidad de relaciones en estructuras de primer orden
Incatasciato, Guillermo Luis (2019-03)En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ... -
Aplicaciones de álgebra universal al reticulado de Post
Leberle, Maico Carlos (2017)El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ... -
On structural completeness versus almost structural completeness problem : a discriminator varieties case study
Campercholi, Miguel Alejandro Carlos; Stronkowski, Michal M.; Vaggione, Diego José (2015)We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, ... -
Representaciones globales para cuasivariedades de congruencias relativas distributivas
Schilman, Mauro (2015)Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ... -
Representaciones globales y clases algebráicamente extensibles
Campercholi, Miguel Alejandro Carlos (2006)Estudiamos aplicaciones de representaciones globales en varias clases ecuacionales de estructuras algebráicas, en especial, expansiones de reticulados distributivos. En el primer capítulo definimos la noción de clase ...