The following pages link to (Q5004949):
Displayed 6 items.
- On false Heine/Borel compactness principles in proof mining (Q2117782) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)