Seminario Mundo/Lógica/Modelos: 30 de abril. José Miguel Contreras (UNAL) - Retículos métricos desde una perspectiva modelo-teórica

[Andrés Villaveces]

Continuamos este martes 30 de abril con nuestro Seminario Mundo/Lógica/Modelos - ver además abajo el estado actual de programación de charlas de nuestro seminario.

Martes 30 de abril, 16:15 a 17:45

Google Meet Link: http://meet.google.com/iat-bdgh-qkm

José Miguel CONTRERAS

Retículos métricos desde una perspectiva modelo-teórica

La teoría para modelos para estructuras métricas es una rama de la teoría de modelos que surgió para resolver los problemas de la lógica usual para capturar nociones relacionadas a espacios métricos , C*-algebras, espacios de Banach, etc. 

En esta charla presentaremos los retículos métricos, una clase particular de retículo que dadas sus propiedades podemos aprovechar las herramientas que nos da esta teoría de modelos alternativa para estudiarlo. Comenzaremos con una rápida introducción a la teoría de modelos para estructuras métricas.  Luego presentaremos como motivación de la charla parte de la investigación de Berenstein y Henson en la teoría de los espacios probabilidad, los retículos de particiones y el retículo de particiones continuo de Björner. Finalmente se definirán los retículos de particiones y nociones relacionadas, abordaremos algunos resultados que nos permitirán entender mejor su teoría y cómo estudiarla aprovechando las ventajas que nos brinda la lógica continua de esta teoría de modelos. Esta presentación está basada en el trabajo realizado junto al profesor Thomas Sinclair durante nuestra investigación en el marco de la convocatoria UREP-C 2023-II.

Más información: https://sites.google.com/view/bogotalogica/seminars/2024-i/seminario-mundo-l%C3%B3gica-modelos?authuser=0

[Andrés Villaveces]

Continuamos este martes 30 de abril con nuestro Seminario Mundo/Lógica/Modelos - ver además abajo el estado actual de programación de charlas de nuestro seminario.

Martes 30 de abril, 16:15 a 17:45

Google Meet Link: http://meet.google.com/iat-bdgh-qkm

José Miguel CONTRERAS (UNAL)

Retículos métricos desde una perspectiva modelo-teórica

Resumen: La teoría para modelos para estructuras métricas es una rama de la teoría de modelos que surgió para resolver los problemas de la lógica usual para capturar nociones relacionadas a espacios métricos , C*-algebras, espacios de Banach, etc.

[Andrés Villaveces]

Continuamos el próximo martes 7 de mayo con nuestro Seminario Mundo/Lógica/Modelos - ver además abajo el estado actual de programación de charlas de nuestro seminario.

Martes 7 de mayo, 16:15 a 17:45

Google Meet Link: http://meet.google.com/iat-bdgh-qkm

H. Jerome Keisler, University of Wisconsin

Stochastic Processes, Continuous Model Theory, and Saturation

Abstract: This talk will present a way to use continuous model theory to study of random variables and stochastic processes.  

In the literature, nonstandard analysis has been successfully in that area, often leading to new existence results that require saturated probability spaces. This is an application of first order model theory.

Here we pave the way to apply continuous model theory instead. The key is to construct saturated  models in which important properties of stochastic processes can be naturally expressed by continuous formulas.

Más información: https://sites.google.com/view/bogotalogica/seminars/2024-i/seminario-mundo-l%C3%B3gica-modelos?authuser=0

[Andrés Villaveces]

Remember/recorderis (H.J. Keisler)

Continuamos el próximo martes 7 de mayo con nuestro Seminario Mundo/Lógica/Modelos - ver además abajo el estado actual de programación de charlas de nuestro seminario.

Tuesday, 7 May, 16:15 to 17:45 Bogotá time (21:15 to 22:45 UTC)

[Andrés Villaveces]

Continuamos mañana martes 14 de mayo con nuestro Seminario Mundo/Lógica/Modelos - ver además abajo el estado actual de programación de charlas de nuestro seminario.

Martes 14 de mayo, 16:15 a 17:45

Google Meet Link: http://meet.google.com/iat-bdgh-qkm

Gustavo CIPAGAUTA - Universidad Nacional de Colombia

¿Cuándo dos procesos estocásticos son «parecidos»? Respuestas desde la teoría de modelos

Resumen: los fenómenos aleatorios son examinados desde el punto de vista matemático a través de estructuras como los espacios de probabilidad y los procesos estocásticos. Estas estructuras matemáticas son modelos (en el sentido modelo–teórico riguroso) de la lógica de la probabilidad, en la que la condición de que los conjuntos definibles sean medibles exige reemplazar los cuantificadores existencial y universal de la lógica clásica de primer orden por cuantificadores probabilísticos («al menos cierto porcentaje de las »). En esta primera conferencia presentamos y caracterizamos la lógica no clásica y sus modelos, y se discuten los avances y los retos en la tarea de orientar los conceptos y técnicas de la teoría de modelos hacia la cuestión de comparar procesos estocásticos.