Heyting \(\kappa\)-frames
type: Item
instance of: scholarly article
title: Heyting \(\kappa\)-frames
author: H. Freytes
author: Giuseppe Sergioli
published in: Studia Logica
publication date: 2024-09-03T00:00:00Z
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 7905642
zbMATH Keywords: \(\bigvee_\kappa\)-complete Heyting algebras
zbMATH Keywords: frames
zbMATH Keywords: infinitary operations
MaRDI profile type: Publication
cites work: Varieties of three-valued Heyting algebras with a quantifier
cites work: Q4083730
cites work: Q5582209
cites work: Stone-čech Compactification and Dimension Theory for Regular σ-Frames
cites work: Q3141986
cites work: THE FRAME ENVELOPE OF A σ-FRAME
cites work: Varieties of monadic Heyting algebras. I
cites work: Functional monadic Heyting algebras.
cites work: Quantifiers on distributive lattices
cites work: Quotient Frames and Subspaces
cites work: Metamathematics of fuzzy logic
cites work: Atomless Parts of Spaces.
cites work: Q3965241
cites work: The point of pointless topology
cites work: Q5332215
cites work: Amalgamation and epimorphisms in m complete Boolean algebras
cites work: On the representation of 𝜎-complete Boolean algebras
cites work: \(\kappa\)-frames
cites work: Epimorphisms of frames
cites work: The algebra of topology
cites work: On maximal intermediate logics with the disjunction property
cites work: Q4123496
cites work: Nontrivial 𝔪-injective Boolean algebras do not exist
cites work: Q3208651
cites work: Q5735229
cites work: Q5567917
DOI: 10.1007/S11225-023-10072-3
description: scientific article; zbMATH DE number 7905642