scientific article
zbMath0555.06011MaRDI QIDQ3218187
Hans-Joachim Goltz, Martin Weese
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
congruence latticesBoolean ringstopological representationdecidabilityidealscomplete Boolean algebrasfiltersdiscriminator varietiesquantifiersfree Boolean algebrascountable Boolean algebrasBoolean productssecond order logicmonadic algebrasmodel interpretationelementary theory of well orderingsfiltered Boolean powers
Model-theoretic algebra (03C60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Lattice ideals, congruence relations (06B10) Logic with extra quantifiers and operators (03C80) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05) Products, amalgamated products, and other kinds of limits and colimits (08B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Boolean algebras (Boolean rings) (06Exx)
Related Items (1)
This page was built for publication:
