Elementary theories of free topo-Boolean and pseudo-Boolean algebras

DOI10.1007/BF01157678MaRDI QIDQ1076014zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 1985

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

free algebrasintuitionistic logicmodal logicintermediate logicspseudo-Boolean algebratopo-Boolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Equations in free topoboolean algebra
• scientific article; zbMATH DE number 871868
• scientific article; zbMATH DE number 3981235
• scientific article; zbMATH DE number 194904
• Publication:4724632

Cites work

• scientific article; zbMATH DE number 3378883 (Why is no real title available?)
• One hundred and two problems in mathematical logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology

Cited in

(12)

• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• scientific article; zbMATH DE number 3895062 (Why is no real title available?)
• scientific article; zbMATH DE number 4185681 (Why is no real title available?)
• Saturated free algebras and almost indiscernible theories
• scientific article; zbMATH DE number 194904 (Why is no real title available?)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• scientific article; zbMATH DE number 1941925 (Why is no real title available?)
• Heyting* algebras, topological Boolean algebras and P.O. systems
• scientific article; zbMATH DE number 3997792 (Why is no real title available?)
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Equations in free topoboolean algebra
• scientific article; zbMATH DE number 3981235 (Why is no real title available?)

This page was built for publication: Elementary theories of free topo-Boolean and pseudo-Boolean algebras

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