researchseminars.org

Philipp Lücke (Universitat de Barcelona)
2020-10-07 14:00 - 15:30 UTC | https://researchseminars.org/talk/BCNSETS/1/
Title: Structural reflection, shrewd cardinals and the size of the continuum (https://researchseminars.org/talk/BCNSETS/1/)
by Philipp Lücke (Universitat de Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Claudio Ternullo (Universitat de Barcelona)
2020-10-14 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/2/
Title: Steel's Programme: Evidential Framework, the Core and Ultimate-L (https://researchseminars.org/talk/BCNSETS/2/)
by Claudio Ternullo (Universitat de Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Gabriel Goldberg (University of Berkeley)
2020-11-11 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/3/
by Gabriel Goldberg (University of Berkeley) as part of Barcelona Set Theory Seminar

Abstract: TBA

Mirna Dzamonja (Université Paris 1)
2020-10-21 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/4/
Title: On Wide Aronszajn Trees (https://researchseminars.org/talk/BCNSETS/4/)
by Mirna Dzamonja (Université Paris 1) as part of Barcelona Set Theory Seminar

Abstract
Aronszajn trees are a staple of set theory, but there are applications where the requirement of all levels being countable is of no importance. This is the case in set-theoretic model theory, where trees of height and size \omega_1. but with no uncountable branches play an important role by being clocks of Ehrenfeucht--Fraïssé games that measure similarity of model of size \aleph_1. We call such trees wide Aronszajn. In this context one can also compare trees T and T’ by saying that T weakly embeds into T’ if there is a function f that map T into T’ while preserving the strict order <_T. This order translates into the comparison of winning strategies for the isomorphism player, where any winning strategy for T’ translates into a winning strategy for T’. Hence it is natural to ask if there is a largest such tree, or as we would say, a universal tree for the class of wood Aronszajn trees with weak embeddings. It was known that there is no such a tree under CH, but in 1994 Mekler and V\"a\"an\"anen conjectured that there would be under MA(\omega_1). In our upcoming JSL paper with Saharon Shelah we prove that this is not the case: under MA(\omega_1) there is no universal wide Aronszajn tree. The talk will discuss that paper. The paper is available on the arxiv and on line at JSL in the preproof version DOI: 10.1017/jsl.2020.42

Andrew Brooke-Taylor (University of Leeds)
2020-11-25 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/5/
Title: Categorifying Borel reducibility (https://researchseminars.org/talk/BCNSETS/5/)
by Andrew Brooke-Taylor (University of Leeds) as part of Barcelona Set Theory Seminar

Abstract
Borel reducibility is a framework that has been very successful in showing that classification programmes in different areas of mathematics are not possible to complete. However, a feature of many such classification programmes that is not accounted for in the standard Borel reducibility framework is functoriality - a good classification function is expected to respect all maps between objects, not just the isomorphisms. I will present an extension of the Borel reducibility framework that takes functoriality into account, and give some initial results showing that this is a meaningful refinement of the standard framework.

Neil Barton (Universität Konstanz)
2020-12-09 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/6/
Title: Intensional classes and intuitionistic topoi (https://researchseminars.org/talk/BCNSETS/6/)
by Neil Barton (Universität Konstanz) as part of Barcelona Set Theory Seminar

Abstract: TBA

Giorgio Venturi (Universidade Estadual de Campinas)
2020-11-04 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/7/
by Giorgio Venturi (Universidade Estadual de Campinas) as part of Barcelona Set Theory Seminar

Abstract: TBA

Joel Hamkins (University of Oxford)
2020-10-28 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/8/
by Joel Hamkins (University of Oxford) as part of Barcelona Set Theory Seminar

Abstract: TBA

Toby Meadows (University of California, Irvine)
2020-12-02 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/9/
Title: What set theory could not be (https://researchseminars.org/talk/BCNSETS/9/)
by Toby Meadows (University of California, Irvine) as part of Barcelona Set Theory Seminar

Abstract
I am going to argue that set theory – playing its foundational role – is not particularly concerned with sets. Despite appearances, I don't think this is a frivolous claim. Among other things, even if the conclusion is doubted, it reveals an important split in attitudes researchers have toward set theory.

Victoria Gitman (City University of New York)
2020-12-16 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/10/
by Victoria Gitman (City University of New York) as part of Barcelona Set Theory Seminar

Abstract: TBA

Trevor Wilson (Miami University (OH))
2021-01-13 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/11/
by Trevor Wilson (Miami University (OH)) as part of Barcelona Set Theory Seminar

Abstract: TBA

Monroe Eskew (KGRC, University of Vienna)
2020-11-18 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/12/
Title: Uncommon systems of embeddings (https://researchseminars.org/talk/BCNSETS/12/)
by Monroe Eskew (KGRC, University of Vienna) as part of Barcelona Set Theory Seminar

Abstract
We will survey some results from two papers about systems of elementary embeddings that "narrowly avoid” Kunen’s inconsistency. The first involves systems where the embedding is amenable to the target model. The uncommon features are that the system can be densely ordered (even isomorphic to the reals) and branch off into non-amalgamable models. The second paper focuses on collections of distinct models that are pairwise mutually embeddable. Some restrictions on the structure of the system are imposed by requiring the models to satisfy V=HOD. This is joint work with Sy Friedman, Yair Hayut, and Farmer Schlutzenberg.

Vera Fischer (KGRC, University of Vienna)
2021-01-20 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/13/
by Vera Fischer (KGRC, University of Vienna) as part of Barcelona Set Theory Seminar

Abstract: TBA

Adrian R. D. Mathias (Université de la Réunion)
2021-02-03 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/14/
Title: Power-admissible sets and ill-founded \omega-models of weak subsystems of ZFC (https://researchseminars.org/talk/BCNSETS/14/)
by Adrian R. D. Mathias (Université de la Réunion) as part of Barcelona Set Theory Seminar

Abstract: TBA

Richard Matthews (University of Leeds)
2021-01-27 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/15/
Title: Taking Reinhardt's Power Away (https://researchseminars.org/talk/BCNSETS/15/)
by Richard Matthews (University of Leeds) as part of Barcelona Set Theory Seminar

Abstract: TBA

Peter Koellner (University of Harvard)
2021-03-24 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/16/
by Peter Koellner (University of Harvard) as part of Barcelona Set Theory Seminar

Abstract: TBA

Brent Cody (Virginia Commonwealth University)
2021-02-24 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/17/
by Brent Cody (Virginia Commonwealth University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Hiroshi Sakai (Kobe University)
2021-02-17 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/18/
by Hiroshi Sakai (Kobe University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Matteo Viale (Università di Torino)
2021-02-10 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/20/
Title: The model-companionship spectrum of set theory, generic absoluteness, and the continuum problem (https://researchseminars.org/talk/BCNSETS/20/)
by Matteo Viale (Università di Torino) as part of Barcelona Set Theory Seminar

Abstract: TBA

Carolin Antos (Universität Konstanz)
2021-03-10 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/21/
by Carolin Antos (Universität Konstanz) as part of Barcelona Set Theory Seminar

Abstract: TBA

Farmer Schlutzenberg (University of Muenster)
2021-04-07 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/24/
by Farmer Schlutzenberg (University of Muenster) as part of Barcelona Set Theory Seminar

Abstract: TBA

Easter break
2021-03-31 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/25/
by Easter break as part of Barcelona Set Theory Seminar

Abstract: TBA

Erin Carmody (Fordham University at Rose Hill)
2021-04-14 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/26/
by Erin Carmody (Fordham University at Rose Hill) as part of Barcelona Set Theory Seminar

Abstract: TBA

Sam Roberts (Universität Konstanz)
2021-04-21 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/27/
Title: Reinhardt's Potentialism (https://researchseminars.org/talk/BCNSETS/27/)
by Sam Roberts (Universität Konstanz) as part of Barcelona Set Theory Seminar

Abstract: TBA

Yair Hayut (Jerusalem)
2021-04-28 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/28/
by Yair Hayut (Jerusalem) as part of Barcelona Set Theory Seminar

Abstract: TBA

Luca Incurvati (UvA (Amsterdam))
2021-05-19 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/29/
by Luca Incurvati (UvA (Amsterdam)) as part of Barcelona Set Theory Seminar

Abstract: TBA

Sakae Fuchino
2021-05-12 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/31/
by Sakae Fuchino as part of Barcelona Set Theory Seminar

Abstract: TBA

David Asperó
2021-05-26 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/32/
by David Asperó as part of Barcelona Set Theory Seminar

Abstract: TBA

Michał Godziszewski (University of Warsaw)
2021-06-02 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/33/
by Michał Godziszewski (University of Warsaw) as part of Barcelona Set Theory Seminar

Abstract: TBA

Wojciech Woloszyn (University of Oxford)
2021-03-17 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/34/
Title: Modal graph theory as a foundation of mathematics (https://researchseminars.org/talk/BCNSETS/34/)
by Wojciech Woloszyn (University of Oxford) as part of Barcelona Set Theory Seminar

Abstract: TBA

Raffaella Cutolo (Università di Napoli)
2021-06-09 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/35/
by Raffaella Cutolo (Università di Napoli) as part of Barcelona Set Theory Seminar

Abstract: TBA

Zhixing You (Chinese Academy of Sciences and Universitat de Barcelona)
2021-09-29 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/36/
Title: Hierarchies of delta-strongly but not full strongly compact cardinals (https://researchseminars.org/talk/BCNSETS/36/)
by Zhixing You (Chinese Academy of Sciences and Universitat de Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Chris Scambler (New York University)
2021-11-24 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/37/
by Chris Scambler (New York University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Philip Welch (Bristol)
2021-10-20 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/38/
Title: The universe constructed from a set (or class) of regular cardinals (https://researchseminars.org/talk/BCNSETS/38/)
by Philip Welch (Bristol) as part of Barcelona Set Theory Seminar

Abstract: TBA

Menachem Magidor
2021-12-01 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/39/
by Menachem Magidor as part of Barcelona Set Theory Seminar

Abstract: TBA

Martina Iannella (Barcelona)
2021-10-27 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/40/
Title: Convex embeddability on linear/circular orders and connections to knot theory (https://researchseminars.org/talk/BCNSETS/40/)
by Martina Iannella (Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Philipp Schlicht (Torino)
2021-12-08 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/41/
by Philipp Schlicht (Torino) as part of Barcelona Set Theory Seminar

Abstract: TBA

Sean Cox
2021-11-03 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/42/
by Sean Cox as part of Barcelona Set Theory Seminar

Abstract: TBA

Luca Motto-Ros
2021-12-15 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/43/
by Luca Motto-Ros as part of Barcelona Set Theory Seminar

Abstract: TBA

Yaroslav Sergeyev
2021-11-10 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/44/
by Yaroslav Sergeyev as part of Barcelona Set Theory Seminar

Abstract: TBA

Rupert McCallum (University of Tübingen)
2022-02-02 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/45/
by Rupert McCallum (University of Tübingen) as part of Barcelona Set Theory Seminar

Abstract: TBA

Will Boney (Texas State University)
2022-05-04 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/46/
Title: Compactness of strong logics and large cardinals (https://researchseminars.org/talk/BCNSETS/46/)
by Will Boney (Texas State University) as part of Barcelona Set Theory Seminar

Abstract: TBA

William Chan (Carnegie Mellon University)
2022-06-01 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/47/
Title: Almost Disjoint Families under Determinacy (https://researchseminars.org/talk/BCNSETS/47/)
by William Chan (Carnegie Mellon University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Peter Holy
2022-05-25 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/48/
Title: Asymmetric Cut and Choose Games (https://researchseminars.org/talk/BCNSETS/48/)
by Peter Holy as part of Barcelona Set Theory Seminar

Abstract: TBA

Sandra Müller (TU Wien)
2022-05-11 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/49/
Title: Inner Models, Determinacy, and Sealing (https://researchseminars.org/talk/BCNSETS/49/)
by Sandra Müller (TU Wien) as part of Barcelona Set Theory Seminar

Abstract: TBA

Kameryn Williams (Sam Houston State University)
2022-06-15 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/51/
by Kameryn Williams (Sam Houston State University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Jeffrey Bergfalk (Barcelona)
2022-06-22 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/52/
by Jeffrey Bergfalk (Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Laura Fontanella (Paris Est-Créteil)
2022-05-18 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/53/
by Laura Fontanella (Paris Est-Créteil) as part of Barcelona Set Theory Seminar

Abstract: TBA

William Mance (Poznan)
2022-06-08 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/54/
Title: Descriptive complexity in number theory and dynamics (https://researchseminars.org/talk/BCNSETS/54/)
by William Mance (Poznan) as part of Barcelona Set Theory Seminar

Abstract: TBA

Omer Ben-Neria (Hebrew University of Jerusalem)
2022-07-20 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/55/
Title: Diamond, Compactness, and product approximations (https://researchseminars.org/talk/BCNSETS/55/)
by Omer Ben-Neria (Hebrew University of Jerusalem) as part of Barcelona Set Theory Seminar

Abstract: TBA

Juan P. Aguilera (Vienna)
2022-10-26 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/57/
by Juan P. Aguilera (Vienna) as part of Barcelona Set Theory Seminar

Abstract: TBA

Christopher Turner (Bristol)
2022-10-19 14:00 - 15:30 | https://researchseminars.org/talk/BCNSETS/58/
Title: Löwenheim-Skolem-Tarski Numbers for Regularity Quantifiers (https://researchseminars.org/talk/BCNSETS/58/)
by Christopher Turner (Bristol) as part of Barcelona Set Theory Seminar

Abstract: TBA

Philipp Lücke (Barcelona)
2022-11-02 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/59/
Title: Rowbottom cardinals and definability (https://researchseminars.org/talk/BCNSETS/59/)
by Philipp Lücke (Barcelona) as part of Barcelona Set Theory Seminar

Abstract: TBA

Maxwell Levine (Universität Freiburg)
2023-02-22 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/60/
Title: On Disjoint Stationary Sequences (https://researchseminars.org/talk/BCNSETS/60/)
by Maxwell Levine (Universität Freiburg) as part of Barcelona Set Theory Seminar

Abstract: TBA

Radek Honzik (Charles University)
2023-03-08 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/61/
Title: Compactness principles at small cardinals and their preservation (https://researchseminars.org/talk/BCNSETS/61/)
by Radek Honzik (Charles University) as part of Barcelona Set Theory Seminar

Abstract: TBA

Boriša Kuzeljević (University of Novi Sad)
2023-03-01 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/62/
Title: Lower bounds of sets of P-points (https://researchseminars.org/talk/BCNSETS/62/)
by Boriša Kuzeljević (University of Novi Sad) as part of Barcelona Set Theory Seminar

Abstract: TBA

Andreas Lietz (Universität Münster)
2023-02-15 15:00 - 16:30 | https://researchseminars.org/talk/BCNSETS/63/
Title: Forcing "NS is \omega_1-Dense" from Large Cardinals (https://researchseminars.org/talk/BCNSETS/63/)
by Andreas Lietz (Universität Münster) as part of Barcelona Set Theory Seminar

Abstract: TBA
