Study programmes
Classes
- Algebras and structures in logicALG119005 | Faculty of Arts
- Logic exercise IALG119009 | Faculty of Arts
- Logic exercise IIALG119010 | Faculty of Arts
- Propositional and predicate logic IALG119011 | Faculty of Arts
- Propositional and predicate logic IIALG119012 | Faculty of Arts
- Mathematical SeminarALGV00035 | Faculty of Arts
- Introduction to finite and infinite combinatoricsALGV19003 | Faculty of Arts
- Set Theory I+ALGV19011 | Faculty of Arts
- Introduction to group and ring theoryALGV19012 | Faculty of Arts
- Infinite treesALGV19014 | Faculty of Arts
Publications
- Small u(kappa) at singular kappa with compactness at kappa(++)2022 | Faculty of Arts
- TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS2022 | Faculty of Arts
- Easton's theorem for the tree property below aleph_omega2021 | Faculty of Arts
- Small u(kappa) at singular kappa with compactness at kappa++2021 | Faculty of Arts
- INDESTRUCTIBILITY OF THE TREE PROPERTY2020 | Faculty of Arts
- The tree property at the double successor of a singular cardinal with a larger gap2018 | Faculty of Arts
- Grigorieff forcing and the tree property2017 | Faculty of Arts
- On some axioms deciding the Continuum Hypothesis2017 | Faculty of Arts
- The tree property below aleph_omega2017 | Faculty of Arts
- The tree property at aleph_{omega+2} with a finite gap2017 | Faculty of Arts
Loading network view...