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.