(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

Saved in:

Bibliographic Details
Main Author:	Lee, Paul Chun-Kit
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	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
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items