Piotr Szewczak: The Scheepers property and products of Menger spaces

Tuesday, March 14, 2017, 17:15
Wrocław University of Technology, 215 D-1

Speaker: Piotr Szewczak (Cardinal Stefan Wyszynski University in Warsaw)

Title: The Scheepers property and products of Menger spaces

Abstract:

A topological space $X$ is Menger if for every sequence of open covers $\mathcal{O}_1, \mathcal{O}_2,\ldots $ of the space $X$, there are finite subfamilies $\mathcal{F}_1\subseteq \mathcal{O}_1, \mathcal{F}_2\subseteq\mathcal{O}_2,\ldots $ such that their union is a cover of $X$. If, in addition, for every finite subset $F$ of $X$ there is a natural number $n$ with $F\subseteq\bigcup\mathcal{F}_n$, then the space $X$ is Scheepers. The above properties generalize $\sigma$-compactness, and Scheepers’ property is formally stronger than Menger’s property. It is consistent with ZFC that these properties are equal.

One of the open problems in the field of selection principles is to find the minimal hypothesis that the above properties can be separated in the class of sets of reals. Using purely
combinatorial approach, we provide examples under some set theoretic hypotheses. We apply obtained results to products of Menger spaces

This a joint work with Boaz Tsaban (Bar-Ilan University, Israel) and Lyubomyr Zdomskyy (Kurt Godel Research Center, Austria).

Peter Holy: A Hierarchy of Ramsey cardinals

Tuesday, March 7, 2017, 15.00
Howard House 4th Floor Seminar Room

Speaker: Peter Holy (Hausdorff Centre, University of Bonn)

Title: A Hierarchy of Ramsey cardinals

Abstract:

I will introduce a hierarchy of large cardinal notions in the area of Ramsey cardinals, that in particular are closely related to Victoria Gitman’s Ramsey-like cardinals. I will show this hierarchy to be a proper hierarchy, and the cardinals in this hierarchy to have a range of equivalent characterizations, using either infinite games, elementary embeddings or filters. I will try to argue that the cardinals kappa that top our hierarchy, which are what we call the kappa-Ramsey cardinals, may be seen as a more natural (and slightly stronger) version of Gitman’s super Ramsey cardinals. This is joint work with Philipp Schlicht.

Marcin Sabok: Hyperfiniteness of boundary actions of cubulated hyperbolic groups

Place: Fields Institute (Room 210)

Date: March 3rd, 2017 (13:30-15:00)

Speaker: Marcin Sabok

Title: Hyperfiniteness of boundary actions of cubulated hyperbolic groups

Abstract:  An old result of Dougherty, Jackson and Kechris implies that the
boundary action of the free group F2 induces a hyperfinite equivalence
relation. During the talk, I will discuss generalizations of this theorem
to the class of hyperbolic groups. The examples discussed will include
groups acting properly and cocompactly on CAT(0) cube complexes. This is
joint work with Jingyin Huang and Forte Shinko.

Rick Statman: Backus FP is Turing complete

Mathematical logic seminar – Feb 28 2017
Time:     3:30pm – 4:30 pm

Room:     Wean Hall 8220

Speaker:         Rick Statman
Department of Mathematical Sciences
CMU

Title:     Backus FP is Turing complete

Abstract:

Cartesian monoids are rather simple algebraic structures of which you know many examples. They also travel under many assumed names such as Cantor algebras, Jonsson-Tarski algebras, and Freyd-Heller monoids. John Backus’s FP is just the theory of Cartesian monoids together with fixed points for all Cartesian monoid polynomials.

In his 1977 Turing Award address, John Backus introduced the model of functional programming called “FP”. FP is a descendant of the Herbrand-Godel notion of recursive definablity and the ancestor of the programming language Haskell. One reason that FP is attractive is that it provides “an algebra of functional programs”. However, Backus did not believe that basic FP was powerful enough;

“FP systems have a number of limitations….. If the set of primitive functions and functional forms is weak, it may not be able to express every computable function”. John Backus, 1977 ACM Turing award lecture.

and he moved on to stronger systems. It turns out that, in this respect, Backus was mistaken. Here we shall show that FP can compute every partial recursive function.

Deirdre Haskell: Using model theory to find upper bounds on VC density

Mathematical logic seminar – Feb 21 2017
Time:     3:30pm – 4:30 pm

Room:     Wean Hall 8220

Speaker:         Deirdre Haskell
Department of Mathematics and Statistics
McMaster University

Title:     Using model theory to find upper bounds on VC density

Abstract:

The VC dimension of a collection of sets is a concept used in probability and learning theory. It is closely related to the model-theoretic concept of the independence property. In this talk, I will illustrate these concepts in various examples, and show how the model-theoretic approach can give some bounds on VC density.

Sergio Garcia-Balan: On star selection principles

Place: Fields Institute (Room 210)

Date: February 17th, 2017 (13:30-15:00)

Speaker: Segio Garcia-Balan

Title: On star selection principles

Abstract: In the theory of selection principles, an important result (due to L. Aurichi), states that every Menger space is a D-space. Motivated by this result, we will discuss the star versions of the Menger property and some other selection principles in specific topological spaces. We will also talk about the game version of some of these principles. This is joint work with Javier Casas de la Rosa and Paul Szeptycki.

Sam Dworetzky: The classification problem for models of Peano Arithmetic

Tuesday, February 14 from 3 to 4pm
Room: MB 124
Speaker: Sam Dworetzky (BSU)
Title: The classification problem for models of Peano Arithmetic

Abstract: It is well known that the countable models of Peano Arithmetic (PA) are complicated to classify. In this talk we will make this precise using the language of Borel complexity theory. We will use a construction of Gaifman to show there is a Borel reduction from the isomorphism relation on linear orders to the isomorphism relation on models of PA.

Monika Seisenberger: Programs from constructive and classical proofs

Tuesday, February 28, 2017, 15.00
Howard House 4th Floor Seminar Room

Speaker: Monika Seisenberger (Swansea University)

Title: Programs from constructive and classical proofs

Abstract:

Program extraction from formal proofs is a powerful proof theoretic technique based on realisability to obtain provably correct programs. In this talk we give a short overview on the state-of-the-art, give several examples for program extraction from constructive proofs in different areas (Well-quasiorders, Sat Solving, Parsing), and also show how classical proofs which are often more concise and elegant compared to a constructive counterpart can lead to interesting programs. The case studies are carried out in the interactive theorem prover Minlog.

Philipp Lücke: Sigma_1-partition properties

Tuesday, February 14, 2017, 15.00
Howard House 4th Floor Seminar Room

Speaker: Philipp Lücke (Hausdorff Centre, University of Bonn)

Title: Sigma_1-partition properties

Abstract:

We consider colourings of the set of pairs of countable ordinals with two colours that are definable by Sigma_1-formulas that only use the first uncountable cardinal omega_1 and real numbers as parameters. We present results showing that the existence of a measurable cardinal above a Woodin cardinal implies that uncountable homogeneous sets exist for all such colourings. In contrast, a failure of this partition property is compatible with the existence of a single Woodin cardinal. Finally, we show that similar definable partition properties can hold for large cardinals that are not weakly compact; e.g. stationary limits of omega_1-iterable cardinals.

Ioannis Souldatos: L_{omega_1,omega}-sentences with maximal models in two cardinalities, part II

Thursday, February 16, 2017, from 4 to 5:30pm
East Hall, room 2866

Speaker: Ioannis Souldatos (University of Detroit Mercy)

Title: L_{omega_1,omega}-sentences with maximal models in two cardinalities, part II

Abstract:

This will be part II of the talk on complete L_{omega_1,omega}-sentences with maximal models
in (at least) two cardinalities. The talk will be self-contained.

Sample theorems

Theorem: If kappa is homogeneously characterizable and mu is the least such that 2^mu>=kappa, then there is a complete L_{omega_1,omega}-sentence with maximal models in cardinalities
2^lambda, for all mu<=lambdaaleph_0 is the least such that mu^omega>=kappa, then there is a complete L_{omega_1,omega}-sentence with maximal models in cardinalities kappa^omega and kappa.

Theorem (Baldwin-Shelah) If mu is the first measurable cardinal and phi belongs to L_{omega_1,omega}, then no model of phi of size greater or equal to mu is maximal with respect to the L_{omega_1,omega}-elementary substructure relation.