The following pages link to (Q4083724):
Displaying 13 items.
- Reverse mathematics and initial intervals (Q386152) (← links)
- Algebraic models for \(T_1\)-spaces (Q536048) (← links)
- Ordered sets with no infinite antichains (Q1092071) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- (Q5136306) (← links)
- (Q5742874) (← links)
- The ideal view on Rackoff's coverability technique (Q5925512) (← links)
- The chain covering number of a poset with no infinite antichains (Q6122520) (← links)
- Variations of statement, variations of strength. The case of the Rival-Sands theorems (Q6147850) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)