Restricted theories of constructive Boolean algebras

DOI10.1007/BF00971671zbMath0386.03013MaRDI QIDQ1249569

Sergei S. Goncharov

Publication date: 1977

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Boolean algebras (Boolean rings) (06E99) Proof theory and constructive mathematics (03F99)

Related Items (1)

The minimality of certain decidability conditions for Boolean algebras

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Restricted theories of constructive Boolean algebras