Constructive Boolean algebras with almost-identical automorphisms

DOI10.1007/BF01158175zbMath0597.03027OpenAlexW2086687163MaRDI QIDQ1078560

Andrey S. Morozov

Publication date: 1985

Published in: Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

constructive modelconstructivizationrecursive automorphisms

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Recursive equivalence types of sets and structures, isols (03D50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Constructive Boolean algebras with almost-identical automorphisms

Cites Work

• Constructive Boolean algebras with almost-identical automorphisms
• Unnamed Item

This page was built for publication: Constructive Boolean algebras with almost-identical automorphisms