Atomless Boolean algebras computable in polynomial time

DOI10.17377/SEMI.2016.13.082zbMATH Open1390.03033MaRDI QIDQ2402149FDOQ2402149

Authors: P. E. Alaev 

Publication date: 6 September 2017

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 2157312
• scientific article; zbMATH DE number 2193711
• scientific article; zbMATH DE number 1421070
• Computable Boolean algebras
• scientific article; zbMATH DE number 2203952
• scientific article; zbMATH DE number 4089517
• scientific article; zbMATH DE number 1534579
• Complexity-theoretic algebra. II: Boolean algebras
• scientific article; zbMATH DE number 2047481
• scientific article; zbMATH DE number 1984513

zbMATH Keywords

Boolean algebracomputable structurepolynomial time computabilityprimitive recursive structureprimitive recursive isomorphism

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computable structure theory, computable model theory (03C57) Structure theory of Boolean algebras (06E05) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (7)

• Effective categoricity of automatic equivalence and nested equivalence structures
• Title not available (Why is that?)
• Categoricity for primitive recursive and polynomial Boolean algebras
• The back-and-forth method and computability without delay
• A complete Boolean algebra that has no proper atomless complete subalgebra
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Title not available (Why is that?)

This page was built for publication: Atomless Boolean algebras computable in polynomial time

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