On a question of Babai and Sós, a nonstandard approach
Mittwoch, 24.10.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract: In 1985, Babai and Sós asked whether there exists a constant c>0 such that every finite group of order n has a product-free set of size at least cn, where a product-free set of a group is a subset that does not contain three elements x,y and z satisfying xy=z. Gowers showed that the answer is no in the early 2000s, by linking the existence of product-free sets of large density to the existence of low\ndimensional unitary representations.\n\nIn this talk, I will provide an answer to the aforementioned question by model theoretic means. Furthermore, I will relate some of Gowers' results to the existence of nontrivial definable compactifications of nonstandard finite groups.
Splitting trees
Mittwoch, 14.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
We investigate some types of non-ccc tree forcings for adding splitting reals. In particular we focus on some questions concerning the ideals and the regularity properties associated with such splitting trees.\nWe aim to provide a proof for a positive answer to the following question posed by Spinas: Can one prove in ZFC that the additivity of the splitting tree ideal is less than the bounding number?
From collapsing functions to admissible sets
Mittwoch, 21.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
I will present a notion of "almost" order-preserving collapsing function, mapping large ordinals (uncountable/non-recursive) to smaller ones (countable/recursive). While this notion is inspired by impredicative ordinal analysis it does, I believe, lead to natural and elegant objects of set theory. I will show that the existence of collapsing functions is equivalent to the existence of admissible sets, and hence to Pi^1_1-comprehension. This result can also be read as a combinatorial characterization of the Church-Kleene ordinal. A preprint is available as arXiv:1809.06759\n
Nichtäquationale Theorien
Mittwoch, 28.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Quantorenelimination für reine Erweiterungen von abelschen Gruppen
Mittwoch, 28.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Für dreisortige Strukturen (A,B,C), wo B eine reine Erweiterung von\nA ist, und C der Quotient B/A, geben wir eine Quantorenlimination an, die\nFormeln phi(x,..) in Formeln psi(r(x,..),..) übersetzt, die nur noch über die\nSorten A und C sprechen. Dabei sind die Terme r,.. einfache definierbare\nFunktionen von B nach A^eq und C.\n\nDas ist Teil einer gemeinsamen Arbeit mit Aschenbrenner, Chernikov und Gehret.\nAls Folgerung ergibt sich dort zum Beispiel\n\n Sei (K,O) ein henselscher Körper, dessen\n Restklassenkörper k die Charakteristik 0 hat. Dann ist\n (K,O) genau dann distal, wenn k und die Wertegruppe distal\n sind.\n
Quantorenelimination für reine Erweiterungen von abelschen Gruppen
Mittwoch, 28.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Für dreisortige Strukturen (A,B,C), wo B eine reine Erweiterung von\nA ist, und C der Quotient B/A, geben wir eine Quantorenlimination an, die\nFormeln phi(x,..) in Formeln psi(r(x,..),..) übersetzt, die nur noch über die\nSorten A und C sprechen. Dabei sind die Terme r,.. einfache definierbare\nFunktionen von B nach A^eq und C.\n\nDas ist Teil einer gemeinsamen Arbeit mit Aschenbrenner, Chernikov und Gehret.\nAls Folgerung ergibt sich dort zum Beispiel\n\n Sei (K,O) ein henselscher Körper, dessen\n Restklassenkörper k die Charakteristik 0 hat. Dann ist\n (K,O) genau dann distal, wenn k und die Wertegruppe distal\n sind.\n
Quantorenelimination für reine Erweiterungen von abelschen Gruppen
Mittwoch, 28.11.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Für dreisortige Strukturen (A,B,C), wo B eine reine Erweiterung von\nA ist, und C der Quotient B/A, geben wir eine Quantorenlimination an, die\nFormeln phi(x,..) in Formeln psi(r(x,..),..) übersetzt, die nur noch über die\nSorten A und C sprechen. Dabei sind die Terme r,.. einfache definierbare\nFunktionen von B nach A^eq und C.\n\nDas ist Teil einer gemeinsamen Arbeit mit Aschenbrenner, Chernikov und Gehret.\nAls Folgerung ergibt sich dort zum Beispiel\n\n Sei (K,O) ein henselscher Körper, dessen\n Restklassenkörper k die Charakteristik 0 hat. Dann ist\n (K,O) genau dann distal, wenn k und die Wertegruppe distal\n sind. \n\n
Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analyticfunctions with value groups of finite archimedean rank
Donnerstag, 29.11.18, 16:15-17:15, Raum 414, Ernst-Zermelo-Str. 1
We work in a model of the theory of the real field with restricted analytic functions such\nthat its value group has finite archimedean rank. An example is given by the field of Puiseux series over\nthe reals. We show how one can extend the restricted logarithm to a global logarithm with values in the\npolynomial ring over the model with dimension the archimedean rank. The logarithms are determined\nby algebraic data from the model, namely by a section of the model and by an embedding of the value\ngroup into its Hahn group. If the archimedean rank of the value group coincides with the rational rank the\nlogarithms are equivalent. We illustrate how one can embed such a logarithm into a model of the real field\nwith restricted analytic functions and exponentiation. This allows us to define constructible functions with\ngood lifting properties. As an application we establish a full Lebesgue measure and integration theory\nwith values in the polynomial ring.\n
The structure of stable sets
Mittwoch, 19.12.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
We shall begin by explaining the idea behind the so-called "arithmetic regularity lemma" pioneered by Green, which is a group-theoretic analogue of Szemerédi's celebrated regularity lemma for graphs with wide-ranging applications. We will then describe recent joint work with Caroline Terry (University of Chicago), which shows that under the natural model-theoretic assumption of stability the conclusions of the arithmetic regularity lemma can be significantly strengthened, leading to a characterisation of stable subsets of finite abelian groups. In the latter part of the talk, we survey related work by various authors including Alon, Conant, Fox, Pillay, Sanders, Sisask, Terry and Zhao, further exploring this topic from both a combinatorial and a model-theoretic perspective.
On Talagrand's Solution to Maharam's Problem
Mittwoch, 23.1.19, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract:\nEin Submaß \(\bnu\) auf einer Booleschen Algebra \(\bmathcal{B}\) heißt\nausschöpfend, wenn jede disjunkte Folge in \(\bmathcal{B}\) unter \(\bnu\) eine\nNullfolge ist. Zwei Submaße heißen äquivalent, falls sie dieselben\nNullfolgen haben. Eines der beiden Maharamprobleme ist die folgende Frage:\n\n Ist jedes auschöpfende Submaß äquivalent zu einem endlich additiven Maß?\n\n Dieses Problem geht auf eine Frage zurück, die John von Neumann 1937 im\n“Scottish Book” stellte, nämlich ob jede vollständige schwach\n\(\bomega\)-distributive Algebra mit höchstens abzählbaren Antiketten ein\npositives \(\bsigma\)-additives Wahrscheinlichkeitsmaß trägt.\n\n2008 gab Michel Talagrand eine negative Antwort auf das Problem von Maharam\nund damit auch auf von Neumanns Frage. In seinem Beweis konstruiert\nTalagrand zunächst ein pathologisches Submaß, also ein Submaß, das kein\nnichttriviales Maß dominiert.\n\nZiel dieses Vortrags ist, dieses Submaß zu betrachten und zu zeigen, dass\neine ähnliche Konstruktion auf der Cantoralgebra nicht pathologisch ist.
Nonstandard methods in Ramsey Theory.
Mittwoch, 30.1.19, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract: I will present a new technique in nonstandard analysis\nthat has been recently applied in Ramsey Theory of numbers.\n\nTo illustrate the methods, I will present nonstandard proofs\nof fundamental results, such as Ramsey's Theorem and Hindman's Theorem.\nI will also present a couple of simple examples of new results\nabout partition regularity of Diophantine equations.\n\nIn the second part of the talk, I will briefly discuss the\n(discrete) topological dynamics as given by the\nhypernatural numbers of nonstandard analysis\nendowed with the shift operator, and present\na new proof of van der Waerden's Theorem: In any finite\ncoloring of the natural numbers there exist monochromatic\narithmetic progressions of arbitrary length.\n
Nicht-äquationale Theorien
Mittwoch, 6.2.19, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Eine Theorie ist äquational, falls jede Formel\nboolsche Kombination von Gleichungen ist. Eine Formel ist eine Gleichung, falls die Familie endlicher Durschnitte ihrer Instanzen die Absteigenden-Ketten-Bedingung erfüllt. Jede äquationale Theorie ist stabil, aber Sela und Müller-Sklinos zeigten, dass die nicht-abelsche freie Gruppe nicht äquational ist. Jedoch gibt es bisher wenige\nBeispiele stabiler Theorien, welche nicht äquational sind.\n\nIn einer Zusammenarbeit mit Martin Ziegler produzieren wir sämtliche neuen nicht-äquationalen stabilen Theorien, welche auf den von Hrushovski und Sour konstruierten gefärbten Pseudoraum basiert sind.\n