2019 seminar talk: Simple definitions of complicated sets

Talk held by Philipp Lücke (Universität Bonn, Germany) at the KGRC seminar on 2019-05-02.

Abstract

For many types of pathological sets of real numbers (i.e. sets of reals constructed with the help of the Axiom of Choice), it is possible to use results from descriptive set theory to show that these sets cannot be defined by simple formulas in second-order arithmetic. In this talk, I want to present results dealing with the set theoretic definability of pathological objects, i.e. with the question whether objects usually obtained from the Axiom of Choice can be defined in the structure $\langle\mathrm{V},\in\rangle$ using simple formulas. I will focus on the definability of well-orderings of the reals and bistationary subsets of uncountable regular cardinals.

Time and Place

Tea at 3:30pm in the KGRC meeting room

Talk at 4:00pm in the KGRC lecture room

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.