Persistence and atomic generation for varieties of Boolean algebras with operators

DOI10.1023/A:1012491022267zbMath0996.06008OpenAlexW1533515579MaRDI QIDQ5954707

Robert Goldblatt

Publication date: 5 February 2002

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

Full work available at URL: https://doi.org/10.1023/a:1012491022267

zbMATH Keywords

persistencevarietyatomic membersBoolean algebras with operatorscanonical embeddingcomplex algebrasrelational structures

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (8)

MacNeille completions and canonical extensions ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

This page was built for publication: Persistence and atomic generation for varieties of Boolean algebras with operators