Vorträge
Das sind die Vorträge unserer Mitglieder, die während ihrer Zeit an der TU Wien gehalten wurden.
Sandra Müller
- | Derived models from genericity iterations auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterMü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 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.
- | 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.
- | 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.
- | 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).
- | 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.
William Chan
- | The Descriptive Set Theoretic Initial Segment of the Universe auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, W. (2025, April 7). Basis for Uncountable Linear Orders. Cornell Logic Seminar 2025, New York, United States of America (the).
- | Sigma Scattered Linear Orderings auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, W. (2025, February 5). Sigma Scattered Linear Orderings. Caltech logic seminars (2024-2025), Texas, United States of America (the).
- | Basis for Uncountable Linear Orders auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, W. (2025, February 3). Basis for Uncountable Linear Orders. Rutgers Logic Seminar: Mondays (2025), Wien, Austria.
- | Classification of Cardinal Exponentiation and the Exponent Omega auf reposiTUm , öffnet eine externe URL in einem neuen FensterChan, W. (2025, January 16). Classification of Cardinal Exponentiation and the Exponent Omega. Workshop Oberwolfach: Set Theory 2025, Oberwolfach, Germany.
- | 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.
Takehiko Gappo
- | Long games indexed by dilators auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, T. (2025, September 4). Null ideals of Miller-type forcings. The Annual 2025 OeMG-DMV Meeting, Austria.
- | Separating Maximality Principles auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, T. (2025, July 8). Separating Maximality Principles. Logic Colloquium 2025, Wien, Austria.
- | Determinacy of fixed countable length auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, T. (2025, June 25). Determinacy of fixed countable length. Berkely Inner Model Theory Conference 2025, United States of America (the).
- | Separating Maximality Principles auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, T. (2025, May 10). Separating Maximality Principles. The Roaming Logic Conference, Poland.
- | Exact large cardinal strength of determinacy of games of fixed countable length auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, T. (2024, October 8). Higher models of determinacy. Colloquium Logicum 2024, Austria.
- | Determinacy of long games just beyond fixed countable length auf reposiTUm , öffnet eine externe URL in einem neuen FensterGappo, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterKoschat, 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) auf reposiTUm , öffnet eine externe URL in einem neuen FensterKoschat, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, A. T. (2025, February 18). Separating Maximality Principles. Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
- | The Model Theoretic Covering Reflection Number auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterLietz, 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 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
- | Varsovian models auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2025, September 10). Varsovian models. Young Set Theory 2025, Wien, Austria.
- | Large cardinals and the Axiom of Choice auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2025, July 13). Large cardinals and the Axiom of Choice. International Congress of Basic Science 2025, China.
- | Mouse sets in L(R) auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2025, June 25). Mouse sets in L(R). Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
- | Mouse sets and correctness in L(R) auf reposiTUm , öffnet eine externe URL in einem neuen FensterSchlutzenberg, F. S. (2025, January). Mouse sets and correctness in L(R). Set Theory (Workshop 2503), Oberwolfach, Germany.
- | 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.
- | Σ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).
Benjamin Siskind
- | Sigma^1_3 Gandy-Harrington Forcing auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, B. W. (2025, September 4). Sigma^1_3 and Pi^1_3 sets. The Annual 2025 ÖMG-DMV Meeting, Linz, Austria.
- | Martin's Conjecture auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, B. W. (2025, July 15). Martin’s Conjecture. International Congress of Basic Science 2025, China.
- | The status of Martin's Conjecture auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 auf reposiTUm , öffnet eine externe URL in einem neuen FensterSiskind, 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 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.