Seminario Mundo-Lógica - Edwin Celis UNAL-Titulo: Sobre las funciones rango en teoría de modelos y su caracterización

[Edwin Rodrigo Celis Montealegre]

Fecha: 17 de octubre, 1 pm.

Lugar: Salón 564-106 (Edificio Aulas de Ciencias - Gloria Amparo Galeano)

Título: Sobre las funciones de rango en teoría de modelos y su caracterización.

Resumen: En esta exposición, empezaremos abordando fechas significativas que marcan la introducción de diversos conceptos relacionados con rangos y dimensiones en teoría de modelos. Posteriormente, explicaremos la conjetura de Warmuth para esquemas de compresión y veremos la traducción al lenguaje de la teoría modelos para teorías NIP: la conjetura NIP-UDTFS. Continuando, examinaremos distintos rangos característicos, como el Rango de Shelah, el dp-rango a nivel local y global, así como la VC_{ind}-dimensión y el VC-máximo-rango. Finalmente, presentaremos las condiciones óptimas que se desean para una función rango.

Atentamente

Edwin Celis

Estudiante Doctorado en Ciencias-Matemáticas

Universidad Nacional de Colombia

Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consultar en la página web www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad.

[Andrés Villaveces]

Fecha: 24 de octubre, 1 pm.

Lugar: Salón 564-106 (Edificio Aulas de Ciencias - Gloria Amparo Galeano)

Meet: https://meet.google.com/dmq-pbwp-wiz

Título: Sintaxis en AECs II: ¿Hacia nuevos enfoques en AECs?

En esta charla retomaremos las ideas expuestas en la primera charla mostrando de manera explícita la noción de tipo sintáctico en el contexto de las AECs y su relación con los tipos de Galois. Además, mostraremos algunas posibles aplicaciones de esta relación y la sentencia con la que Shelah y Villaveces axiomatizan una AEC para aproximar una topología para tipos en este contexto, definir propiedades de orden o definir juegos.

Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consultar en la página web www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad.

--
--
Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog
 
Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" .
Para enviar un mensaje, envíe un email a log...@googlegroups.com
Para salir del grupo, envíe un email a logbog-un...@googlegroups.com
Para más opciones, visite http://groups.google.com/group/logbog?hl=es
---
Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google.
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a logbog+un...@googlegroups.com.
Para ver esta conversación en el sitio web, visita https://groups.google.com/d/msgid/logbog/CAPB5fpdyY6qJyox25mL7tAsQ5ckuAf75HGvxDdzOnDrxiREjwA%40mail.gmail.com.

[Andrés Villaveces]

Seminario Mundo/Lógica/Modelos

Fecha: 31 de octubre, 1 pm (UTC-5)

Lugar: Salón 564-106 (Edificio Aulas de Ciencias - Gloria Amparo Galeano)

(Hybrid mode:) Google Meet link: https://meet.google.com/dmq-pbwp-wiz

Davide Quadrellaro (University of Helsinki)

Título: Compactness and AECs in Team Semantics

Abstract: In this talk I will briefly describe a  version of Łoś' Theorem's and  compactness for team semantics, which strengthens previous works from the literature. Building on this result I will present some ongoing work to develop a model-theoretic framework for team semantics. In particular, I will describe how to obtain a version of abstract elementary classes in team semantics and I will consider some of the properties of the resulting category of models and morphisms.

More info on this seminar: https://sites.google.com/view/bogotalogica/seminars/2023-ii/seminario-mundo-l%C3%B3gica-modelos?authuser=0