Una charla especial para el curso Lógica Matemática en la UNAL, por Roman Kossak, el próximo lunes
0 views
Skip to first unread message
Andrés Villaveces
Nov 22, 2023, 8:10:46 PM11/22/23
to logbog, Luis Carlos Arboleda, Rafael Isaacs, Arnold Oostra, Leonardo Arturo Cano Garcia, Andres Felipe Uribe Zapata, Juan Nido
Buenas noches.
Desde que la pandemia nos lanzó al mundo de lo virtual, quedé con la costumbre de invitar una vez al semestre a gente de fuera a dar una charla para algunos de mis cursos. Se trata de charlas especialmente dirigidas a estudiantes del curso. Pero extiendo la invitación a quienquiera que tenga curiosidad por el tema.
Esta charla de Roman Kossak será durante la última semana de clases, el próximo lunes, y enfocará desde un ejemplo aparentemente muy sencillo problemáticas de definibilidad muy profundas e interesantes. El público principal son mis estudiantes del curso de Lógica Matemática de este semestre (de pregrado en la Universidad Nacional).
Si le interesa ver esta charla, por favor envíeme un mensaje y le daré el enlace de conexión a la charla, el próximo lunes en hora de clase (11 de la mañana).
---
Roman Kossak (City University of New York / Graduate Center)
Monday, 27 November 2023, 11 am. A lecture for the Lógica Matemática class at UNAL.
Title: Model theory of the successor relation
Abstract: On the one hand, the successor relation on the set of natural numbers could be considered the standard model of arithmetic for the simple reason that it completely determines all arithmetic operations on natural numbers and much more. On the other hand, unlike the models of axioms systems of arithmetic as Peano axioms, all models of the theory of the successor relation can be easily described and classified. I will show how it is done, and then I will use the obtained results as examples for a deeper analysis of definability in extensions of first-order logic.
Monday, 27 November 2023, 11 am. A lecture for the Lógica Matemática class at UNAL.
Title: Model theory of the successor relation
Abstract: On the one hand, the successor relation on the set of natural numbers could be considered the standard model of arithmetic for the simple reason that it completely determines all arithmetic operations on natural numbers and much more. On the other hand, unlike the models of axioms systems of arithmetic as Peano axioms, all models of the theory of the successor relation can be easily described and classified. I will show how it is done, and then I will use the obtained results as examples for a deeper analysis of definability in extensions of first-order logic.
---
avillavecesn.net
Departamento de Matemáticas - Edificio 404
Universidad Nacional de Colombia
AK 30 # 45-03
111321 - Bogotá - Colombia
Tel: +57 601 3165000 ext 13209
Reply all
Reply to author
Forward
0 new messages