Schriftzug: Fachbereich Mathematik 
  UHH > Fakultäten > MIN-Fakultät > Mathematik > Bereiche > Mathematische Logik   Sitemap Suchen Hilfe there is no english version of this page  
Amsterdam Workshop on Set Theory 2014 (AST 2014)

Amsterdam Workshop on Set Theory 2014
Generalized Baire Space
3 & 4 November 2014
Amsterdam (The Netherlands)

The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

Everyone is cordially invited to attend.

Organizers: Giorgio Laguzzi, Benedikt Löwe, Hugo Nobrega, Ilya Sharankou.

Location: Room C1.13 (Belle van Zuylen Hall), Singel 425, 1012 WP Amsterdam, Netherlands. How to get there


Participants

Andrew Brooke-Taylor (Bristol), Sziráki Dorottya (Helsinki), Peter Holy (Bristol), Yurii Khomskii (Vienna), Vadim Kulikov (Vienna), Giorgio Laguzzi (Freiburg), Benedikt Löwe (Amsterdam & Hamburg), Philipp Lücke (Bonn), Diana Carolina Montoya Amaya (Vienna), Miguel Moreno (Helsinki), Luca Motto Ros (Freiburg), Hugo Nobrega (Amsterdam), Philipp Schlicht (Bonn), Ilya Sharankou (Hamburg), Jouko Väänänen (Helsinki & Amsterdam).

Program

03.11.2014, Monday
 
9:45-11:15 Jouko Väänänen (Helsinki & Amsterdam)
Games, trees and models—a tutorial in Generalized Baire Spaces, (slides)
11:15-11:40 Coffee Break
11:40-12:40 Philipp Schlicht (Bonn)
Introduction to generalized descriptive set theory, (slides)
12:40-14:00 Lunch Break
14:00-14:45 Luca Motto Ros (Freiburg)
The Hurewicz dichotomy for generalized Baire spaces, (slides)
15:00-15:45 Philipp Lücke (Bonn)
The influence of closed maximality principles on generalized Baire space, (slides)
15:45-16:15 Coffee Break
16:15-17:00 Peter Holy (Bristol)
Δ11 subsets of κκ , (slides)
17:15-18:00 Yurii Khomskii (Vienna)
Regularity properties on the generalized reals, (slides)
 
 
04.11.2014, Tuesday
 
10:15-11:15 Andrew Brooke-Taylor (Bristol)
Building κ-complete filters for supercompact κ, (slides)
11:15-11:45 Coffee Break
11:45-12:30 Vadim Kulikov (Vienna)
Orbit Equivalence Relations and Borel Reducibility on the Generalized Baire Space, (slides)
12:30-14:00 Lunch Break
14:00-14:45 Giorgio Laguzzi (Freiburg)
Generalized random forcing
15:00-16:00 Final discussion session

Abstracts

Jouko Väänänen (Helsinki & Amsterdam)
Games, trees and models—a tutorial in Generalized Baire Spaces

As a background to Generalized Baire Spaces I first present a game-theoretic approach to identifying uncountable structures, covering EF-games on uncountable models, trees as clocks of games, and the relevant ordering of trees. We then delve into the topic of Generalized Baire Spaces and higher descriptive set theory. Here the focus is on the topological aspects of uncountable models, arising from our game-theoretic approach. Essentially, we generalize descriptive set theory from the classical Baire space to higher Baire spaces, such as the space of models of a fixed uncountable cardinality. Finally we return to the motivating question of finding invariants for uncountable models, and investigate this question for models of countable complete first order theories. We relate the existence of trees as invariants of uncountable models of a given first order theory to stability theoretic properties of the theory.



Philipp Schlicht (Bonn)
Introduction to generalized descriptive set theory

We give an overview over the theory of definable subsets of generalized Baire spaces which will cover results of Mekler-Väänänen, Friedman-Hyttinen-Kulikov, Lücke-Schlicht and Motto Ros.



Andrew Brooke-Taylor (Bristol)
Building κ-complete filters for supercompact κ

When trying to generalize arguments from the omega case in which filters are constructed inductively through a forcing iteration, a common problem is to prove that κ-completeness is preserved at limit stages. If κ is supercompact, however, a technique of Dzamonja and Shelah may sometimes be used to overcome this problem. I will describe this method, focusing on the case of constructing a model with u(κ) strictly less than 2κ.



Luca Motto Ros (Freiburg)
The Hurewicz dichotomy for generalized Baire spaces (joint with Philipp Schilicht and Philipp Lücke)

Hurewicz showed that every analytic subset of the Baire space ωω is either covered by a countable union of compact sets, or else it contains a closed set homeomorphic to ωω. We show that it is consistent that the analogous statement for the generalized Baire space κκ, called the Hurewicz dichotomy for κ, holds for any given uncountable cardinal kappa such that κ = κ. Moreover, it is also consistent that the Hurewicz dichotomy holds simultaneously at all uncountable regular cardinals κ, as well as that it fails simultaneously at all uncountable regular κ. We further show that the combinations of the Hurewicz dichotomy with the perfect set property and with its negation are both consistent. Finally, we present two applications of these results concerning a topological characterization of κ-Canjar filters and a combinatorial regularity property called κ-Miller measurability.



Philipp Lücke (Bonn)
The influence of closed maximality principles on generalized Baire space

Given an uncountable regular cardinal κ, we say that a set of functions from κ to κ is a Σ11-subset of κκ if it is definable over the structure H+) by a Σ1-formula with parameters. It is well-known that many basic and interesting questions about such sets are not decided by the axioms of ZFC plus large cardinal axioms. In my talk, I want to present different extensions of ZFC that settle many of those questions by providing a nice structure theory for the class of Σ11-subsets of κκ in the case where κ is an uncountable cardinals with κ= κ. These axioms are variants of the maximality principle introduced by Jonathan Stavi and Jouko Väänänen and later rediscovered by Joel Hamkins.



Peter Holy (Bristol)
Δ11 subsets of κκ (joint with Philipp Lücke)

I will present a notion of forcing that, for some particular choices of definition φ for a class of subsets of κκ (our standard examples for φ will specify the class of wellorders of κκ or the class of Bernstein subsets of κκ), is capable of producing a generic extension in which some subset of κκ satisfying φ becomes Σ11- (or sometimes Δ11)-definable, and will discuss some applications of this technique.



Yurii Khomskii (Vienna)
Regularity properties on the generalized reals (joint with Sy-David Friedman and Vadim Kulikov)

We investigate regularity properties derived from tree-like forcing notions in the setting of generalized descriptive set theory. Unlike the classical situation, generalised analytic sets typically do not satisfy regularity properties of this kind, and the generalised Δ11 level reflects some (but not all) properties of the classical Δ12 level. We present an abstract theory and apply it to a number of examples. There are still many open questions in this field, including the basic question of whether we are looking at the right kind of regularity properties.



Vadim Kulikov (Vienna)
Orbit Equivalence Relations and Borel Reducibility on the Generalized Baire Space (joint with Sy-David Friedman and Tapani Hyttinen)

We outline some of our recent results concerning Borel reducibility of relevant equivalence relations to each other, in particular orbit equivalence relations. We show that when κκ =κ > ω, the analogue of E0 is universal among all orbit equivalence relations induced by an action of a group of size at most κ. Moreover it has been observed that the analogue of E1 is reducible to E0 (in the case of κ = ω, E1 is not even reducible to any orbit equivalence relation induced by a Borel Polish group action). Further, we state without proofs (or with sketches, if time permits) that the jump of identity, and hence any Borel isomorphism relation, is Borel reducible to the equivalence relation modulo the non-stationary ideal. Also, unlike in the case κ = ω, not all small equivalence relation are induced by a group action, in fact there is a smooth equivalence relation with classes of size two which is not induced by a Borel action of a group of size at most κ. We conclude with some applications to model theory and open questions.



Giorgio Laguzzi (Freiburg)
Generalized random forcing (joint with Sy-David Friedman)

A non-trivial issue concerning tree-like forcings in the generalized framework is to introduce a random-like forcing, where random-like means to be κκ-bounding, <κ-closed and κ+-cc simultaneously. Shelah managed to do that for κ weakly compact. In this talk we aim at introducing a forcing satisfying these three properties for κ inaccessible, and not necessarily weakly compact.




How to get there:

From Hotel Citadel (~12 min walk):

From Rho Hotel (~9 min walk):


2014/02473/EW

  Seitenanfang  Impressum 2014-11-07, BL, wwwmath (JMD)