Pages that link to "Item:Q1032636"

The following pages link to On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636):

Displaying 9 items.

• The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
• The Veblen functions for computability theorists (Q3011121) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
• Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
• Laver and set theory (Q5964933) (← links)
• Euclidean algorithm for a class of linear orders (Q6056733) (← links)
• On the logical strength of the better quasi order with three elements (Q6135847) (← links)