Talks
These are the talks held by our team under TU Vienna affiliation.
Sandra Müller
- | Derived models from genericity iterations at reposiTUm , opens an external URL in a new windowMüller, S. (2025, June 30). Derived models from genericity iterations. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Translating between large cardinals and iteration strategies at reposiTUm , opens an external URL in a new windowMüller, S. (2025, June 28). Translating between large cardinals and iteration strategies. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Gödel's Program in Set Theory at reposiTUm , opens an external URL in a new windowMüller, S., & Sargsyan, G. (2025, April 28). Gödel’s Program in Set Theory. Kurt Gödel’s Birthday Colloquium, Wien, Austria.
- | Spiele an der Grenze der Mathematik : Von Gödel bis zu großen Unendlichkeiten at reposiTUm , opens an external URL in a new windowMüller, S. (2025, April 5). Spiele an der Grenze der Mathematik : Von Gödel bis zu großen Unendlichkeiten. Nicolaus-Copernicus-Symposium 2025, Nürnberg, Germany.
- | Generic absoluteness for Chang-type models of AD and LSA at reposiTUm , opens an external URL in a new windowMüller, S. (2025, January 13). Generic absoluteness for Chang-type models of AD and LSA. Oberwolfach Set Theory Workshop (2025), Oberwolfach, Germany.
- | 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.
- | 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.
- | 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.
- | 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).
- | 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.
William Chan
- | The Descriptive Set Theoretic Initial Segment of the Universe at reposiTUm , opens an external URL in a new windowChan, W. (2025, November 3). The Descriptive Set Theoretic Initial Segment of the Universe. XVIII International Luminy Workshop in Set Theory (2025), Marseille, France.
- | Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new windowChan, W. (2025, June 25). Basis for Uncountable Linear Orders. Berkeley Inner Model Theory Conference (2025), United States of America (the).
- | Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new windowChan, W. (2025, April 7). Basis for Uncountable Linear Orders. Cornell Logic Seminar 2025, New York, United States of America (the).
- | Sigma Scattered Linear Orderings at reposiTUm , opens an external URL in a new windowChan, W. (2025, February 5). Sigma Scattered Linear Orderings. Caltech logic seminars (2024-2025), Texas, United States of America (the).
- | Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new windowChan, W. (2025, February 3). Basis for Uncountable Linear Orders. Rutgers Logic Seminar: Mondays (2025), Wien, Austria.
- | Classification of Cardinal Exponentiation and the Exponent Omega at reposiTUm , opens an external URL in a new windowChan, W. (2025, January 16). Classification of Cardinal Exponentiation and the Exponent Omega. Workshop Oberwolfach: Set Theory 2025, Oberwolfach, Germany.
- | 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.
Takehiko Gappo
- | Long games indexed by dilators at reposiTUm , opens an external URL in a new windowGappo, T. (2025, November 6). Long games indexed by dilators. XVIII International Luminy Workshop in Set Theory (2025), Marseille, France.
- | Null ideals of Miller-type forcings at reposiTUm , opens an external URL in a new windowGappo, T. (2025, September 4). Null ideals of Miller-type forcings. The Annual 2025 OeMG-DMV Meeting, Austria.
- | Separating Maximality Principles at reposiTUm , opens an external URL in a new windowGappo, T. (2025, July 8). Separating Maximality Principles. Logic Colloquium 2025, Wien, Austria.
- | Determinacy of fixed countable length at reposiTUm , opens an external URL in a new windowGappo, T. (2025, June 25). Determinacy of fixed countable length. Berkely Inner Model Theory Conference 2025, United States of America (the).
- | Separating Maximality Principles at reposiTUm , opens an external URL in a new windowGappo, T. (2025, May 10). Separating Maximality Principles. The Roaming Logic Conference, Poland.
- | Exact large cardinal strength of determinacy of games of fixed countable length at reposiTUm , opens an external URL in a new windowGappo, T. (2025, February 21). Exact large cardinal strength of determinacy of games of fixed countable length. Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
- | Higher models of determinacy at reposiTUm , opens an external URL in a new windowGappo, T. (2024, October 8). Higher models of determinacy. Colloquium Logicum 2024, Austria.
- | Determinacy of long games just beyond fixed countable length at reposiTUm , opens an external URL in a new windowGappo, T. (2024, June 25). Determinacy of long games just beyond fixed countable length. Determinacy, Inner Models and Forcing Axioms Workshop 2025, Wien, Austria.
Lukas Koschat
- | Computing the cofinality of the uB-powerset at reposiTUm , opens an external URL in a new windowKoschat, L. (2025, July 2). Computing the cofinality of the uB-powerset. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Some canonical sets of sets of reals and full models of LSA in L(UB) at reposiTUm , opens an external URL in a new windowKoschat, L. (2025, February 18). Some canonical sets of sets of reals and full models of LSA in L(UB). Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
Andreas Lietz
- | Some Theorems of Ralf's that I like at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, June 29). Some Theorems of Ralf’s that I like. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Equiconsistencies between very large cardinals and strengthenings of PFA at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, June 24). Equiconsistencies between very large cardinals and strengthenings of PFA. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Equiconsistencies involving strengthenings of PFA at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, February 28). Equiconsistencies involving strengthenings of PFA. CUNY Set Theory Seminar 2025, New York, United States of America (the).
- | Separating Maximality Principles at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, February 18). Separating Maximality Principles. Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
- | The Model Theoretic Covering Reflection Number at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, January 27). The Model Theoretic Covering Reflection Number. Séminaire Général de Logique 2025, Paris, France.
- | Equiconsistencies between strengthenings of PFA and strengthenings of supercompact cardinals at reposiTUm , opens an external URL in a new windowLietz, A. T. (2025, January 13). Equiconsistencies between strengthenings of PFA and strengthenings of supercompact cardinals. Oberwolfach Set Theory Workshop (2025), Oberwolfach, Germany.
- | 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.
- | Σ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).
Benjamin Siskind
- | Sigma^1_3 Gandy-Harrington Forcing at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, November 5). Sigma^1_3 Gandy-Harrington Forcing. XVIII International Luminy Workshop in Set Theory, Luminy, France.
- | Sigma^1_3 and Pi^1_3 sets at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, September 4). Sigma^1_3 and Pi^1_3 sets. The Annual 2025 ÖMG-DMV Meeting, Linz, Austria.
- | Martin's Conjecture at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, July 15). Martin’s Conjecture. International Congress of Basic Science 2025, China.
- | The status of Martin's Conjecture at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, July 15). The status of Martin’s Conjecture. Computability in Europe 2025, Lisbon, Portugal.
- | The status of order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, July 9). The status of order-preserving Martin’s Conjecture. Logic Colloquium 2025, Wien, Austria.
- | A new Sigma^1_3 version of Gandy-Harrington forcing at reposiTUm , opens an external URL in a new windowSiskind, B. W. (2025, June 24). A new Sigma^1_3 version of Gandy-Harrington forcing. Berkeley Inner Model Theory Conference, United States of America (the).
- | 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.