A general extension theorem for directed-complete partial orders

DOI10.4467/20842589RM.18.005.8838MaRDI QIDQ4627726OpenAlexFDO

Authors Daniel Wessel, Peter Schuster

Publication date 11 March 2019

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4467/20842589rm.18.005.8838

zbMATH Keywords

extension theoremsKuratowski-Zorn lemmatransfinite methods

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25)

Recommendations

• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Constructive order theory
• Knaster-Tarski revisited
• Towards formal Baer criteria
• scientific article; zbMATH DE number 2145654

Cited in

(8)

• The Jacobson radical for an inconsistency predicate
• A theorem on order extensions: Embeddability of a system of weak orders to meet solvability constraints
• Effective extensions of partial orders
• Ribenboim's order extension theorem from a constructive point of view
• Radical theory of Scott-open filters
• The computational significance of Hausdorff's maximal chain principle
• Maximal ideals in countable rings, constructively
• General complementarities on complete partial orders

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)