×

zbMATH — the first resource for mathematics

Elementary theories of free topo-Boolean and pseudo-Boolean algebras. (English. Russian original) Zbl 0593.03041
Math. Notes 37, 435-438 (1985); translation from Mat. Zametki 37, No. 6, 797-802 (1985).
As is well known there exists a dual isomorphism between the lattice of extensions of the modal logic S4 (the intuitionistic logic Int) and the lattice of varieties of topo-Boolean (pseudo-Boolean) algebras assigning to a logic \(\lambda\) the variety algebras var(\(\lambda)\). (The algebraic analog of ”topo-Boolean algebra” is ”interior algebra” or ”closure algebra” of McKinsey-Tarski.) In this note the elementary theories of free algebras of rank \(\omega\) (denoted: \({\mathcal F}_{\omega}(\lambda))\) from the variety var(\(\lambda)\), where \(\lambda\) \(\supseteq S4\) or \(\lambda\) \(\supseteq Int\), are investigated. We introduce some class of (\(\infty,2)\)-logics \(\lambda\), where \(\lambda\) \(\supseteq S4\) or \(\lambda\) \(\supseteq Int\). Main result of this note is: The free algebra \({\mathcal F}_{\omega}(\lambda)\) from the variety var(\(\lambda)\), where \(\lambda\) is (\(\infty,2)\)-logic and \(\lambda\) \(\supseteq S4\) or \(\lambda\) \(\supseteq Int\), has hereditarily undecidable elementary theory.
The classes of modal (\(\infty,2)\)-logics and of intermediate (\(\infty,2)\)-logics are extremely wide. For example, the first one contains all modal logics \(\lambda\) such that S4\(\subseteq \lambda \subseteq S4+\sigma_ 2\) or S4.1\(\subseteq \lambda \subseteq Grz+\sigma_ 2\), the second one includes all intermediate logics \(\lambda\) such that Int\(\subseteq \lambda \subseteq Int+I_ 2\). In particular, the free topo-Boolean algebra \({\mathcal F}_{\omega}(S4)\) and the free pseudo-Boolean algebra \({\mathcal F}_{\omega}(Int)\) have undecidable elementary theories.

MSC:
03G10 Logical aspects of lattices and related structures
03B45 Modal logic (including the logic of norms)
03B55 Intermediate logics
03D35 Undecidability and degrees of sets of sentences
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] J. McKinsey and A. Tarski, ?The algebra of topology,? Ann. Math.,45, 141-191 (1944). · Zbl 0060.06206
[2] E. Rasiowa and R. Sikorski, Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972). · Zbl 0239.02002
[3] J. McKinsey and A. Tarski, ?Some theorems about the sentential calculi of Lewis and Heyting,? J. Symbolic Logic,13, 1-15 (1948). · Zbl 0037.29409
[4] H. Freedman, ?One-hundred-and-two problems in mathematical logic,? J. Symbolic Logic,40, 113-130 (1975). · Zbl 0318.02002
[5] V. V. Rybakov, ?Elementary theories of free closure algebras,? in: 16th All-Union Algebraic Conference, II [in Russian], Leningrad (1981), p. 116.
[6] Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
[7] L. L. Maksimova and V. V. Rybakov, ?On the lattice of normal modal logics,? Algebra Logika,13, No. 2, 188-216 (1974).
[8] R. Faith, Modal Logic [Russian translation], Nauka, Moscow (1974).
[9] L. L. Maksimova, ?Modal logics of finite layers,? Algebra Logika,14, No. 3, 304-319 (1975).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.