Pages that link to "Item:Q1607015"
From MaRDI portal
The following pages link to A note on well quasi-orderings for powersets (Q1607015):
Displaying 8 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- Better-quasi-orderings and coinduction (Q1884898) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- (Q5009453) (← links)
- Infinitary Noetherian constructions I. Infinite words (Q5074202) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
