Publication:4083724
From MaRDI portal
zbMath0321.06003MaRDI QIDQ4083724
Publication date: 1975
06A06: Partial orders, general
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, The ideal view on Rackoff's coverability technique, The chain covering number of a poset with no infinite antichains, Variations of statement, variations of strength. The case of the Rival-Sands theorems, (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE, Reverse mathematics and initial intervals, Algebraic models for \(T_1\)-spaces, Ordered sets with no infinite antichains, Handling infinitely branching well-structured transition systems, The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings, The Reverse Mathematics of wqos and bqos