Lógica y Fundamentos
| Hora | Lunes | Martes | Miércoles | Jueves | Viernes |
|---|---|---|---|---|---|
| 9:00 a 9:40 |
REGISTRO | Conf. Invitada: D. Meza 269 | 651 | ||
| 9:40 a 10:00 |
409 | 565 | |||
| 10:00 a 10:20 |
474 | ||||
| 10:20 a 11:00 |
Conf. Invitada: M. Hrusak 407 | Conf. Invitada: C. Torres 393 | |||
| 11:00 a 11:30 |
DESCANSO-CAFÉ | ||||
| 11:30 a 11:50 |
INAUGURACIÓN | 719 | 229 | ||
| 11:50 a 12:10 |
567 | ||||
| 12:10 a 12:30 |
288 | 345 | |||
| 12:30 a 12:50 |
SAM 75 Homenaje a Samuel Gitler |
734 | 694 | ||
| 12:50 a 13:10 |
156 | 706 | |||
| 13:10 a 13:30 |
107 | ||||
| 13:30 a 14:30 |
SAM 75 PLENARIA: Jesús González |
PLENARIA: Francisco Sánchez Sesma |
PLENARIA: Rafael Pérez Pascual |
PLENARIA: Francisco Venegas |
PLENARIA: Onésimo Hernéndez Lerma |
| 14:30 a 17:30 |
COMIDA | CLAUSURA | |||
| 17:30 a 18:30 |
SAM 75 PLENARIA: José Seade |
SAM 75 PLENARIA: Santiago López de Medrano |
SAM 75 PLENARIA: Ralph Cohen |
SAM 75 PLENARIA: Xavier Gómez Mont |
|
| 18:30 a 19:30 |
SAM 75 PLENARIA: Alberto Verjovsky |
SAM 75 PLENARIA: Joe Kohn |
SAM 75 PLENARIA: Mike Hopkins |
SAM 75 PLENARIA: Francisco González Acuña |
|
| 20:00 a 21:00 |
MESA DE TRABAJO: Políticas públicas en educación, el caso de las matemáticas y las ciencias |
||||
107 Luis Estrada-González
¿Qué cambia cuando cambia la lógica? Un enfoque categorista
156 Favio E. Miranda-Perea and Araceli Liliana Reyes Cabello
Una visión actual de las lógicas relacionales
229 Favio E. Miranda-Perea and Liliana Badillo
Tipos de datos e interpretaciones de realización en lógicas de segundo orde
269 David Meza-Alcantara and Michael Hrusak
Propiedades de tipo Ramsey en Ideales sobre $\omega$
288 Ricardo Bello-Aguirre
Independencia de la Hipótesis Generalizada del Continuo
345 Eduardo Ariza and Jose Arrazola
Sobre la cerradura sintáctica de $ C_\omega $
393 Carlos Torres Alcaraz and Edgar Enrique Solís de los Reyes
El teorema de Rice y el teorma de Gödel
407 Michael Hrusak
Introducción a las pruebas de independencia
409 Osvaldo A. Tellez Nieto
El axioma de Martin
474 Mauricio Salinas Rodríguez
Lógica de Segundo orden y omega modelos
565 Manuel Lara
Interpretaciones entre Lenguajes e Indecidibilidad
567 Judith Campos Cordero
El Problema de Souslin
651 Gabriela Campero-Arena
Órdenes con propiedades de simetría
694 Cecilia Chávez
Lógica algebraica: una herramienta en el desarrollo de una teoría general de las lógicas
706 Paulina Raigosa
Relevancia y Teoría de Situaciones
719 Diego Rojas
Muchas cofinalidades para ideales gradualmente fragmentados
734 Cristian Alejandro Gutiérrez Ramírez
Hipótesis del continuo y "el modelo de ZFC"