scientific article; zbMATH DE number 4112841

MaRDI QIDQ4728525zbMATH OpenFDO

Authors F. Borceux, M. Cristina Pedicchio

Publication date 1989

Full work available at URL http://www.numdam.org/item?id=CTGDC_1989__30_2_167_0, https://eudml.org/doc/91437

zbMATH Keywords

boolean algebrasdistributive latticesfiltersinternal logic of a toposmaximalprimeproper

Mathematics Subject Classification ID

Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• The maximality of filters
• Topological properties of prime filters in R₀-algebras
• Prime elements in a localic topos
• Boolean algebras in a localic topos
• Prime filters and ideals in distributive lattices

Cites work

• Another condition equivalent to de morgan's law
• Automorphisms of \(\Omega\)
• Boolean algebras in a localic topos
• scientific article; zbMATH DE number 4049850 (Why is no real title available?)
• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Prime elements in a localic topos
• The maximality of filters

Cited in

(8)

• Prime elements in a localic topos
• The maximality of filters
• Principal filters definable by parameters in 𝓔_bT
• scientific article; zbMATH DE number 1933085 (Why is no real title available?)
• scientific article; zbMATH DE number 1765739 (Why is no real title available?)
• Prime filters and ideals in distributive lattices
• Prime strong filters on posets
• Boolean algebras in a localic topos

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4728525)