Informe de becario
Acceso Abierto

Informe científico de Beca de Perfeccionamiento: Slagter, Juan Sebastián (2015-2016)

Enlace externo
Resumen

Durante el período comprendido entre abril de 2015 y febrero de 2016, he aprobado con final las materias: Funciones Reales, Álgebra Lineal Numérica, Álgebras de Hilbert y Introducción a las Representaciones Topológicas. Me encuentro preparando los respectivos finales de Teoria de Representaciones para semirreticulos distributivos y Variable Compleja. Por otra parte, estoy finalizando la redacción de un capítulo de mi tesis, donde se estudian los operadores de Moisil sobre álgebras de Hilbert con ínfimo. En le que presentamos un Toerema de Representación por medio de algebras simples, dado que las álgebras subdiretamente iredducibles se probaron ser simple, y por lo tanto, la variedad es semisimple. Estos resultado, permitieron presentar un Cálculo estilo Hilbert correcto y completo, lo que dió respuesta sobre uno de nuestros objetivos generales. La labor desarrollada permitió estudiar el fragmento intuisionista de la lógica de las álgebras de Lukasiewicz-Moisil. En efecto, es bien sabido que en las álgebras de Lukasiewiwz-Moisil (LM-álgebras) de orden n < 5, se les puede definir una implicación de Lukasiewicz y una implicación de Heyting, y en el caso general solo se puede definir la de Heyting. Por otra parte, las implicaciones de Heyting que se pueden definir en cadenas, coinciden con las implicación de Gödel (ver [3]) (o implicación trivial de Hilbert), este hecho permite axiomatizar a los respectivos fragmentos implicativos de las LM-álgebras, por medio de Algebras de Hilbert n-valentes . Estos resultados están motivados en los trabajos fundacionales de M. Canals Frou y A. V. Figallo (ver [3, 4]). Los aportes fueron comunicados en la Reunión Anual de la Unión Matemática Argentina (ver [7]) y están siendo preparado en formato de paper para ser sometido a una revista internacional con referato.

Palabras clave
http://creativecommons.org/licenses/by/4.0/

Esta obra se publica con la licencia Creative Commons Attribution 4.0 International (BY 4.0)

item.page.license
Cargando...
Miniatura