Constructive enumeration of Boolean lattices

DOI10.1007/BF01980735zbMath0716.03030OpenAlexW2071549821MaRDI QIDQ752699

V. D. Dzgoev

Publication date: 1988

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01980735

zbMATH Keywords

Boolean algebraBoolean latticerecursive modelconstructivization

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Boolean algebras (Boolean rings) (06Exx)

Related Items (1)

On the effective universality of mereological theories

Cites Work

• Examples of nonautostable systems
• Recursive isomorphism types of recursive Boolean algebras
• Recursive Boolean algebras with recursive atoms

This page was built for publication: Constructive enumeration of Boolean lattices