Higher walks and squares
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912826053885952 |
|---|---|
| author | Lambie-Hanson, Chris Marun, Pedro |
| author_facet | Lambie-Hanson, Chris Marun, Pedro |
| contents | We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$-sequences that entail coherence of the resultant higher rho-functions. We also introduce various higher square principles by adding non-triviality conditions to these coherent higher $C$-sequences and investigate basic properties of said square principles. For example, in analogy with the classical case, we prove that these higher square principles abound in the constructible universe but can be forced to fail, modulo large cardinals. Finally, we prove that certain higher rho-functions obtained by walking along higher square sequences exhibit non-triviality in addition to coherence. In particular, it follows that higher square principles on a cardinal $λ$ entail certain non-vanishing Čech cohomology groups for $λ$ considered with the order topology. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_08633 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Higher walks and squares Lambie-Hanson, Chris Marun, Pedro Logic 03E05, 03E35, 03E55, 03E10 We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$-sequences that entail coherence of the resultant higher rho-functions. We also introduce various higher square principles by adding non-triviality conditions to these coherent higher $C$-sequences and investigate basic properties of said square principles. For example, in analogy with the classical case, we prove that these higher square principles abound in the constructible universe but can be forced to fail, modulo large cardinals. Finally, we prove that certain higher rho-functions obtained by walking along higher square sequences exhibit non-triviality in addition to coherence. In particular, it follows that higher square principles on a cardinal $λ$ entail certain non-vanishing Čech cohomology groups for $λ$ considered with the order topology. |
| title | Higher walks and squares |
| topic | Logic 03E05, 03E35, 03E55, 03E10 |
| url | https://arxiv.org/abs/2512.08633 |