The minimality of certain decidability conditions for Boolean algebras

DOI10.1134/S0037446612010090zbMATH Open1252.03095MaRDI QIDQ416985FDOQ416985

Authors: M. N. Leont'eva 

Publication date: 10 May 2012

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

Recommendations

• Sufficient solvability conditions for Boolean algebras
• Decidable Boolean algebras of low level
• Decidable Boolean algebras of characteristic \((1,0,1)\)
• scientific article; zbMATH DE number 934728
• scientific article; zbMATH DE number 1002913

zbMATH Keywords

Boolean algebracomputable model\(n\)-computabilitycomputable setdecidable modelelementary characteristic of a Boolean algebraErshov-Tarski idealstrongly computable model

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Structure theory of Boolean algebras (06E05)

Cites Work

• Computable structures and the hyperarithmetical hierarchy
• Title not available (Why is that?)
• Some properties of the constructivization of Boolean algebras
• Restricted theories of constructive Boolean algebras
• The existence of strongly computable representations in the class of Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strongly constructive Boolean algebras
• Title not available (Why is that?)
• Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable

Cited In (11)

• Title not available (Why is that?)
• Primitivity, uniform minimality, and state complexity of Boolean operations
• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
• Sufficient solvability conditions for Boolean algebras
• Minimally generated Boolean algebras
• Title not available (Why is that?)
• Minimally generated Boolean algebras and the Nikodym property
• On the 1-decidability of Boolean algebras with one distinguished ideal
• On the boolean minimal realization problem in the max-plus algebra
• Title not available (Why is that?)
• New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial

This page was built for publication: The minimality of certain decidability conditions for Boolean algebras

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