Talks

These are the talks held by our team under TU Vienna affiliation.

Sandra Müller

Müller, S. (2025, June 30). Derived models from genericity iterations. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
| Derived models from genericity iterations at reposiTUm , opens an external URL in a new window
Müller, S. (2025, June 28). Translating between large cardinals and iteration strategies. 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 window
Müller, S., & Sargsyan, G. (2025, April 28). Gödel’s Program in Set Theory. Kurt Gödel’s Birthday Colloquium, Wien, Austria.
| Gödel's Program in Set Theory at reposiTUm , opens an external URL in a new window
Mü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.
| Spiele an der Grenze der Mathematik : Von Gödel bis zu großen Unendlichkeiten at reposiTUm , opens an external URL in a new window
Müller, S. (2025, January 13). Generic absoluteness for Chang-type models of AD and LSA. Oberwolfach Set Theory Workshop (2025), Oberwolfach, Germany.
| Generic absoluteness for Chang-type models of AD and LSA at reposiTUm , opens an external URL in a new window

Müller, S. (2024, November 21). Unbegreifliches verstehen - die Grenzen der Mathematik. Open Salzburg Mathematics Colloquium 2024, Salzburg, Austria.
| Unbegreifliches verstehen - die Grenzen der Mathematik at reposiTUm , opens an external URL in a new window
Mü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.
| A Scenario for Solving Gödel’s Problem at reposiTUm , opens an external URL in a new window
Holy, P., Lücke, P., & Müller, S. (2024, March 15). Compactness of strong logics. Algebra Seminar at TU Wien 2024, Wien, Austria.
| Compactness of strong logics at reposiTUm , opens an external URL in a new window
Müller, S. (2024, January 29). Determinacy, Large Cardinals, and Inner Models. Winter School in Abstract Analysis 2024, Hejnice, Czechia.
| Determinacy, Large Cardinals, and Inner Models at reposiTUm , opens an external URL in a new window

Müller, S. (2023, November 13). The mystery of Woodin limits of Woodin cardinals. Perspectives on Set Theory 2023, Poland.
| The mystery of Woodin limits of Woodin cardinals at reposiTUm , opens an external URL in a new window
Mü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
| Generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new window
Müller, S. (2023, September 22). Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions. Jahrestagung der Österreichischen Mathematischen Gesellschaft 2023, Austria.
| Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions at reposiTUm , opens an external URL in a new window
Mü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).
| Generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new window
Mü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.
| Determinacy and generic absoluteness for the definable powerset of the universally Baire sets at reposiTUm , opens an external URL in a new window
Mü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).
| Universally Baire Sets, Determinacy, and Inner Models at reposiTUm , opens an external URL in a new window

Müller, S. (2022, September). Highlights from infinite games, mice and their connection.. PhDs in Logic XIII, Universität von Turin, Turin, Italy.
| Highlights from infinite games, mice and their connection. at reposiTUm , opens an external URL in a new window
Müller, S. (2022, August 29). Universally Baire Sets and the Inner Model Program. European Set Theory Conference, Italy.
| Universally Baire Sets and the Inner Model Program at reposiTUm , opens an external URL in a new window
Carroy, R., Medini, A., & Müller, S. (2022, August 11). Topological applications of Wadge theory. Topology Seminar of the Department of Mathematics, Mexico.
| Topological applications of Wadge theory at reposiTUm , opens an external URL in a new window
Müller, S. (2022, July 14). Inner Models, Determinacy and Sealing. Set Theory Conference - Advances in Set Theory, Israel.
| Inner Models, Determinacy and Sealing at reposiTUm , opens an external URL in a new window
Mü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 window
Müller, S. (2022, July 4). Preserving universally Baire Sets and Sealing. Set Theory Workshop, Austria.
| Preserving universally Baire Sets and Sealing at reposiTUm , opens an external URL in a new window
Mü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 Woodin's Sealing Theorem at reposiTUm , opens an external URL in a new window
Müller, S. (2022, June 29). A stationary-tower-free proof of sealing from a supercompact. Logic Colloquium 2022, Iceland.
| A stationary-tower-free proof of sealing from a supercompact at reposiTUm , opens an external URL in a new window

William Chan

Chan, W. (2025, November 3). The Descriptive Set Theoretic Initial Segment of the Universe. XVIII International Luminy Workshop in Set Theory (2025), Marseille, France.
| The Descriptive Set Theoretic Initial Segment of the Universe at reposiTUm , opens an external URL in a new window
Chan, 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 window
Chan, W. (2025, April 7). Basis for Uncountable Linear Orders. Cornell Logic Seminar 2025, New York, United States of America (the).
| Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new window
Chan, W. (2025, February 5). Sigma Scattered Linear Orderings. Caltech logic seminars (2024-2025), Texas, United States of America (the).
| Sigma Scattered Linear Orderings at reposiTUm , opens an external URL in a new window
Chan, W. (2025, February 3). Basis for Uncountable Linear Orders. Rutgers Logic Seminar: Mondays (2025), Wien, Austria.
| Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new window
Chan, W. (2025, January 16). Classification of Cardinal Exponentiation and the Exponent Omega. Workshop Oberwolfach: Set Theory 2025, Oberwolfach, Germany.
| Classification of Cardinal Exponentiation and the Exponent Omega at reposiTUm , opens an external URL in a new window

Chan, W. (2024, December 5). Basis for Uncountable Linear Orders. Logic Colloquium, Wien, Austria.
| Basis for Uncountable Linear Orders at reposiTUm , opens an external URL in a new window
Chan, W. (2024, August 19). Classification of Cardinal Exponentiation. Generalized Computability Theory (GCT 2024), Cantabria, Spain.
| Classification of Cardinal Exponentiation at reposiTUm , opens an external URL in a new window
Chan, W. (2024, June 24). Cardinality of the Set of Bounded Subsets of a Cardinal. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
| Cardinality of the Set of Bounded Subsets of a Cardinal at reposiTUm , opens an external URL in a new window

Takehiko Gappo

Gappo, T. (2025, November 6). Long games indexed by dilators. XVIII International Luminy Workshop in Set Theory (2025), Marseille, France.
| Long games indexed by dilators at reposiTUm , opens an external URL in a new window
Gappo, T. (2025, September 4). Null ideals of Miller-type forcings. The Annual 2025 OeMG-DMV Meeting, Austria.
| Null ideals of Miller-type forcings at reposiTUm , opens an external URL in a new window
Gappo, T. (2025, July 8). Separating Maximality Principles. Logic Colloquium 2025, Wien, Austria.
| Separating Maximality Principles at reposiTUm , opens an external URL in a new window
Gappo, T. (2025, June 25). Determinacy of fixed countable length. Berkely Inner Model Theory Conference 2025, United States of America (the).
| Determinacy of fixed countable length at reposiTUm , opens an external URL in a new window
Gappo, T. (2025, May 10). Separating Maximality Principles. The Roaming Logic Conference, Poland.
| Separating Maximality Principles at reposiTUm , opens an external URL in a new window
Gappo, T. (2025, February 21). Exact large cardinal strength of determinacy of games of fixed countable length. Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
| Exact large cardinal strength of determinacy of games of fixed countable length at reposiTUm , opens an external URL in a new window

Gappo, T. (2024, October 8). Higher models of determinacy. Colloquium Logicum 2024, Austria.
| Higher models of determinacy at reposiTUm , opens an external URL in a new window
Gappo, T. (2024, June 25). Determinacy of long games just beyond fixed countable length. Determinacy, Inner Models and Forcing Axioms Workshop 2025, Wien, Austria.
| Determinacy of long games just beyond fixed countable length at reposiTUm , opens an external URL in a new window

Lukas Koschat

Koschat, L. (2025, July 2). Computing the cofinality of the uB-powerset. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the).
| Computing the cofinality of the uB-powerset at reposiTUm , opens an external URL in a new window
Koschat, 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.
| Some canonical sets of sets of reals and full models of LSA in L(UB) at reposiTUm , opens an external URL in a new window

Andreas Lietz

Lietz, 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).
| Some Theorems of Ralf's that I like at reposiTUm , opens an external URL in a new window
Lietz, 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 between very large cardinals and strengthenings of PFA at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2025, February 28). Equiconsistencies involving strengthenings of PFA. CUNY Set Theory Seminar 2025, New York, United States of America (the).
| Equiconsistencies involving strengthenings of PFA at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2025, February 18). Separating Maximality Principles. Arctic Set Theory Workshop 7, Kilpisjärvi, Finland.
| Separating Maximality Principles at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2025, January 27). The Model Theoretic Covering Reflection Number. Séminaire Général de Logique 2025, Paris, France.
| The Model Theoretic Covering Reflection Number at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2025, January 13). Equiconsistencies between strengthenings of PFA and strengthenings of supercompact cardinals. Oberwolfach Set Theory Workshop (2025), Oberwolfach, Germany.
| Equiconsistencies between strengthenings of PFA and strengthenings of supercompact cardinals at reposiTUm , opens an external URL in a new window

Lietz, 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.
| Forcing “NS_{ω_1} is ω_1-dense” from large cardinals - a journey guided by the stars at reposiTUm , opens an external URL in a new window
Lietz, 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 window
Lietz, A. T. (2024, June 25). On Mathias Characterizations for Generics for Variants of Namba Forcing. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
| On Mathias Characterizations for Generics for Variants of Namba Forcing at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2024, May 31). Characterizing sequences generic for variants of Namba forcing. 2nd Wroclaw Logic Conference, Wrocław, Poland.
| Characterizing sequences generic for variants of Namba forcing at reposiTUm , opens an external URL in a new window
Lietz, A. T. (2024, January 11). The Model Theoretic Covering Reflection Property. Logic Colloquium, Wien, Austria.
| The Model Theoretic Covering Reflection Property at reposiTUm , opens an external URL in a new window

Farmer Schlutzenberg

Schlutzenberg, F. S. (2024, July 1). Normalization for transfinite stacks. Vienna Inner Model Theory (VIMT2024), Wien, Austria.
| Normalization for transfinite stacks at reposiTUm , opens an external URL in a new window
Schlutzenberg, F. S. (2024, June 28). Ladder mice. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
| Ladder mice at reposiTUm , opens an external URL in a new window
Schlutzenberg, 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).
| Σ1(X) and Π1(X) definability above large cardinals at reposiTUm , opens an external URL in a new window

Benjamin Siskind

Siskind, B. W. (2025, November 5). Sigma^1_3 Gandy-Harrington Forcing. XVIII International Luminy Workshop in Set Theory, Luminy, France.
| Sigma^1_3 Gandy-Harrington Forcing at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2025, September 4). Sigma^1_3 and Pi^1_3 sets. The Annual 2025 ÖMG-DMV Meeting, Linz, Austria.
| Sigma^1_3 and Pi^1_3 sets at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2025, July 15). Martin’s Conjecture. International Congress of Basic Science 2025, China.
| Martin's Conjecture at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2025, July 15). The status of Martin’s Conjecture. Computability in Europe 2025, Lisbon, Portugal.
| The status of Martin's Conjecture at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2025, July 9). The status of order-preserving Martin’s Conjecture. Logic Colloquium 2025, Wien, Austria.
| The status of order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new window
Siskind, 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).
| A new Sigma^1_3 version of Gandy-Harrington forcing at reposiTUm , opens an external URL in a new window

Siskind, B. W. (2024, November 21). Turing-invariant functions under determinacy II. Research Seminar in Set Theory, Wien, Austria.
| Turing-invariant functions under determinacy II at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2024, November 14). Turing-invariant functions under determinacy I. Research Seminar in Set Theory, Wien, Austria.
| Turing-invariant functions under determinacy I at reposiTUm , opens an external URL in a new window
Siskind, 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).
| The status of order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new window
Siskind, 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 and Inner Model Theory at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2024, August 19). Order-preserving Martin’s Conjecture. Generalized Computability Theory (GCT 2024), Cantabria, Spain.
| Order-preserving Martin's Conjecture at reposiTUm , opens an external URL in a new window
Siskind, B. W. (2024, June 25). Order-preserving Martin’s Conjecture and Inner Model Theory. Determinacy, Inner Models and Forcing Axioms (Workshop), Wien, Austria.
| Order-preserving Martin's Conjecture and Inner Model Theory at reposiTUm , opens an external URL in a new window

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your settings for the use of cookies on this website.	1 year	HTML	Homepage TU Wien
SimpleSAML	This is needed to distinguish between the sessions of the logged-in users.	session	HTTP	Login TU Wien
SimpleSAMLAuthToken	This is needed to distinguish between the sessions of the logged-in users.	session	HTTP	Login TU Wien
fe_typo_user	Is needed so that in case of a Typo3 frontend login the session ID is recognized to grant access to protected areas.	session	HTTP	Homepage TU Wien
staticfilecache	Is needed to optimize the delivery time of the website.	session	HTTP	Homepage TU Wien
JESSIONSID	Is needed so that in case of a LectureTube the session ID is recognized to grant access to protected areas.	session	HTTP	LectureTube TU Wien
_shibsession_lecturetube	This is needed to distinguish between the sessions of the logged-in users.	session	HTTP	LectureTube TU Wien

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo TU Wien
_pk_ref	Is used to store the information of the users home website.	6 months	HTML	Matomo TU Wien
_pk_ses	Is needed to store temporary data of the visit.	30 minutes	HTML	Matomo TU Wien

Name	Purpose	Lifetime	Type	Provider
facebook	Is used to Enable ad delivery or retargeting	90 days	HTTP	Meta
__fb_chat_plugin	Is needed to store and track interactions (marketing/tracking).	persistent	HTTP	Meta
_js_datr	Is needed to save user settings.	2 years	HTTP	Meta
_fbc	Is needed to save the last visit (marketing/tracking).	2 years	HTTP	Meta
fbm	Is needed to store account data (marketing/tracking).	1 year	HTTP	Meta
xs	Is needed to store a unique session ID (marketing/tracking).	1 year	HTTP	Meta
wd	Is needed to log the screen resolution.	1 week	HTTP	Meta
fr	Is needed to serve ads and measure and improve their relevance.	3 months	HTTP	Meta
act	Is needed to store logged in users (marketing/tracking).	90 days	HTTP	Meta
_fbp	Is needed to store and track visits to various websites (marketing/tracking).	3 months	HTTP	Meta
datr	Is needed to identify the browser for security and website integrity purposes, including account recovery and identification of potentially compromised accounts.	2 years	HTTP	Meta
dpr	Is used for analysis purposes. Technical parameters are logged (e.g. aspect ratio and dimensions of the screen) so that Facebook apps can be displayed correctly.	1 week	HTTP	Meta
sb	Is needed to store browser details and security information of the Facebook account.	2 years	HTTP	Meta
dbln	Is needed to store browser details and security information of the Facebook account.	2 years	HTTP	Meta
spin	Is needed for promotional purposes and social campaign reporting.	session	HTTP	Meta
presence	Contains the "chat" status of logged in users.	1 month	HTTP	Meta
cppo	Is needed for statistical purposes.	90 days	HTTP	Meta
locale	Is needed to save the language settings.	session	HTTP	Meta
pl	Required for Facebook Pixel.	2 years	HTTP	Meta
lu	Required for Facebook Pixel.	2 years	HTTP	Meta
c_user	Required for Facebook Pixel.	3 months	HTTP	Meta
bcookie	Is needed to store browser data (marketing/tracking).	2 years	HTTP	LinkedIn
li_oatml	Is needed to identify LinkedIn members outside of LinkedIn for advertising and analytics purposes.	1 month	HTTP	LinkedIn
BizographicsOptOut	Is needed to save privacy settings.	10 years	HTTP	LinkedIn
li_sugr	Is needed to store browser data (marketing/tracking).	3 months	HTTP	LinkedIn
UserMatchHistory	Is needed to provide advertising or retargeting (marketing/tracking).	30 days	HTTP	LinkedIn
linkedin_oauth_	Is needed to provide cross-page functionality.	session	HTTP	LinkedIn
lidc	Is needed to store performed actions on the website (marketing/tracking).	1 day	HTTP	LinkedIn
bscookie	Is needed to store performed actions on the website (marketing/tracking).	2 years	HTTP	LinkedIn
X-LI-IDC	Is needed to provide cross-page functionality (marketing/tracking).	session	HTTP	LinkedIn
AnalyticsSyncHistory	Stores the time when the user was synchronized with the "lms_analytics" cookie.	30 days	HTTP	LinkedIn
lms_ads	Is needed to identify LinkedIn members outside of LinkedIn.	30 days	HTTP	LinkedIn
lms_analytics	Is needed to identify LinkedIn members for analytics purposes.	30 days	HTTP	LinkedIn
li_fat_id	Required for indirect member identification used for conversion tracking, retargeting and analytics.	30 days	HTTP	LinkedIn
U	Is needed to identify the browser.	3 months	HTTP	LinkedIn
_guid	Is needed to identify a LinkedIn member for advertising via Google Ads.	90 days	HTTP	LinkedIn

Sandra Müller

2025

2024

2023

2022

William Chan

2025

2024

Takehiko Gappo

2025

2024

Lukas Koschat

2025

Andreas Lietz

2025

2024

Farmer Schlutzenberg

2024

Benjamin Siskind

2025

2024