Publications
These are the publications of our team under TU Vienna affiliation.
Sandra Müller
- | The consistency strength of determinacy when all sets are universally Baire at reposiTUm , opens an external URL in a new windowMüller, S. (2025). The consistency strength of determinacy when all sets are universally Baire. Advances in Mathematics, 481, Article 110548. https://doi.org/10.1016/j.aim.2025.110548
- | Towards a generic absoluteness theorem for Chang models at reposiTUm , opens an external URL in a new windowMüller, S., & Sargsyan, G. (2025). Towards a generic absoluteness theorem for Chang models. Advances in Mathematics, 476, Article 110357. https://doi.org/10.1016/j.aim.2025.110357
- | Chang models over derived models with supercompact measures at reposiTUm , opens an external URL in a new windowGappo, T., Müller, S., & Sargsyan, G. (2025). Chang models over derived models with supercompact measures. Journal of Mathematical Logic, Article 2550007. https://doi.org/10.1142/S0219061325500072
- | Gödel’s program in set theory at reposiTUm , opens an external URL in a new windowMüller, S., & Sargsyan, G. (2025). Gödel’s program in set theory. MONATSHEFTE FUR MATHEMATIK, 208, 729–750. https://doi.org/10.1007/s00605-025-02086-x
- | Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions at reposiTUm , opens an external URL in a new windowMüller, S. (2024). Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions. Internationale Mathematische Nachrichten, 78(255), 13–21.
- | Infinite Games and Large Cardinals: Attacking Independence by Connecting the Hierarchies at reposiTUm , opens an external URL in a new windowMüller, S. (2024). Infinite Games and Large Cardinals: Attacking Independence by Connecting the Hierarchies. In AILA - XXVIII Incontro di Logica Udine, 3-6 September 2024: Book of Abstracts (pp. 6–7).
- | Uniformization and internal absoluteness at reposiTUm , opens an external URL in a new windowMüller, S., & Schlicht, P. (2023). Uniformization and internal absoluteness. Proceedings of the American Mathematical Society, 151(7), 3089–3102. https://doi.org/10.1090/proc/16155
- | Structural properties of the stable core at reposiTUm , opens an external URL in a new windowFriedman, S.-D., Gitman, V., & Müller, S. (2023). Structural properties of the stable core. Journal of Symbolic Logic, 1–30. https://doi.org/10.1017/jsl.2023.10
- | An undecidable extension of Morley's theorem on the number of countable models at reposiTUm , opens an external URL in a new windowEagle, C. J., Hamel, C., Müller, S., & Tall, F. D. (2023). An undecidable extension of Morley’s theorem on the number of countable models. Annals of Pure and Applied Logic, 174(9), Article 103317. https://doi.org/10.1016/j.apal.2023.103317
- | Σ₁-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders at reposiTUm , opens an external URL in a new windowLücke, P., & Müller, S. (2023). Σ₁-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders. Forum of Mathematics, Sigma, 11, Article e103. https://doi.org/10.1017/fms.2023.102
- | Determinacy Axioms and Large Cardinals at reposiTUm , opens an external URL in a new windowMüller, S. (2023). Determinacy Axioms and Large Cardinals. In M. K. Banerjee & V. S. Sreejith (Eds.), Logic and Its Applications. ICLA 2023 (pp. 68–78). https://doi.org/10.1007/978-3-031-26689-8_5
- | Lebesgue’s density theorem and definable selectors for ideals at reposiTUm , opens an external URL in a new windowMüller, S., Schlicht, P., Schrittesser, D., & Weinert, T. V. (2022). Lebesgue’s density theorem and definable selectors for ideals. Israel Journal of Mathematics, 249(2), 501–551. https://doi.org/10.1007/s11856-022-2312-8
- | Constructing Wadge classes at reposiTUm , opens an external URL in a new windowCarroy, R., Medini, A., & Müller, S. (2022). Constructing Wadge classes. Bulletin of Symbolic Logic, 28(2), 207–257. https://doi.org/10.1017/bsl.2022.7
- | Perfect Subtree Property for Weakly Compact Cardinals at reposiTUm , opens an external URL in a new windowHayut, Y., & Müller, S. (2022). Perfect Subtree Property for Weakly Compact Cardinals. Israel Journal of Mathematics, 865–886. https://doi.org/10.1007/s11856-022-2385-4
- | Long Games and σ-Projective Sets at reposiTUm , opens an external URL in a new windowAguilera, J. P., Müller, S., & Schlicht, P. (2021). Long Games and σ-Projective Sets. Annals of Pure and Applied Logic, 172, Article 102939. https://doi.org/10.1016/j.apal.2020.102939
- | Closure properties of measurable ultrapowers. at reposiTUm , opens an external URL in a new windowLücke, P., & Müller, S. (2021). Closure properties of measurable ultrapowers. Journal of Symbolic Logic, 86(2), 762–784. https://doi.org/10.1017/jsl.2021.29
- | HOD in inner models with Woodin cardinals. at reposiTUm , opens an external URL in a new windowMüller, S., & Sargsyan, G. (2021). HOD in inner models with Woodin cardinals. Journal of Symbolic Logic, 86(3), 871–896. https://doi.org/10.1017/jsl.2021.61
- | Projective Games on the Reals at reposiTUm , opens an external URL in a new windowAguilera, J. P., & Müller, S. (2020). Projective Games on the Reals. Notre Dame Journal of Formal Logic, 61(4). https://doi.org/10.1215/00294527-2020-0027
- | The Consistency Strength of Long Projective Determinacy at reposiTUm , opens an external URL in a new windowAguilera, J. P., & Müller, S. (2020). The Consistency Strength of Long Projective Determinacy. Journal of Symbolic Logic, 85(1), 338–366. https://doi.org/10.1017/jsl.2019.78
William Chan
- | Classification of Cardinal Exponentiation and the Exponent ω. at reposiTUm , opens an external URL in a new windowChan, W. (2025). Classification of Cardinal Exponentiation and the Exponent ω. Oberwolfach Reports, 22(1), 109–112. https://doi.org/10.4171/owr/2025/2
- | Size of Pieces in Decompositions into the First Uncountable Cardinal Many Pieces at reposiTUm , opens an external URL in a new windowChan, W., Jackson, S., & Trang, N. (2025). Size of Pieces in Decompositions into the First Uncountable Cardinal Many Pieces. Journal of Symbolic Logic. https://doi.org/10.1017/jsl.2025.10151
- | Almost disjoint families under determinacy at reposiTUm , opens an external URL in a new windowChan, W., Jackson, S., & Trang, N. (2024). Almost disjoint families under determinacy. Advances in Mathematics, 437, Article 109410. https://doi.org/10.1016/j.aim.2023.109410
- | Almost Everywhere Behavior of Functions According to Partition Measures at reposiTUm , opens an external URL in a new windowChan, W., Jackson, S., & Trang, N. (2024). Almost Everywhere Behavior of Functions According to Partition Measures. Forum of Mathematics, Sigma, 12, Article e16. https://doi.org/10.1017/fms.2023.130
- | Applications of infinity-Borel codes to definability and definable cardinals at reposiTUm , opens an external URL in a new windowChan, W., & Jackson, S. (2024). Applications of infinity-Borel codes to definability and definable cardinals. Fundamenta Mathematicae, 265(3), 215–258. https://doi.org/10.4064/fm314-1-2024
Takehiko Gappo
- | On ω-strongly measurable cardinals in ℙmax extensions at reposiTUm , opens an external URL in a new windowAksornthong, N., Gappo, T., Holland, J., & Sargsyan, G. (2025). On ω-strongly measurable cardinals in ℙmax extensions. Journal of Mathematical Logic, 25(2), Article 2450018. https://doi.org/10.1142/S0219061324500181
- | Generic Absoluteness Revisited at reposiTUm , opens an external URL in a new windowFuchino, S., Gappo, T., & Parente, F. (2025). Generic Absoluteness Revisited. Journal of Symbolic Logic, 1–31. https://doi.org/10.1017/jsl.2025.10131
- | Chang models over derived models with supercompact measures at reposiTUm , opens an external URL in a new windowGappo, T., Müller, S., & Sargsyan, G. (2025). Chang models over derived models with supercompact measures. Journal of Mathematical Logic, Article 2550007. https://doi.org/10.1142/S0219061325500072
Stefan Hoffelner
- | The global Σn+21-uniformization property and BPFA at reposiTUm , opens an external URL in a new windowHoffelner, S. (2025). The global Σn+21-uniformization property and BPFA. Advances in Mathematics, 470, Article 110272. https://doi.org/10.1016/j.aim.2025.110272
- | PFA and the Definability of the Nonstationary Ideal at reposiTUm , opens an external URL in a new windowHoffelner, S., Larson, P., Schindler, R., & Wu, L. (2025). PFA and the Definability of the Nonstationary Ideal. Journal of Symbolic Logic. https://doi.org/10.1017/jsl.2025.31
Farmer Schlutzenberg
- | Full normalization for 𝜅^+-supercompactness at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2025). Full normalization for 𝜅^+-supercompactness. arXiv.
- | Power ∑₁ in Card with two Woodin cardinals at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2025). Power ∑₁ in Card with two Woodin cardinals. arXiv. https://doi.org/10.48550/arXiv.2505.05243
- | Analysis of HOD for Admissible Structures at reposiTUm , opens an external URL in a new windowKruschewski, J., & Schlutzenberg, F. S. (2025). Analysis of HOD for Admissible Structures. arXiv. https://doi.org/10.48550/arXiv.2503.14458
- | On A Conjecture Regarding The Mouse Order For Weasels at reposiTUm , opens an external URL in a new windowKruschewski, J., & Schlutzenberg, F. S. (2025). On A Conjecture Regarding The Mouse Order For Weasels. Journal of Symbolic Logic, 90(1), 364–390. https://doi.org/10.1017/jsl.2024.63
- | Ladder mice at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). Ladder mice. arXiv. https://doi.org/10.48550/arXiv.2406.06289
- | The Definability of the Extender Sequence 𝔼 from 𝔼 ⨡ ℵ₁ in 𝐿 [𝔼] at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). The Definability of the Extender Sequence 𝔼 from 𝔼 ⨡ ℵ₁ in 𝐿 [𝔼]. Journal of Symbolic Logic, 89(2), 427–459. https://doi.org/10.1017/jsl.2024.27
- | Mice with Woodin cardinals from a Reinhardt at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). Mice with Woodin cardinals from a Reinhardt. arXiv. https://doi.org/10.48550/arXiv.2402.04065
- | Low level definability above large cardinals at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). Low level definability above large cardinals. arXiv. https://doi.org/10.48550/arXiv.2401.01979
- | Extenders under ZF and constructibility of rank-to-rank embeddings at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). Extenders under ZF and constructibility of rank-to-rank embeddings. Fundamenta Mathematicae, 266(3), 193–235. https://doi.org/10.4064/fm5-4-2024
- | On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2 at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024). On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2. Journal of Mathematical Logic, Article 2450013. https://doi.org/10.1142/S0219061324500132
Benjamin Siskind
- | Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions at reposiTUm , opens an external URL in a new windowLutz, P., & Siskind, B. W. (2024). Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions. Journal of the American Mathematical Society. https://doi.org/10.1090/jams/1046
- | Normalizing iteration trees at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2023). Normalizing iteration trees. In Abstracts (pp. 5–5).