(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
Fuente:
Zenodo
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Publicado: |
Zenodo
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866901176184733696 |
|---|---|
| author | Lee, Paul Chun-Kit |
| author_facet | Lee, Paul Chun-Kit |
| contents | <p>errors detected in our papers. Our whole repo is being audited and a decision of edit or removal will be made.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18665418 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | (Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series) Lee, Paul Chun-Kit Markov's Principle constructive schools Bishop Brouwer Markov Cournot's Principle radioactive decay Poincare recurrence false vacuum decay omniscience principles LPO WLPO LLPO BISH constructive reverse mathematics Lean 4 Mathlib formal verification constructive mathematics <p>errors detected in our papers. Our whole repo is being audited and a decision of edit or removal will be made.</p> |
| title | (Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series) |
| topic | Markov's Principle constructive schools Bishop Brouwer Markov Cournot's Principle radioactive decay Poincare recurrence false vacuum decay omniscience principles LPO WLPO LLPO BISH constructive reverse mathematics Lean 4 Mathlib formal verification constructive mathematics |
| url | https://doi.org/10.5281/zenodo.18665418 |