A general extension theorem for directed-complete partial orders

DOI10.4467/20842589RM.18.005.8838OpenAlexW2939886985MaRDI QIDQ4627726FDOQ4627726

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

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

zbMATH Keywords

extension theoremsKuratowski-Zorn lemmatransfinite methods

Mathematics Subject Classification ID

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

Cited In (8)

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