Pages that link to "Item:Q3145982"
From MaRDI portal
The following pages link to Reverse mathematics, trichotomy, and dichotomy (Q3145982):
Displaying 10 items.
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Classical consequences of continuous choice principles from intuitionistic analysis (Q2443117) (← links)
- Reverse mathematics and Isbell's zig-zag theorem (Q2922498) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics (Q3625493) (← links)
- Minima of initial segments of infinite sequences of reals (Q4458700) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- On the strength of marriage theorems and uniformity (Q5419204) (← links)
- Chi-Tat Chong’s Work on Reverse Mathematics (Q6135559) (← links)