scientific article; zbMATH DE number 871868

MaRDI QIDQ4875137zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 28 April 1996

zbMATH Keywords

elementary theories of free algebrashereditarily undecidableinterpretability logicintuitionistic logicmodal logicsprovability logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Other classical first-order model theory (03C68) Undecidability and degrees of sets of sentences (03D35) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Free algebras (08B20)

Recommendations

• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• scientific article; zbMATH DE number 194904
• scientific article; zbMATH DE number 31603
• Undecidability of relatively free Hilbert algebras

Cited in

(7)

• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
• scientific article; zbMATH DE number 4130350 (Why is no real title available?)
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• 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
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic

This page was built for publication:

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