scientific article; zbMATH DE number 3995639

MaRDI QIDQ4723707zbMATH OpenFDO

Authors A. T. Nurtazin

Publication date 1986

zbMATH Keywords

saturated modelprime modelsfirst order theoryLindenbaum algebrastrongly constructive modeltheory of Boolean algebrasbase totality

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Recommendations

• Equational bases of boolean algebras
• Bases of measurability in Boolean algebras
• On a class of bases for Boolean functions
• scientific article; zbMATH DE number 4049691
• scientific article; zbMATH DE number 4049555
• On some series of bases for the set of Boolean functions
• scientific article; zbMATH DE number 3557845
• On the premaximal Boolean bases
• Existence of finite bases in closed classes of Boolean functions
• On Boolean Algebras and their Recursive Completions

Cited in

(2)

• A construction of Boolean algebras from first-order structures
• Countable infinite existentially closed models of universally axiomatizable theories

This page was built for publication:

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