Zorn's lemma and complete Boolean algebras in intuitionistic type theories

DOI10.2307/2275642zbMath0896.03049OpenAlexW2124870057WikidataQ125024632 ScholiaQ125024632MaRDI QIDQ4382475

John L. Bell

Publication date: 1 October 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275642

zbMATH Keywords

complete Boolean algebrasaxiom of choiceZorn's lemmaconstructive logicextension principleintuitionistic type theoriesSikorski extension theorem

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items

Radical theory of Scott-open filters ⋮ Some forms of excluded middle for linear orders ⋮ On Small Types in Univalent Foundations ⋮ Maximal elements with minimal logic ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Unnamed Item ⋮ The shrinking principle and the axiom of choice ⋮ Formal Zariski topology: Positivity and points ⋮ Towards formal Baer criteria ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Boolean Algebras and Distributive Lattices Treated Constructively

Cites Work

• On the strength of the Sikorski extension theorem for Boolean algebras
• Boolean algebras in a localic topos
• Unnamed Item
• Unnamed Item

This page was built for publication: Zorn's lemma and complete Boolean algebras in intuitionistic type theories