A General Extension Theorem for Directed-Complete Partial Orders

DOI10.4467/20842589RM.18.005.8838OpenAlexW2939886985MaRDI QIDQ4627726

Daniel Wessel, Peter M. 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)

Related Items (4)

The Jacobson radical for an inconsistency predicate ⋮ Radical theory of Scott-open filters ⋮ Maximal ideals in countable rings, constructively ⋮ The computational significance of Hausdorff's maximal chain principle

This page was built for publication: A General Extension Theorem for Directed-Complete Partial Orders