Arbeitsgruppe Innere Modelltheorie

Wir sind die Arbeitsgruppe für Innere Modelltheorie, große Kardinalzahlen, Forcingsaxiome und Determiniertheit an der TU Wien. Wir sind Teil der Forschungsgruppe Mengenlehre, öffnet eine externe URL in einem neuen Fenster am Institut für Diskrete Mathematik und Geometrie.

Neuigkeiten

FLINTA* in Set Theory

Diese Konferenz hebt erstmals die Beiträge von Frauen und nicht-binären Personen zur Mengenlehre hervor. Sie findet von 9. bis 11. September 2026 statt und wird unter anderen von Martina Iannella, Sandra Müller und Lena Wallner von der TU Wien organisiert.

Hausdorff Medaille

Wir gratulieren Farmer Schlutzenberg zur 2026 Hausdorff Medaille, öffnet eine externe URL in einem neuen Fenster der European Set Theory Society, öffnet eine externe URL in einem neuen Fenster für den Artikel On the consistency of ZF with an elementary embedding from V_λ+2 into V_λ+2, öffnet eine externe URL in einem neuen Fenster! Die Preisverleihung wird im Zuge der 10. European Set Theory Conference, öffnet eine externe URL in einem neuen Fenster stattfinden.

Besuch von Ralf Schindler und Dominik Adolf

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

Im Jänner und Februar 2026 durften wir uns über den Besuch von Ralf Schindler und Dominik Adolf freuen! So kam es auch zu einem Wiedersehen von Ralf Schindler mit drei seiner ehemaligen Doktorand*innen, Andreas Lietz, Dominik Adolf und Sandra Müller.

Impossibility Results in Mathematics

Das thematische Programm Impossibility Results in Mathematics findet 2027 am Erwin Schrödinger Institut, öffnet eine externe URL in einem neuen Fenster statt und wird von Sandra Müller, Matthew Foreman, Marlies Gerber, Bryna Kra, Philipp Kunde und Andras Stipsicz organisiert.

Weitere Publikation in Advances in Mathematics

Der Artikel The consistency strength of determinacy when all sets are universally Baire, öffnet eine externe URL in einem neuen Fenster von Sandra Müller wird im Dezember 2025 im Journal Advances in Mathematics publiziert!

Besuch von Stewart Brown

Stewart Brown von der University of North Texas hat ein Marshall Plan Stipendium, öffnet eine externe URL in einem neuen Fenster bekommen und besucht uns von Oktober 2026 bis Jänner 2027!

Publikation in Advances in Mathematics

Der Artikel Towards a generic absoluteness theorem for Chang models, öffnet eine externe URL in einem neuen Fenster von Sandra Müller und Grigor Sargsyan, öffnet eine externe URL in einem neuen Fenster vom Institute of Mathematics of the Polish Academy of Science erscheint im August 2025 im Journal Advances in Mathematics!

Grant für Takehiko Gappo

Wir gratulieren Takehiko Gappo zum FWF ESPRIT Grant für sein Projekt Long Games and Strengthenings of Determinacy, öffnet eine externe URL in einem neuen Fenster!

Frontiers of Science Award

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, öffnet eine externe URL in einem neuen Fenster und On the consistency of ZF with an elementary embedding from V_λ+2 into V_λ+2, öffnet eine externe URL in einem neuen Fenster!

Publikation im Journal der AMS

Der Artikel Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions, öffnet eine externe URL in einem neuen Fenster von Patrick Lutz, öffnet eine externe URL in einem neuen Fenster von der University of Michigan und Benjamin Siskind erscheint im April 2024 im Journal der American Mathematical Society!

Sacks Preis

Wir gratulieren Andreas Lietz zum 2023 Sacks Preis der ASL, öffnet eine externe URL in einem neuen Fenster für die herausragendste Dissertation im Bereich der mathematischen Logik, Forcing "NS_ω₁ is ω₁-dense" From Large Cardinals, öffnet eine externe URL in einem neuen Fenster!

Name	Zweck	Ablauf	Typ	Anbieter
CookieConsent	Speichert Ihre Einstellungen zur Verwendung von Cookies auf dieser Website.	1 Jahr	HTML	Homepage TU Wien
SimpleSAML	Wird benötigt, um die Sessions der eingeloggten Benutzer_innen voneinander unterscheiden zu können.	Session	HTTP	Login TU Wien
SimpleSAMLAuthToken	Wird benötigt, um die Sessions der eingeloggten Benutzer_innen voneinander unterscheiden zu können.	Session	HTTP	Login TU Wien
fe_typo_user	Wird benötigt, damit im Falle eines Typo3-Frontend-Logins die Session-ID wiedererkannt wird um Zugang zu geschützten Bereichen zu gewähren.	Session	HTTP	Homepage TU Wien
staticfilecache	Wird benötigt, um die Auslieferungszeit der Website zu optimieren.	Session	HTTP	Homepage TU Wien
JESSIONSID	Wird benötigt, damit im Falle eines LectureTube-Logins die Session-ID wiedererkannt wird um Zugang zu geschützten Bereichen zu gewähren.	Session	HTTP	LectureTube TU Wien
_shibsession_lecturetube	Wird benötigt, um die Sessions der eingeloggten Benutzer_innen voneinander unterscheiden zu können.	Session	HTTP	LectureTube TU Wien

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern.	13 Monate	HTML	Matomo TU Wien
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	HTML	Matomo TU Wien
_pk_ses	Wird benötigt, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo TU Wien

Name	Zweck	Ablauf	Typ	Anbieter
facebook	Wird verwendet, um Anzeigen auszuliefern oder Retargeting zu ermöglichen	90 Tage	HTTP	Meta
__fb_chat_plugin	Wird zum Speichern und Verfolgen von Interaktionen (Marketing/Tracking) benötigt.	Persistent	HTTP	Meta
_js_datr	Wird benötigt, um Benutzer_inneneinstellungen zu speichern.	2 Jahre	HTTP	Meta
_fbc	Wird benötigt, um den letzten Besuch zu speichern (Marketing/Tracking).	2 Jahre	HTTP	Meta
fbm	Wird benötigt, um Kontodaten zu speichern (Marketing/Tracking).	1 Jahr	HTTP	Meta
xs	Wird zum Speichern einer eindeutigen Sitzungs-ID benötigt (Marketing/Tracking).	1 Jahr	HTTP	Meta
wd	Wird benötigt, um die Bildschirmauflösung zu loggen.	1 Woche	HTTP	Meta
fr	Wird benötigt, um Anzeigen zu schalten und deren Relevanz zu messen und zu verbessern.	3 Monate	HTTP	Meta
act	Wird benötigt, um angemeldete Benutzer_innen zu speichern (Marketing/Tracking).	90 Tage	HTTP	Meta
_fbp	Wird zum Speichern und Verfolgen von Besuchen auf verschiedenen Websites benötigt (Marketing/Tracking).	3 Monate	HTTP	Meta
datr	Wird benötigt, um den Browser für Sicherheits- und Website-Integritätszwecke, einschließlich der Wiederherstellung von Konten und der Identifizierung von potenziell gefährdeten Konten zu identifizieren.	2 Jahre	HTTP	Meta
dpr	Wird für Analysezwecke verwendet. Technische Parameter werden protokolliert (z. B. Seitenverhältnis und Abmessungen des Bildschirms), damit Facebook-Apps korrekt angezeigt werden können.	1 Woche	HTTP	Meta
sb	Wird benötigt, um Browserdetails und Sicherheitsinformationen des Facebook-Kontos zu speichern.	2 Jahre	HTTP	Meta
dbln	Wird benötigt, um Browserdetails und Sicherheitsinformationen des Facebook-Kontos zu speichern.	2 Jahre	HTTP	Meta
spin	Wird für Werbezwecke und Berichterstattung über soziale Kampagnen benötigt.	Session	HTTP	Meta
presence	Enthält den "Chat"-Status eingeloggter Benutzer_innen.	1 Monat	HTTP	Meta
cppo	Wird für statistische Zwecke benötigt.	90 Tage	HTTP	Meta
locale	Wird benötigt, um die Spracheinstellungen zu speichern.	Session	HTTP	Meta
pl	Wird für Facebook Pixel benötigt.	2 Jahre	HTTP	Meta
lu	Wird für Facebook Pixel benötigt.	2 Jahre	HTTP	Meta
c_user	Wird für Facebook Pixel benötigt.	3 Monate	HTTP	Meta
bcookie	Wird zur Speicherung von Browserdaten benötigt (Marketing/Tracking).	2 Jahre	HTTP	LinkedIn
li_oatml	Wird verwendet, um LinkedIn-Mitglieder außerhalb von LinkedIn zu Werbe- und Analysezwecken zu identifizieren.	1 Monat	HTTP	LinkedIn
BizographicsOptOut	Wird zum Speichern von Datenschutzeinstellungen benötigt.	10 Jahre	HTTP	LinkedIn
li_sugr	Wird zur Speicherung von Browserdaten benötigt (Marketing/Tracking).	3 Monate	HTTP	LinkedIn
UserMatchHistory	Wird zur Bereitstellung von Werbeeinblendungen oder Retargeting benötigt (Marketing/Tracking).	30 Tage	HTTP	LinkedIn
linkedin_oauth_	Wird benötigt, um seitenübergreifende Funktionen bereitzustellen.	Session	HTTP	LinkedIn
lidc	Wird benötigt, um durchgeführte Aktionen auf der Website zu speichern (Marketing/Tracking).	1 Tag	HTTP	LinkedIn
bscookie	Wird benötigt, um durchgeführte Aktionen auf der Website zu speichern (Marketing/Tracking).	2 Jahre	HTTP	LinkedIn
X-LI-IDC	Wird benötigt, um seitenübergreifende Funktionen bereitzustellen (Marketing/Tracking).	Session	HTTP	LinkedIn
AnalyticsSyncHistory	Speichert den Zeitpunkt, zu dem der/die Benutzer_in mit dem "lms_analytics"-Cookie synchronisiert wurde.	30 Tage	HTTP	LinkedIn
lms_ads	Wird benötigt, um LinkedIn-Mitglieder außerhalb von LinkedIn zu identifizieren.	30 Tage	HTTP	LinkedIn
lms_analytics	Wird benötigt, um LinkedIn-Mitglieder zu Analysezwecken zu identifizieren.	30 Tage	HTTP	LinkedIn
li_fat_id	Wird für eine indirekte Mitgliederidentifikation benötigt, die für Conversion Tracking, Retargeting und Analysen verwendet wird.	30 Tage	HTTP	LinkedIn
U	Wird benötigt, um den Browser zu identifizieren.	3 Monate	HTTP	LinkedIn
_guid	Wird benötigt, um ein LinkedIn-Mitglied für Werbung über Google Ads zu identifizieren.	90 Tage	HTTP	LinkedIn