scientific article; zbMATH DE number 871868

MaRDI QIDQ4875137zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 28 April 1996

zbMATH Keywords

intuitionistic logicmodal logicsprovability logicinterpretability logichereditarily undecidableelementary theories of free algebras

Mathematics Subject Classification ID

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

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)

• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• scientific article; zbMATH DE number 4130350 (Why is no real title available?)
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• scientific article; zbMATH DE number 194904 (Why is no real title available?)
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics

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)