Pages that link to "Item:Q1590191"
From MaRDI portal
The following pages link to Reverse mathematics and rank functions for directed graphs (Q1590191):
Displaying 4 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Equivalence between Fraïssé's conjecture and Jullien's theorem (Q2368905) (← links)
- Cousin’s lemma in second-order arithmetic (Q5072245) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)