Publications
Sandra Müller
- | Unbegreifliches verstehen - die Grenzen der Mathematik at reposiTUm , opens an external URL in a new windowMüller, S. (2024, November 21). Unbegreifliches verstehen - die Grenzen der Mathematik. Open Salzburg Mathematics Colloquium 2024, Salzburg, Austria.
- | A Scenario for Solving Gödel’s Problem at reposiTUm , opens an external URL in a new windowMüller, S. (2024, October 9). A Scenario for Solving Gödel’s Problem. The Boundaries of Mathematics – From Gödel to the Study of Large Infinites, Wien, Austria.
- | 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.
- | Compactness of strong logics at reposiTUm , opens an external URL in a new windowHoly, P., Lücke, P., & Müller, S. (2024, March 15). Compactness of strong logics. Algebra Seminar at TU Wien 2024, Wien, Austria.
- | Determinacy, Large Cardinals, and Inner Models at reposiTUm , opens an external URL in a new windowMüller, S. (2024, January 29). Determinacy, Large Cardinals, and Inner Models. Winter School in Abstract Analysis 2024, Hejnice, Czechia.
- | 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).
- | The mystery of Woodin limits of Woodin cardinals at reposiTUm , opens an external URL in a new windowMüller, S. (2023, November 13). The mystery of Woodin limits of Woodin cardinals. Perspectives on Set Theory 2023, Poland.
- | Generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new windowMüller, S. (2023, October 10). Generic absoluteness for the definable powerset of the universally Baire sets. 17th International Luminy Workshop in Set Theory 2023, France. https://doi.org/10.24350/CIRM.V.20105203
- | Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions at reposiTUm , opens an external URL in a new windowMüller, S. (2023, September 22). Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions. Jahrestagung der Österreichischen Mathematischen Gesellschaft 2023, Austria.
- | Generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new windowMüller, S. (2023, September 7). Generic absoluteness for the definable powerset of the universally Baire sets. British Logic Colloquium (BLC 2023), United Kingdom of Great Britain and Northern Ireland (the).
- | Determinacy and generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new windowMüller, S. (2023, May 5). Determinacy and generic absoluteness for the definable powerset of the universally Baire sets. First Gdańsk Logic Conference 2023, Gdansk, Poland.
- | 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
- | Universally Baire Sets, Determinacy, and Inner Models at reposiTUm , opens an external URL in a new windowMüller, S. (2023, January 7). Universally Baire Sets, Determinacy, and Inner Models. Winter Meeting of the ASL with the JMM (Joint Mathematics Meetings) 2023, United States of America (the).
- | 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
- | Highlights from infinite games, mice and their connection. at reposiTUm , opens an external URL in a new windowMüller, S. (2022, September). Highlights from infinite games, mice and their connection.. PhDs in Logic XIII, Universität von Turin, Turin, Italy.
- | Universally Baire Sets and the Inner Model Program at reposiTUm , opens an external URL in a new windowMüller, S. (2022, August 29). Universally Baire Sets and the Inner Model Program. European Set Theory Conference, Italy.
- | Topological applications of Wadge theory at reposiTUm , opens an external URL in a new windowCarroy, R., Medini, A., & Müller, S. (2022, August 11). Topological applications of Wadge theory. Topology Seminar of the Department of Mathematics, Mexico.
- | Inner Models, Determinacy and Sealing at reposiTUm , opens an external URL in a new windowMüller, S. (2022, July 14). Inner Models, Determinacy and Sealing. Set Theory Conference - Advances in Set Theory, Israel.
- | Preserving universally Baire Sets and Sealing at reposiTUm , opens an external URL in a new windowMüller, S. (2022, July 6). Preserving universally Baire Sets and Sealing. Set Theory Workshop am Erwin Schrödinger Institut, Wien, Austria.
- | Preserving universally Baire Sets and Sealing at reposiTUm , opens an external URL in a new windowMüller, S. (2022, July 4). Preserving universally Baire Sets and Sealing. Set Theory Workshop, Austria.
- | A stationary-tower-free proof of Woodin's Sealing Theorem at reposiTUm , opens an external URL in a new windowMüller, S. (2022, June 29). A stationary-tower-free proof of Woodin’s Sealing Theorem. Münster Conference on Inner Model Theory, Germany.
- | A stationary-tower-free proof of sealing from a supercompact at reposiTUm , opens an external URL in a new windowMüller, S. (2022, June 29). A stationary-tower-free proof of sealing from a supercompact. Logic Colloquium 2022, Iceland.
- | 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
- | Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new windowChan, W. (2024, December 5). Basis for Uncountable Linear Orders. Logic Colloquium, Wien, Austria.
- | Classification of Cardinal Exponentiation at reposiTUm , opens an external URL in a new windowChan, W. (2024, August 19). Classification of Cardinal Exponentiation. Generalized Computability Theory (GCT 2024), Cantabria, Spain.
- | Cardinality of the Set of Bounded Subsets of a Cardinal at reposiTUm , opens an external URL in a new windowChan, W. (2024, June 24). Cardinality of the Set of Bounded Subsets of a Cardinal. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
- | 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
Lukas Koschat
Jan Kruschewski
Andreas Lietz
- | Forcing “NS_{ω_1} is ω_1-dense” from large cardinals - a journey guided by the stars at reposiTUm , opens an external URL in a new windowLietz, A. T. (2024, October 8). Forcing “NS_{ω_1} is ω_1-dense” from large cardinals - a journey guided by the stars. Colloquium Logicum 2024, Wien, Austria.
- | On Mathias Characterizations for Generics for Variants of Namba Forcing at reposiTUm , opens an external URL in a new windowLietz, A. T. (2024, September 20). On Mathias Characterizations for Generics for Variants of Namba Forcing. European Set Theory Conference, Münster, Germany.
- | On Mathias Characterizations for Generics for Variants of Namba Forcing at reposiTUm , opens an external URL in a new windowLietz, A. T. (2024, June 25). On Mathias Characterizations for Generics for Variants of Namba Forcing. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
- | Characterizing sequences generic for variants of Namba forcing at reposiTUm , opens an external URL in a new windowLietz, A. T. (2024, May 31). Characterizing sequences generic for variants of Namba forcing. 2nd Wroclaw Logic Conference, Wrocław, Poland.
- | The Model Theoretic Covering Reflection Property at reposiTUm , opens an external URL in a new windowLietz, A. T. (2024, January 11). The Model Theoretic Covering Reflection Property. Logic Colloquium, Wien, Austria.
Farmer Schlutzenberg
- | Normalization for transfinite stacks at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024, July 1). Normalization for transfinite stacks. Vienna Inner Model Theory (VIMT2024), Wien, Austria.
- | Ladder mice at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024, June 28). Ladder mice. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
- | 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
- | Σ1(X) and Π1(X) definability above large cardinals at reposiTUm , opens an external URL in a new windowSchlutzenberg, F. S. (2024, February 8). Σ1(X) and Π1(X) definability above large cardinals. Generalised Baire Space and Large Cardinals, Bristol, United Kingdom of Great Britain and Northern Ireland (the).
- | 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
- | Turing-invariant functions under determinacy II at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, November 21). Turing-invariant functions under determinacy II. Research Seminar in Set Theory, Wien, Austria.
- | Turing-invariant functions under determinacy I at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, November 14). Turing-invariant functions under determinacy I. Research Seminar in Set Theory, Wien, Austria.
- | The status of order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, November 6). The status of order-preserving Martin’s Conjecture. Logic Seminar, Leeds, United Kingdom of Great Britain and Northern Ireland (the).
- | Order-preserving Martin’s Conjecture and Inner Model Theory at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, September 20). Order-preserving Martin’s Conjecture and Inner Model Theory. European Set Theory Conference, Münster, Germany.
- | Order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, August 19). Order-preserving Martin’s Conjecture. Generalized Computability Theory (GCT 2024), Cantabria, Spain.
- | Order-preserving Martin's Conjecture and Inner Model Theory at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2024, June 25). Order-preserving Martin’s Conjecture and Inner Model Theory. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
- | 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).