Full normalization for $κ^+$-supercompactness
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918052445028352 |
|---|---|
| author | Schlutzenberg, Farmer |
| author_facet | Schlutzenberg, Farmer |
| contents | We extend the normalization results of the author's paper "Full normalization for transfinite stacks" [5] to mice at the level of $κ^+$-supercompactness: given a normal iteration strategy $Σ$ for such a mouse $M$, with both $M$ and $Σ$ satisfying certain condensation properties, we extend $Σ$ to a strategy $Σ^*$ for stacks of normal trees, such that every iterate via $Σ^*$ is in fact a normal iterate via $Σ$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_08287 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Full normalization for $κ^+$-supercompactness Schlutzenberg, Farmer Logic 03E45, 03E55 We extend the normalization results of the author's paper "Full normalization for transfinite stacks" [5] to mice at the level of $κ^+$-supercompactness: given a normal iteration strategy $Σ$ for such a mouse $M$, with both $M$ and $Σ$ satisfying certain condensation properties, we extend $Σ$ to a strategy $Σ^*$ for stacks of normal trees, such that every iterate via $Σ^*$ is in fact a normal iterate via $Σ$. |
| title | Full normalization for $κ^+$-supercompactness |
| topic | Logic 03E45, 03E55 |
| url | https://arxiv.org/abs/2506.08287 |