The following pages link to (Q3824427):
Displaying 6 items.
- A constructive proof of Kirszbraun's theorem (Q635637) (← links)
- A Kuratowski-Mrówka theorem in approach theory (Q818398) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- A proof of Łojasiewicz's theorem (Q1724763) (← links)
- An intuitionistic proof of Kruskal's theorem (Q1879322) (← links)
- AN ELEMENTARY SET FOR EMBEDDED BOUQUET GRAPHS WITH TWO CYCLES (Q5392879) (← links)