Bonn Mathematical Logic Group

Oberseminar mathematische Logik

Organizers

Time and location

Monday 16.30-18.00 at room 1.007, Endenicher Allee 60, beginning April 16.

The participants of the seminar are welcome for coffee and tea in the Hausdorff-Raum 1.012 at 16.00 before the talks.

Contents

Advanced talks on mathematical logic by guests and members of the logic group.

Plan

16 April Philipp Schlicht (Universität Bonn) Continuous reducibility and dimension
Borel sets and Borel structures such as graphs or equivalence relations can be compared using Borel measurable, Lebesgue measurable, or continuous reducibility. We will look at a construction of an uncountable family of Borel subsets of an arbitrary metric space of positive dimension with the property: No set in the family is a preimage under a continuous map on the space of another set in the family. Together with known results this implies that dimension forms a dividing line for continuous reducibility.
23 April  Andrey Morozov (Novosibirsk State University and Sobolev Institute of Mathematics) On Sigma-presentability over HF(R)
In the talk we consider structures Sigma-definable over HF(R) (the superstructure of hereditarily finite sets over the ordered field of reals). If we replace omega with HF(R), the notion of computable enumerability will naturally change to Sigma-definability over HF(R), and the concept of structure Sigma-definable over HF(R) will be a natural replacement to the concept of computable structure. We will present some general properties of the structures and a characterization of at most countable structures in this class. Special attention will be paid to the question if it is possible to define essentially different isomorphic copies of the reals and to the problem on the number of non-Sigma-isomorphic Sigma-presentations of structures over HF(R).
30 April  no seminar
07 May  Peter Scheiblechner (Hausdorff Center) Effective de Rham Cohomology
A long standing open problem in computational algebraic geometry is to find an algorithm which computes the topological Betti numbers of a semialgebraic set in single exponential time. There has been recent progress on the corresponding problem over the complex numbers. A fundamental Theorem of Grothendieck states that the Betti numbers of a smooth complex variety can be computed via its algebraic de Rham cohomology, which is defined in terms of algebraic differential forms on the variety. In this talk we discuss degree bounds on these differential forms and their importance for the algorithmic computation of Betti numbers. We will start with a moderate introduction to algebraic geometry, and finish with the latest of these results, which is a single exponential degree bound in the case of any smooth affine variety.
Slides
14 May  John Clemens (Universität Münster) Treeable equivalence relations and descriptive complexity
The property of treeability has been well-studied in the context of countable Borel equivalence relations, but has been little studied up to now in the uncountable case. I will discuss a family of treeable equivalence relations which provides new insights into this area as well as the area of potential descriptive complexity. In particular, we show that the collection of treeable Borel equivalence relations is unbounded in the Borel-reducibility hierarchy. Additionally, a generalization of the Kechris-Louveau dichotomoy for E_1 allows us to show that for every Borel equivalence relation which is not essentially hyperfinite we may find equivalence relations of arbitrarily high descriptive complexity with which it is incomparable under Borel reducibility. This is joint work with Dominique Lecomte and Ben Miller.
21 May  Victor Selivanov (Ershov Institute of Informatics Systems) Some variations on the Wadge reducibility
The classical Wadge reducibility provides a nice tool to calibrate the topological complexity of subsets of the Baire space. Since many applications need more complicated spaces than the Baire space and more complicated objects than subsets, it is natural and instructive to search for possible extensions and modifications of the Wadge theory. Several such variations on the Wadge reducibility are known, for example people consider: other natural classes of reducing functions in place of the continuous functions, more complicated spaces than the Baire space, reducibility between functions rather than reducibility between sets, more complicated reductions than the many-one reductions by continuous functions.

In this talk, we review several such variations on the Wadge reducibility including recent results (which are obtained in a joint work with Luca Motto Ros and Philipp Schlicht) on the reductions between subsets of the so called quasi-Polish spaces, and a recent extension of the Wagner hierarchy from the omega-regular languages to the omega-regular k-partitions of the Cantor space (for each natural k>1).
22 May Tuesday 12.15-14.00, Zeichensaal, Wegelerstr. 10 (1. Stock) Robert Lubarsky (Florida Atlantic University) Varieties of the Fan Theorem
24 May Thursday 16.15-18.00, Hausdorffraum 1.012 Andrey Morozov (Novosibirsk State University and Sobolev Institute of Mathematics) Computability and Symmetry
The talk is a survey of results related to symmetries arising in the study of the concept of computability. In particular, we will be speaking about groups of relatively computable permutations, groups of computable automorphisms of computable structures, and Turing degrees of automorphisms and of groups of computable automorphisms of computable structures.
29 May  no seminar
04 June  tba
06 June Wednesday 10.15-12.00 (tentative) Clinton Conley tba
11 June  Matteo Viale (University of Torino) tba
18 June  tba
25 June  Merlin Carl (Universität Konstanz) tba
02 July  Philipp Lücke (Universität Bonn) tba
09 July  no seminar

 

 

Last changed: 08 May 2012