Publikationen
Sandra Müller
- | Unbegreifliches verstehen - die Grenzen der Mathematik auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterHoly, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterFriedman, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterEagle, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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. auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMüller, S. (2022, August 29). Universally Baire Sets and the Inner Model Program. European Set Theory Conference, Italy.
- | Topological applications of Wadge theory auf reposiTUm , öffnet eine externe URL in einem neuen FensterCarroy, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMüller, S. (2022, July 14). Inner Models, Determinacy and Sealing. Set Theory Conference - Advances in Set Theory, Israel.
- | Preserving universally Baire Sets and Sealing auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterCarroy, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterHayut, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterAguilera, 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. auf reposiTUm , öffnet eine externe URL in einem neuen FensterLü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. auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterAguilera, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterAguilera, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, W. (2024, December 5). Basis for Uncountable Linear Orders. Logic Colloquium, Wien, Austria.
- | Classification of Cardinal Exponentiation auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, A. T. (2024, January 11). The Model Theoretic Covering Reflection Property. Logic Colloquium, Wien, Austria.
Farmer Schlutzenberg
- | Normalization for transfinite stacks auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2024, July 1). Normalization for transfinite stacks. Vienna Inner Model Theory (VIMT2024), Wien, Austria.
- | Ladder mice auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2024, June 28). Ladder mice. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
- | The Definability of the Extender Sequence 𝔼 from 𝔼 ⨡ ℵ₁ in 𝐿 [𝔼] auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, B. W. (2024, November 21). Turing-invariant functions under determinacy II. Research Seminar in Set Theory, Wien, Austria.
- | Turing-invariant functions under determinacy I auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLutz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, B. W. (2023). Normalizing iteration trees. In Abstracts (pp. 5–5).