On initial segments of computable linear orders
From MaRDI portal
Recommendations
Cited in
(19)- Linear orders with distinguished function symbol
- Initial segments of recursive linear orders
- Computable linear orders and limitwise monotonic functions
- Computable presentability of countable linear orders
- \(\Sigma_{2}^{0}\)-initial segments of computable linear orders
- Order-computable sets
- Prime models of theories of computable linear orderings
- Limitwise monotonic sequences and degree spectra of structures
- Iterated effective embeddings of abelian p-groups
- Initial segments of computable linear orders with computable natural relations
- On limitwise monotonicity and maximal block functions
- Initial segments of computable linear orders with additional computable predicates
- Computable choice functions for computable linear orderings
- A characterization of the strongly -representable many-one degrees
- Limitwise monotonic functions, sets, and degrees on computable domains
- A class of low linear orders having computable presentations
- Rogers semilattices of limitwise monotonic numberings
- The complexity of the successor and the block relations on computable linear orders
- Computable shuffle sums of ordinals
This page was built for publication: On initial segments of computable linear orders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267602)
