Tuesday,
20220503
14:3016:00

Raum 404, ErnstZermeloStr. 1
Charlotte Bartnick:
The group configuration in stable theories
A group configuration is a geometric incidence configuration consisting of 6 points which in stable theories is related to the existence of a type definable group. In the first part of the talk, we will introduce the above concepts and point out why a group gives rise to a group configuration. Moreover, by a result from Hrushovski, any group configuration in a stable theory yields the existence of a type definable group. We will discuss the basic ideas of this proof. The second part of the talk will present an application. Hrushovski and Pillay showed that any definable group in a real closed field F is locally isomorphic to the Frational points of an algebraic group defined over F. This is achieved by considering a group configuration of the group in the algebraic closures of F. 
Tuesday,
20220524
14:30

Raum 404, ErnstZermeloStr. 1
Jörg Flum:
Classes of graphs characterizable by finitely many homomorhism counts
In 1967 Lovász showed that up to isomorphism every finite relational structure A is determined by the homomorphism counts hom(B,A), i.e, by the number of homomorphisms from B to A, where B ranges over all structures (of the same vocabulary as A).
Moreover, it suffices that B ranges over the structures with at most as many elements as A.
In the talk, we deal with classes C of graphs characterizable by finitely many homomorphism counts, i.e., classes for which there are finitely many graphs F_1,...,F_k such that for every graph G already hom(F_1,G),...,hom(F_k,G) determines whether G is in C. Among others, we show which prefix classes of firstorder logic have the property that each class of graphs definable by a sentence of this prefix class is characterizable by finitely many homomorphism counts. 
Tuesday,
20220531
14:30

Raum 404, ErnstZermeloStr. 1
Daniel Palacín (Complutense Madrid):
The space of types with a spectral topology
Influenced by results in real algebraic geometry, Pillay pointed out in 1988 that the space of types of an ominimal expansion of a real closed field admits a spectral topology. With this topology, this space is quasicompact and T_0, yet not Hausdorff. Nonetheless, the subspace of all closed points turns out to be quasicompact and Hausdorff.
In this talk, I will relate the space of closed points with other topological spaces, such as the space of mutypes considered first by Peterzil and Starchenko. In addition, I will explain how to characterize coheir types of an ominimal expansion of a real closed field within invariant types, using the spectral topology. 
Tuesday,
20220621
14:30

Raum 404, ErnstZermeloStr. 1
Christian Bräuninger:
Blockfilters as Parameter Sets of TreeForcings
The space of blocks consists of all nonempty finite sets of natural numbers. Given any filter on the natural numbers, the sets of blocks of filter elements generate a filter on the blockspace and, vice versa, each filter on the blockspace yields a filter on the natural numbers by taking unions of filter elements.
In this talk, we will make some observations about this relation and the question of whether the maximality of filters is or can possibly be preserved by it. As an application we will show how filters and coideals on the blockspace can be used as parameter sets of treeforcings with the aim of diagonalizing a given filter on the natural numbers. 
Tuesday,
20220628
14:30

Raum 404, ErnstZermeloStr. 1
Hannes Jakob:
Generalised Tree Properties
The talk will be a survey of my master's thesis. The topic of the thesis are two cardinal properties which are similar to the tree property and arise naturally from the consideration of a generalised tree.
We will first introduce both properties and then outline their similarities and differences, both in the way they can be proven consistent at small cardinals and what they imply.
We will show that, despite being equivalent for inaccessible cardinals, one property is strictly stronger than the other at small cardinals. 
Tuesday,
20220726
14:30

Raum 404, ErnstZermeloStr. 1
Maxwell Levine:
Compactness for weak square at singulars of uncountable cofinality
We study versions of Jensen's square principle $\square_\kappa$, a combinatorial principle that holds for all cardinals $\kappa$ in Gödel's constructible universe $L$. Cummings, Foreman, and Magidor proved that the square principle is noncompact at $\aleph_\omega$, meaning that it is consistent that $\square_{\aleph_n}$ holds for all $n<\omega$ while
$\square_{\aleph_\omega}$ fails. We investigate the natural question of whether this phenomenon generalizes for singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square principle $\square_\kappa^*$ is in fact compact at singulars of uncountable cofinality, and that an even stronger version of these hypotheses is not enough for compactness of weak square at $\aleph_\omega$. 
Tuesday,
20220920
14:30

Raum 404, ErnstZermeloStr. 1
Patrick Meurin:
Keisler‘s Order and Boolean Ultrapowers
In 1967, Keisler introduced a partial order on firstorder theories, that depends, roughly speaking, on whether certain ultrapower models of the theories in question are $\lambda^+$saturated. In a preprint of 2018, Douglas Urich introduced among other things a Compactness Theorem for Booleanvalued structures, generalized the machinery developed previously by Malliaris and Shelah and provided more flexible tools for proving or disproving propositions of the form ``$T_0 \trianglelefteq T_1$‘‘, making use of Boolean ultrapowers for more general complete Boolean algebras. Our thesis consists in a detailed walkthrough of Ulrich‘s results and we will briefly present some of them in this talk. 