Pages that link to "Item:Q5419204"
From MaRDI portal
The following pages link to On the strength of marriage theorems and uniformity (Q5419204):
Displaying 7 items.
- Reverse mathematics and marriage problems with finitely many solutions (Q335003) (← links)
- A nonconstructive elementary proof of the existence of stable marriages (Q1915713) (← links)
- Reverse mathematics and marriage problems with unique solutions (Q2257105) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- Two-Sided, Unbiased Version of Hall’s Marriage Theorem (Q4575219) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)