Pages that link to "Item:Q5311748"

The following pages link to Reverse mathematics and the equivalence of definitions for well and better quasi-orders (Q5311748):

Displaying 19 items.

• Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
• Reverse mathematics and initial intervals (Q386152) (← links)
• An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
• Infinite saturated orders (Q634735) (← links)
• The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
• Set systems: order types, continuous nondeterministic deformations, and quasi-orders (Q653312) (← links)
• Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
• On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
• Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
• The strength of infinitary Ramseyan principles can be accessed by their densities (Q2358627) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
• Phase Transitions for Weakly Increasing Sequences (Q3507431) (← links)
• Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
• Constructing sequences one step at a time (Q4988827) (← links)
• Infinitary Noetherian constructions I. Infinite words (Q5074202) (← links)
• Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
• On the logical strength of the better quasi order with three elements (Q6135847) (← links)
• The logical strength of minimal bad arrays (Q6658147) (← links)