Philip Welch: The Ramified Analytical Hierarchy and Strong Logics

Tuesday, January 17, 2017, 15.00
Howard House 4th Floor Seminar Room

Speaker: Philip Welch (University of Bristol)

Title: The Ramified Analytical Hierarchy and Strong Logics

Abstract:

The ramified analytical hierarchy defined by Kleene builds up a hierarchy of models of subsystems of analysis in a second order definable manner.

We address a question of Kennedy as to what can be done using strong logics to re-define the stages of Kleene’s hierarchy, in the spirit of “Inner Models from Extended Logics” of Kennedy, Magidor, & Väänänen. In this paper they followed a suggestion of Gödel that the definability function used to build the levels of the constructible hierarchy be modified to make use of stronger logics. The resultant hierarchy might, or might not, then be L itself. We show that by changing the logic in the ramified analytical hierarchy allows one to construct, eg., the minimal ‘correct’ model of analysis.

Chris Lambie-Hanson: Reflections on the coloring and chromatic numbers

HUJI Logic Seminar

 The next meeting of the Logic Seminar will be in Wednesday, 18/01, 16:00 – 18:00, Ross 70.
Speaker: Chris Lambie-Hanson

Title: Reflections on the coloring and chromatic numbers

Abstract: Compactness phenomena play a central role in modern set theory, and the investigation of compactness and incompactness for the coloring and chromatic numbers of graphs has been a thriving area of research since the mid-20th century,when De Bruijn and Erdős published their compactness theorem for finite chromatic numbers.

In this talk, we will briefly review some of the highlights in this area and then present new results indicating, firstly, that the coloring number can only exhibit a limit amount of incompactness, and, secondly, that large amounts of incompactness for the chromatic number are compatible with strong compactness statements, including compactness for the coloring number.
This is joint work with Assaf Rinot.

Ralf Schindler: A Hamel basis for the reals without choice

09 January: 16.30
seminar room 0.008
Mathematisches Institut
Universität Bonn
Endenicher Allee 60

Ralf Schindler (Münster) – A Hamel basis for the reals without choice

The Cohen-Halpern-Levy model N has an infinite set of reals without a countable subset. Answering a question of D. Pincus and K. Prikry from 1975, we show that there is a Hamel basis in N. This is joint work with Liuzhen Wu and Liang Yu, inspired by earlier joint work with Mariam Beriashvili. DC fails in N, and it remains open if in the base theory ZF+DC, the existence of a Hamel basis implies that the reals can be wellordered.

Logic Colloquium 2017, August 14-20, 2017

The Logic Colloquium 2017 is the 2017 annual European summer meeting of the Association of Symbolic Logic ASL and will be held during August 14-20, 2017 at the main campus of Stockholm University.

Highlight speakers:

 Tutorial speakers:

Invited speakers:

 

Programme committee

  • Rod Downey (University of Wellington)
  • Ali Enayat (University of Gothenburg)
  • Fernando Ferreira (University of Lisbon)
  • Valentin Goranko (Stockholm University)
  • Martin Hils (University of Münster)
  • Sara Negri (University of Helsinki)
  • Assaf Rinot (Bar Ilan University)
  • Igor Walukiewicz (University of Bordeaux)
  • Mirna Dzamonja (chair, University of East Anglia)

Local organizing committee

  • Mads Dam (KTH Royal Institute of Technology)
  • Valentin Goranko (Stockholm University) (co-chair)
  • Sven-Ove Hansson (KTH Royal Institute of Technology)
  • Vera Koponen (Uppsala University)
  • Roussanka Loukanova (Stockholm University)
  • Peter LeFanu Lumsdaine (Stockholm University)
  • Anders Lundstedt (Stockholm University)
  • Peter Pagin (Stockholm University)
  • Erik Palmgren (Stockholm University) (co-chair)
  • Dag Westerståhl, (Stockholm University)

Thematic semester on Descriptive Set Theory and Polish Groups

This is an announcement of the forthcoming thematic semester on Descriptive Set Theory and Polish Groups that will take place at the Bernoulli Center in Lausanne, Switzerland, from January 1st to June 30th, 2018.

http://bernoulli.epfl.ch/

The focus of the semester will be on Descriptive Set Theory and Polish Groups along with applications in other branches of mathematics. While there will be continuous activity at the center throughout the semester, three conferences and two additional workshops will provide the main events. The themes of these will be

Borel combinatorics and ergodic theory
Structure and dynamics of Polish groups
Descriptive set theory
Ideals and exceptional sets in Polish spaces
Large scale geometry of Polish groups

Salma Kuhlmann: The Baer-Krull Theorem for Quasi-ordered fields

BGU Seminar in Logic, Set Theory and Topology

Tomorrow we continue our seminar in Logic, Set Theory and Topology.
Time: Tuesday, January 3, 12:15-13:30.
Place: Seminar room -101, Math building 58.
Speaker: Salma Kuhlmann (Konstantz)
Title: The Baer-Krull Theorem for Quasi-ordered fields
Abstract:
In my seminar talk on 29.12.2015, I introduced the notion of quasi-ordered fields, proved Fakhruddin’s dichotomy. In this talk, I will present a version of a classical theorem in real algebra (the Baer-Krull theorem) for quasi-ordered fields.

Ludomir Newelski: Stable groups and topological dynamics

HUJI Logic Seminar

The next meeting of the Logic Seminar will be in Wednesday, 04/01/17, between 16:00 – 18:00, Ross 70.

Please forward this mail to anyone that might be interested.
Speaker: Ludomir Newelski
Title: Stable groups and topological dynamics

Abstract: Assume G is a stable group. I will recall an old 2-step theorem of mine on generating a type-definable subgroup of G by a single type. I will discuss some related questions and put them into context of topological dynamics.

Itaï Ben Yaacov: Baby version of the asymptotic volume estimate

HUJI Logic Seminar

Tomorrow (27/12) we will have a lecture of Itaï Ben Yaacov in Sprinzak Building, between 10:00 – 12:00, room 102.

Please forward this mail to anyone that might be interested.

Baby version of the asymptotic volume estimate

Abstract: I’ll show how the Vandermonde determinant identity allows us to

estimate the volume of certain spaces of polynomials in one variable

(or rather, of homogeneous polynomials in two variables), as the degree

goes to infinity.

I’ll explain what this is good for in the context of globally valued

fields, and, given time constraints, may give some indications on the

approach for the “real inequality” in higher projective dimension.

Assaf Rinot: Partitioning a cardinal into fat stationary sets

BIU seminar in Set Theory

On 29/12/2016, 10-12, Building 216, Room 201

  Assaf Rinot

Partitioning a cardinal into fat stationary sets

A subset $F$ of a regular uncountable cardinal $\kappa$ is said to be fat iff for every club $C\subseteq\kappa$, and every ordinal $\alpha<\kappa$, $F\cap C$ contains a closed copy of $\alpha+1$.
By a theorem of H. Friedman from 1974, every stationary subset of $\omega_1$ is fat. In particular, $\omega_1$ may be partitioned into $\omega_1$ many pairwise disjoint fat sets.

In this talk, I shall prove that $\square(\kappa)$ give rise to a partition of $\kappa$ into $\kappa$ many pairwise disjoint fat sets. In particular, the following are equiconsistent:

  1. $\omega_2$ cannot be partitioned into $\omega_2$ many pairwise disjoint fat sets;
  2. $\omega_2$ cannot be partitioned into two disjoint fat sets;
  3. there exists a weakly compact cardinal.

Matthew Foreman: Better lucky than smart: realizing a quasi-generic class of measure preserving transformations as diffeomorphisms

HUJI Logic Seminar

 

The next meeting of the Logic Seminar will be in Wednesday, 28/12/16, 16:00 – 18:00, in Ross Building, 70.

Title: Better lucky than smart: realizing a quasi-generic class of measure preserving transformations as diffeomorphisms.
Speaker: Matthew Foreman
Abstract: In 1932, von Neumann proposed classifying measure preserving diffeomorphisms up to measure isomorphism. Joint work with B. Weiss shows this is impossible in the sense that the corresponding equivalence relation is not Borel; hence impossible to capture using countable methods.

An accidental consequence of the proof addresses a different classical problem: which measure preserving transformations are isomorphic to diffeomorphisms of a compact smooth manifold?
In this talk we discuss the proof that  a quasi-generic class of measure preserving transformations are isomorphic to measure preserving diffeomorphisms of the torus.