Heyting \(\kappa\)-frames

DOI10.1007/S11225-023-10072-3MaRDI QIDQ6597127

Giuseppe Sergioli, H. Freytes

Publication date: 3 September 2024

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

framesinfinitary operations\(\bigvee_\kappa\)-complete Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On maximal intermediate logics with the disjunction property
• Quantifiers on distributive lattices
• Amalgamation and epimorphisms in m complete Boolean algebras
• Metamathematics of fuzzy logic
• Varieties of monadic Heyting algebras. I
• Varieties of three-valued Heyting algebras with a quantifier
• Functional monadic Heyting algebras.
• \(\kappa\)-frames
• Epimorphisms of frames
• The algebra of topology
• Stone-čech Compactification and Dimension Theory for Regular σ-Frames
• The point of pointless topology
• THE FRAME ENVELOPE OF A σ-FRAME
• Quotient Frames and Subspaces
• Nontrivial 𝔪-injective Boolean algebras do not exist
• Atomless Parts of Spaces.
• On the representation of 𝜎-complete Boolean algebras

This page was built for publication: Heyting \(\kappa\)-frames

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