Constructive Boolean algebras with almost-identical automorphisms

DOI10.1007/BF01158175MaRDI QIDQ1078560zbMATH OpenOpenAlexFDO

Authors Andrei 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

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

Recommendations

• Groups of recursive automorphisms of constructive Boolean algebras
• Automorphisms of constructivizations of Boolean algebras
• scientific article; zbMATH DE number 4193662
• Automorphisms of Boolean algebras which are recursive over atoms
• On Boolean Algebras and their Recursive Completions

Cites work

• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• Constructive Boolean algebras with almost-identical automorphisms

Cited in

(8)

• Autometrized Boolean Algebras I: Fundamental Distance-Theoretic Properties of B
• scientific article; zbMATH DE number 4150125 (Why is no real title available?)
• Boolean‐Valued Models of Set Theory with Automorphisms
• Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
• Automorphisms of Boolean algebras determined by fixed points
• Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
• Automorphisms of constructivizations of Boolean algebras
• Constructive Boolean algebras with almost-identical automorphisms

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

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