Pages that link to "Item:Q2385530"
From MaRDI portal
The following pages link to Computable linearizations of well-partial-orderings (Q2385530):
Displaying 16 items.
- Computing maximal chains (Q453200) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Phase transitions of iterated Higman-style well-partial-orderings (Q661281) (← links)
- Degree spectra of the successor relation of computable linear orderings (Q1005920) (← links)
- Completeness of a prover for dense linear orders (Q1187856) (← links)
- A computably enumerable partial ordering without computably enumerable maximal chains and antichains (Q1673673) (← links)
- The complexity space of a valued linearly ordered set (Q2843630) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
- (Q4035317) (← links)
- (Q4249724) (← links)
- An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120) (← links)
- (Q4424981) (← links)
- Cototal enumeration degrees and their applications to effective mathematics (Q4563667) (← links)
- COMPUTABLE LINEAR ORDERS AND PRODUCTS (Q5148100) (← links)