The following pages link to (Q5004949):
Displaying 9 items.
- On bounded functional interpretations (Q424545) (← links)
- 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)
- Bounded functional interpretation (Q2488269) (← links)
- A note on the monotone functional interpretation (Q3107344) (← 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)
