Record link: 
http://hdl.handle.net/20.500.12708/209581
-
Title: 
Normalization for transfinite stacks
en
Citation: 
Schlutzenberg, F. S. (2024, July 1). Normalization for transfinite stacks [Conference Presentation]. Vienna Inner Model Theory (VIMT2024), Wien, Austria.
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
English
-
Authors: 
Schlutzenberg, Farmer Salamander 
-
Organisational Unit: 
E104-08 - Forschungsbereich Mengenlehre 
-
Date (published): 
1-Jul-2024
-
Event name: 
Vienna Inner Model Theory (VIMT2024) 
en
Event date: 
1-Jul-2024 - 5-Jul-2024
-
Event place: 
Wien, Austria
-
Keywords: 
Normalization; transfinite stacks; iteration strategy
en
Abstract: 
We will discuss a process for extending a normal iteration strategy Sigma to an iteration strategy Gamma for transfinite stacks of normal trees, assuming that Sigma has a certain natural condensation property. Every iterate produced by Gamma will also be a (normal) iterate produced by Sigma. This is a combination of work of John Steel and the author. Reference: “Full normalization for transfinite stacks”, arXiv:2102.03359
en
Research Areas: 
Mathematical and Algorithmic Foundations: 100%
-
Science Branch: 
1020 - Informatik: 5%
1010 - Mathematik: 95%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

23
checked on Jan 25, 2025

Google ScholarTM

Check