Study programme
Publications
- Capturing sets of ordinals by normal ultrapowers2023 | Faculty of Arts
- Small u(kappa) at singular kappa with compactness at kappa(++)2022 | Faculty of Arts
- Small u(kappa) at singular kappa with compactness at kappa++2021 | Faculty of Arts
- The tree property at aleph_{omega 2} with a finite gap2020 | Faculty of Arts
- INDESTRUCTIBILITY OF THE TREE PROPERTY2020 | Faculty of Arts
- A Laver-like indestructibility for hypermeasurable cardinals2019 | Faculty of Arts
- The tree property and the continuum function below aleph_omega2018 | Faculty of Arts
- The tree property at the double successor of a singular cardinal with a larger gap2018 | Faculty of Arts
- The Hyperuniverse Project and Maximality2018 | Faculty of Arts
- The tree property2017 | Faculty of Arts
Classes
- Logic seminar IALG519021 | Faculty of Arts
- Logic seminar IIALG519022 | Faculty of Arts
- Mathematical Seminar IIALGV00036 | Faculty of Arts
- Research seminar in LogicALGV00121 | Faculty of Arts
- Interactive theorem proving seminarALGV00123 | Faculty of Arts
- Doctoral Seminar IAXLODOS01 | Faculty of Arts
- Doctoral Seminar IIAXLODOS02 | Faculty of Arts
- Departmental Theoretical and Methodological Seminar IAXLOTMS02 | Faculty of Arts
- Departmental Theoretical and Methodological Seminar IIAXLOTMS03 | Faculty of Arts
- AlgebraALG100016 | Faculty of Arts
Loading network view...