On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras
classification
🧮 math.LO
keywords
algebrasfreebooleanoperatorspinterresultalgebraatomicity
read the original abstract
We give some general theorems on free algebras of varieties of Boolean algebras with operators; a hitherto new result is obtained for Pinter's substitution algebras. For n\geq 3, and m>1, there is a generating set of the free algebra freely generated by m elements, which is not a free set of generators.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.