PP201619: Bezhanishvili, Guram and Bezhanishvili, Nick and LuceroBryan, Joel and van Mill, Jan (2016) Topological and logical explorations of Krull dimension. [Report]

Text (Full Text)
PP201619.text.pdf Download (469kB)  Preview 

Text (Abstract)
PP201619.abstract.txt Download (1kB) 
Abstract
Krull dimension measures the depth of the spectrum Spec(R) of a commutative ring R. Since Spec(R) is a spectral space, Krull dimension can be defined for spectral spaces. Utilizing Stone duality, it can also be defined for distributive lattices. For an arbitrary topological space, the notion of Krull dimension is less useful. Isbell remedied this by introducing the concept of graduated dimension. In this paper we propose an alternate concept, that of localic Krull dimension of a topological space, which has its roots in modal logic. This is done by investigating the concept of Krull dimension for closure algebras and Heyting algebras, which formalize the notions of powerset and open set algebras of topological spaces. We compare localic Krull dimension to other wellknown dimension functions, and show that it can detect topological differences between topological spaces that Krull dimension is unable to detect. We also investigate applications of localic Krull dimension to modal logic. We prove that for a T1space to have a finite localic Krull dimension can be described by an appropriate generalization of the wellknown concept of a nodec space. These considerations yield topological completeness and incompleteness results in modal logic that we examine in detail.
Item Type:  Report 

Report Nr:  PP201619 
Series Name:  Prepublication (PP) Series 
Year:  2016 
Uncontrolled Keywords:  Krull dimension, topological space, locale, Heyting algebra, closure algebra, modal logic 
Subjects:  Logic 
Depositing User:  Nick Bezhanishvili 
Date Deposited:  12 Oct 2016 14:37 
Last Modified:  12 Oct 2016 14:37 
URI:  https://eprints.illc.uva.nl/id/eprint/555 
Actions (login required)
View Item 