Dividing lines in positive model theory
Dienstag, 25.10.22, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Positive logic is first-order logic where formulas are built without negation and using only existential quantifiers. By choosing the right languages to work with, this turns out to be a proper generalization of first-order logic. It is then natural to ask how much of usual model theory we can transfer to this setting; for example, one might ask about the dividing lines in classification theory, such as stability and simplicity: these notions, mostly introduced by Shelah, have been fruitfully used to classify theories with respect to various properties, for example the number of their models in a given cardinality or the existence of certain independence relations.\nIn this talk I will briefly introduce positive model theory and some of the ideas about dividing lines, before discussing some work in progress (joint with Anna Dmitrieva and Mark Kamsma) about their interplay.
Simplicity of the automorphism group of fields with operators
Dienstag, 8.11.22, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
In a recent preprint with T. Blossier, Z. Chatzidakis and C. Hardouin, we have adapted a proof of Lascar to show that certain groups of automorphisms of various theories of fields with operators are simple. It particularly applies to the theory of difference closed fields, which is simple and hence has possibly no saturated models in their uncountable cardinality. \n \n
Failure of GCH on a Measurable Cardinal
Dienstag, 15.11.22, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Let GCH hold in \(V\), and let \(\bkappa\) be a cardinal with a definable elementary embedding \(j:V\brightarrow M\) such that \({\brm crit}(j)=\bkappa\), \({}^{\bkappa}M\bsubseteq M\) and \(\bkappa^{++}=(\bkappa^{++})^{M}\) (in particular, \(\bkappa\) is measurable). H. Woodin proved that there is a cofinality preserving generic extension in which \(\bkappa\) stays measurable and GCH fails on it. This is achieved by using an Easton support iteration of Cohen forcings for having \(2^{\balpha}=\balpha^{++}\) for every inaccessible \(\balpha\bleq\bkappa\), and then adding an additional forcing to ensure the elementary embedding extends to the generic extension. Y. Ben Shalom proved in his thesis that this last forcing is unnecessary for the construction, and further extended the result to get \(2^{\bkappa}=\bkappa^{+\bgamma}\) assuming \(\bkappa^{+\bgamma}=(\bkappa^{+\bgamma})^{M}\), for any successor ordinal \(1<\bgamma<\bkappa\). We will present these results in some detail, and further extend the result of Ben Shalom for \(\bgamma=\bkappa+1\) assuming \(\bkappa^{+\bkappa+1}=(\bkappa^{+\bkappa+1})^{M}\).
Predicting with Diamond Sequences and with Ostaszewski Club Sequences
Dienstag, 22.11.22, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
An Ostaszewski club sequence is a weakening of Jensen's diamond.\nIn contrast to the diamond, the club does not imply the continuum hypothesis.\nNumerous questions about the club stay open, and we know only few models in which\nthere is just a club sequence but no diamond sequence. In recent joint\nwork with Shelah we found that a winning strategy for the completeness player\nin a bounding game on a forcing order does not suffice to establish the club\nin the extension.
Ramsey Theory and a New Forcing Order
Dienstag, 6.12.22, 14:30-15:30, Raum 318, Ernst-Zermelo-Str. 1
We use parametrized localized Ramsey spaces to\ndefine a new kind of forcing orders. There will be a generalized\ntype of fusion sequence for showing that the forcings preserve\n\(\baleph_1\).\n
A Proof of the Halpern-Läuchli Partition Theorem without Metamathematical Argumentation
Dienstag, 24.1.23, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
The Halpern-Läuchli Theorem is a fundamental Ramsey type principle concerning partitions of finite products of trees. Historically the proof of the theorem was given using meta-mathematical reasoning. We will show a direct proof given by S.A Argyros, V. Felouzis and V. Kanellopoulos that uses anly standard mathematical arguments. The theorem talks about finite dimensional products of trees, but (time permitting) we will give a discussion of the infinite dimensional case.
Disjoint Stationary Sequences
Dienstag, 7.2.23, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Disjoint stationary sequences were introduced by Krueger to study\nforcings that add clubs through stationary sets. We answer a question\nof his by obtaining disjoint stationary sequences on successive\ncardinals. This talk will survey the area developed by Krueger and\npresent the general idea of our new result.