sysadm/clam2021
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of https://bitbucket.org/gmcb/clam2021

Browse Source
This commit is contained in:
Administrador de Red 2021-09-13 12:01:42 -03:00
commit e213494623
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
data/sesiones.yml
View File

@ -9,8 +9,8 @@
charlas:
- titulo: Around (*)
abstract: <p>In this talk I will present work motivated by the derivation of the \(\mathbb P_{max}\) axiom \((*)\) from Martin's Maximum\(^{++}\).</p>
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: <p>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.</p>
@ -33,8 +33,8 @@
- titulo: Hereditary interval algebras and cardinal characteristics of the continuum
abstract: |
<p>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\).</p>
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 @@
<p>We'll also compare our formalization with the recent one by Jesse M. Han and Floris van Doorn in the proof assistant Lean.</p>
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: |
<p>In this talk we present recent developments in the study of non-classical models of ZFC. </p>