A general extension theorem for directed-complete partial orders
From MaRDI portal
Recommendations
Cited in
(17)- A theorem on order extensions: Embeddability of a system of weak orders to meet solvability constraints
- Maximal ideals in countable rings, constructively
- The computational significance of Hausdorff's maximal chain principle
- General complementarities on complete partial orders
- Ribenboim's order extension theorem from a constructive point of view
- Radical theory of Scott-open filters
- Effective extensions of partial orders
- The Jacobson radical for an inconsistency predicate
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: A general extension theorem for directed-complete partial orders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4627726)
