Pages that link to "Item:Q1267602"
From MaRDI portal
The following pages link to On initial segments of computable linear orders (Q1267602):
Displaying 17 items.
- Initial segments of computable linear orders with computable natural relations (Q308863) (← links)
- Initial segments of computable linear orders with additional computable predicates (Q431706) (← links)
- Computable shuffle sums of ordinals (Q938232) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Initial segments of recursive linear orders (Q1267600) (← links)
- Computable linear orders and limitwise monotonic functions (Q2036468) (← links)
- Computable presentability of countable linear orders (Q2036473) (← links)
- \(\Sigma_{2}^{0}\)-initial segments of computable linear orders (Q2342318) (← links)
- Order-computable sets (Q2469429) (← links)
- Prime models of theories of computable linear orderings (Q2723507) (← links)
- Limitwise monotonic sequences and degree spectra of structures (Q2845476) (← links)
- Iterated effective embeddings of abelian p-groups (Q2941047) (← links)
- On limitwise monotonicity and maximal block functions (Q3195647) (← links)
- A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES (Q5052014) (← links)
- Limitwise monotonic functions, sets, and degrees on computable domains (Q5190192) (← links)
- A class of low linear orders having computable presentations (Q6072990) (← links)
- Rogers semilattices of limitwise monotonic numberings (Q6094148) (← links)
