Inner Model Theory Workgroup

We are the workgroup for inner model theory, large cardinals, forcing axioms and determinacy at TU Wien. We are part of the research group for set theory, opens an external URL in a new window at the institute for discrete mathematics and geometry.

News

FLINTA* in Set Theory

This is the first conference to emphazise the contributions of women and non-binary people to set theory. It takes place September 9 to 11 and is organized by Martina Iannella, Sandra Müller and Lena Wallner of TU Wien, amongst others.

Hausdorff Medal

Congratulations to Farmer Schlutzenberg for winning the 2026 Hausdorff Medal of the European Set Theory Society, opens an external URL in a new window for the paper On the consistency of ZF with an elementary embedding from V_λ+2 into V_λ+2, opens an external URL in a new window!

Visits by Ralf Schindler and Dominik Adolf

Andreas Lietz, Dominik Adolf, Ralf Schindler and Sandra Müller

In January and February of 2026, we were glad to welcome Ralf Schindler and Dominik Adolf! Their visit also lead to the reunion of Ralf Schindler with three of his former doctoral students, Andreas Lietz, Dominik Adolf and Sandra Müller.

Impossibility Results in Mathematics

The thematic program Impossibility Results in Mathematics takes place in 2027 at the Erwin Schrödinger institute, opens an external URL in a new window and is organized by Sandra Müller, Matthew Foreman, Marlies Gerber, Bryna Kra, Philipp Kunde and Andras Stipsicz.

Another Advances in Mathematics Publication

[Translate to English:] mathematisches Pfeildiagramm

The paper The consistency strength of determinacy when all sets are universally Baire, opens an external URL in a new window by Sandra Müller is published in December 2025 by the journal Advances in Mathematics!

Visit by Stewart Brown

Stewart Brown of the University of North Texas has acquired a Marshall Plan scholarship, opens an external URL in a new window and will visit us from October 2026 to January 2027!

Advances in Mathematics Publication

[Translate to English:] Startseite der Publikation

The paper Towards a generic absoluteness theorem for Chang models, opens an external URL in a new window by Sandra Müller and Grigor Sargsyan, opens an external URL in a new window from the Institute of Mathematics of the Polish Academy of Science appears in August 2025 in the journal Advances in Mathematics!

Grant for Takehiko Gappo

[Translate to English:] Takehiko Gappo mit Sandra Müller

Congratulations to Takehiko Gappo for receiving an FWF ESPRIT grant for his project Long Games and Strengthenings of Determinacy, opens an external URL in a new window!

Frontiers of Science Award

[Translate to English:] Benjamin Siskind und Farmer Schlutzenberg

Wir gratulieren Benjamin Siskind und Farmer Schlutzenberg zum Frontiers of Science Award für die Artikel Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions, opens an external URL in a new window und On the consistency of ZF with an elementary embedding from V_λ+2 into V_λ+2, opens an external URL in a new window!

Publication in the journal of the AMS

The article Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions, opens an external URL in a new window by Patrick Lutz, opens an external URL in a new window from the University of Michigan and Benjamin Siskind appears in April 2024 in the journal of the American Mathematical Society!

Sacks Prize

Congratulations to Andreas Lietz for receiving the 2023 Sacks Prize of the ASL, opens an external URL in a new window for the most outstanding dissertation in mathematical logic, Forcing "NS_ω₁ is ω₁-dense" From Large Cardinals, 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