Pages that link to "Item:Q1879322"
From MaRDI portal
The following pages link to An intuitionistic proof of Kruskal's theorem (Q1879322):
Displayed 11 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- An effective proof of the well-foundedness of the multiset path ordering (Q857884) (← links)
- A linear time algorithm for monadic querying of indefinite data over linearly ordered domains (Q1887153) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- Certified Kruskal’s Tree Theorem (Q2938047) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- A constructive picture of Noetherian conditions and well quasi-orders (Q6149029) (← links)