You are here:
  1. University of Vienna
  2. PHAIDRA
  3. Detail o:2075548
Open in new window
Title (deu)
Separating levels of DC on reals from levels of PD.
Speaker / Lecturer
Bartosz Wcislo
U of Gdańsk
Description (deu)
In a recent article by Friedman, Gitman, and Kanovei, it was shown that AC does not imply DC in the context of second-order arithmetic. The proof was based on a constrution of a certain symmetric extension of L, using Jensen's Diamond Principle. In our talk, we will show that by modifying their construction, we can obtain a model of ZF in which, for a given n, Pi^1_n-determinacy holds, but Pi^1_k dependent choice for real numbers fails for some explicitly given value of k. This presentation is based on joint work with Sandra Müller.
Keywords (deu)
DeterminacyInner ModelsForcing Axioms
Subject (eng)
ÖFOS 2012 -- 101 -- Mathematics
Type (eng)
lecture
Language
English [eng]
Persistent identifier
https://phaidra.univie.ac.at/o:2075548
Project
Title (deu)
Determinacy, Inner Models and Forcing Axioms
Project description (eng)
Workshop
Start date
2024-06-24
End date
2024-06-28
Project homepage
https://www.esi.ac.at/events/e536/
Date created
2024-06-24
Place of creation (eng)
ESI
Duration
45 minutes 50 seconds
Association (eng)
Research Platform Erwin Schrödinger International Institute for Mathematical Physics (ESI)
License
All rights reserved