Elementary theories of free topo-Boolean and pseudo-Boolean algebras
type: Item
instance of: scholarly article
title: Elementary theories of free topo-Boolean and pseudo-Boolean algebras
zbMATH Open document ID: 0593.03041
DOI: 10.1007/BF01157678
published in: Mathematical Notes
publication date: 1985-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 3952753
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: free algebras
zbMATH Keywords: intermediate logics
zbMATH Keywords: topo-Boolean algebra
zbMATH Keywords: pseudo-Boolean algebra
author: Vladimir Rybakov
MaRDI profile type: Publication
cites work: The algebra of topology
cites work: Q5650663
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: One hundred and two problems in mathematical logic
description: scientific article; zbMATH DE number 3952753