scientific article; zbMATH DE number 871868

zbMATH Open0853.03012MaRDI QIDQ4875137FDOQ4875137

Authors: Vladimir Rybakov 

Publication date: 28 April 1996

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Title not available (Why is that?)
• 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)