Pages that link to "Item:Q4596662"

The following pages link to Fraïssé’s conjecture in Π11-comprehension (Q4596662):

Displayed 4 items.

• Embeddings between well-orderings: computability-theoretic reductions (Q1987213) ‎ (← links)
• Well, Better and In-Between (Q3295144) ‎ (← links)
• The Reverse Mathematics of wqos and bqos (Q3295152) ‎ (← links)
• On the logical strength of the better quasi order with three elements (Q6135847) ‎ (← links)