Profiniteness and representability of spectra of Heyting algebras

DOI10.1016/j.aim.2021.107959OpenAlexW3193959723MaRDI QIDQ2232709

Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini, Michał M. Stronkowski

Publication date: 8 October 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.02530

zbMATH Keywords

Priestley spaceHeyting algebraprofinite completionEsakia spacerepresentation problemprofinite algebra

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Ordered topological structures (06F30) Intermediate logics (03B55)

Related Items (1)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compact Hausdorff Heyting algebras
• Profinite algebras and affine boundedness
• Stone coalgebras
• Profinite completions and canonical extensions of Heyting algebras
• The axiomatizability of topological prevarieties
• Profinite Heyting algebras
• Two sequences of locally tabular superintuitionistic logics
• Metamathematics of fuzzy logic
• Admissibility of logical inference rules
• Spectral sets
• Algebraic point lattices of quasivarieties
• Canonical extensions and ultraproducts of polarities
• Varieties of monadic Heyting algebras. III
• Epimorphism surjectivity in varieties of Heyting algebras
• Pretabular superintuitionistic logic
• Epimorphisms, definability and cardinalities
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• Kripke models and intermediate logics
• The spectrum of a ring as a partially ordered set
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• A propositional calculus with denumerable matrix
• Algebraizable logics
• Ordered Topological Spaces and the Representation of Distributive Lattices
• ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
• Logics containing K4. Part I
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• On the Partially Ordered Set of Prime Ideals of a Distributive Lattice
• Profinite posets
• Applications of the Theory of Boolean Rings to General Topology
• Logic and structure
• MV-algebras in duality with labelled root systems

This page was built for publication: Profiniteness and representability of spectra of Heyting algebras