From 831d7b26a4a38211d8138538f14885120b2f67e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Germ=C3=A1n=20Correa?= Date: Mon, 13 Sep 2021 12:00:46 -0300 Subject: [PATCH] =?UTF-8?q?cambio=20de=20horario=20en=20sesion=2028,=20Asp?= =?UTF-8?q?er=C3=B3=20por=20Martinez-Ranero,=20se=20agrega=20nombr=20de=20?= =?UTF-8?q?pila=20de=20Sanchez=20Terraf?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- data/sesiones.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/data/sesiones.yml b/data/sesiones.yml index 36e8ee9..6ec82bf 100644 --- a/data/sesiones.yml +++ b/data/sesiones.yml @@ -9,8 +9,8 @@ charlas: - titulo: Around (*) abstract:

In this talk I will present work motivated by the derivation of the \(\mathbb P_{max}\) axiom \((*)\) from Martin's Maximum\(^{++}\).

- start: 2021-09-13T15:00 - end: 2021-09-13T15:45 + start: 2021-09-14T16:45 + end: 2021-09-14T17:30 speaker: David Asperó (University of East Anglia, Inglaterra) - titulo: Group operations and universal minimal flows abstract:

Every topological group admits a unique, up to isomorphism, universal minimal that maps onto every minimal (with respect to inclusion) flow. We study interactions between group operations and corresponding universal minimal flows.

@@ -33,8 +33,8 @@ - titulo: Hereditary interval algebras and cardinal characteristics of the continuum abstract: |

An interval algebra is a Boolean algebra which is isomorphic to the algebra of finite unions of half-open intervals, of a linearly ordered set. An interval algebra is hereditary if every subalgebra is an interval algebra. We answer a question of M. Bekkali and S. Todorcevic, by showing that it is consistent that every \(\sigma\)-centered interval algebra of size \(\mathfrak{b}\) is hereditary. We also show that there is, in ZFC, an hereditary interval algebra of cardinality \(\aleph_1\).

- start: 2021-09-14T16:45 - end: 2021-09-14T17:30 + start: 2021-09-13T15:00 + end: 2021-09-13T15:45 speaker: Carlos Martinez-Ranero (Universidad de Concepción, Chile) - titulo: Groups definable in partial differential fields with an automorphism abstract: | @@ -56,7 +56,7 @@

We'll also compare our formalization with the recent one by Jesse M. Han and Floris van Doorn in the proof assistant Lean.

start: 2021-09-13T17:30 end: 2021-09-13T18:15 - speaker: Sánchez Terraf (Universidad Nacional de Córdoba, Argentina) joint with Emmanuel Gunther, Miguel Pagano, and Matías Steinberg + speaker: Pedro Sánchez Terraf (Universidad Nacional de Córdoba, Argentina) joint with Emmanuel Gunther, Miguel Pagano, and Matías Steinberg - titulo: On non-classical models of ZFC abstract: |

In this talk we present recent developments in the study of non-classical models of ZFC.