pith. sign in

arxiv: 2406.05480 · v3 · submitted 2024-06-08 · 🧮 math.LO

Free algebras and coproducts in varieties of G\"odel algebras

Luca Carai This is my paper

Pith reviewed 2026-05-24 00:23 UTC · model grok-4.3

classification 🧮 math.LO
keywords Gödel algebrasfree algebrascoproductsPriestley dualityEsakia dualityHeyting algebrasdistributive latticesbi-Heyting algebras
0
0 comments X

The pith

The Esakia dual of a free Gödel algebra over a distributive lattice is the space of nonempty closed chains from its Priestley dual.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Gödel algebras are the Heyting algebras obeying the prelinearity law (x → y) ∨ (y → x) = 1. The paper applies Priestley and Esakia dualities to construct the dual spaces of free Gödel algebras and of their coproducts directly from the underlying lattice duals. The central construction takes the collection of all nonempty closed chains in the Priestley dual of a distributive lattice, equips that collection with a suitable topology and order, and obtains the Esakia space of the free Gödel algebra generated over the lattice. The same method yields dual descriptions for coproducts of arbitrary families and for free algebras and coproducts inside every subvariety of Gödel algebras. From these descriptions the paper derives an explicit formula for the depth of any coproduct and proves that every free Gödel algebra is bi-Heyting.

Core claim

We realize the Esakia space dual to a Gödel algebra free over a distributive lattice as the, suitably topologized and ordered, collection of all nonempty closed chains of the Priestley dual of the lattice. This provides a tangible dual description of free Gödel algebras without any restriction on the number of free generators, which generalizes known results for the finitely generated case. A similar approach allows us to characterize the Esakia spaces dual to coproducts of arbitrary families of Gödel algebras. We also establish analogous dual descriptions of free algebras and coproducts in every variety of Gödel algebras.

What carries the argument

The collection of nonempty closed chains inside a Priestley space, equipped with the topology and order that make it an Esakia space dual to the free Gödel algebra.

If this is right

  • Coproducts of Gödel algebras admit an explicit formula for their depth.
  • Every free Gödel algebra is a bi-Heyting algebra.
  • Coproducts of arbitrary families of Gödel algebras have Esakia duals obtained by a similar chain construction.
  • The same chain-based dual descriptions hold inside every subvariety of Gödel algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction supplies a uniform method for computing concrete invariants of free Gödel algebras on finite or countable lattices.
  • Analogous chain collections may furnish dual representations for other intermediate logics whose algebras satisfy chain conditions.
  • Verification on small finite lattices where the free Gödel algebras are already known by other means would provide an immediate consistency check.

Load-bearing premise

Priestley and Esakia dualities preserve exactly the structure needed to identify free algebras and coproducts inside Gödel algebras and their varieties.

What would settle it

An explicit distributive lattice L together with its free Gödel algebra F whose Esakia dual is not homeomorphic and order-isomorphic to the space of nonempty closed chains in the Priestley dual of L.

Figures

Figures reproduced from arXiv: 2406.05480 by Luca Carai.

Figure 1
Figure 1. Figure 1: The Priestley space X and the Esakia root system CC(X). Remark 3.18. A straightforward argument using Theorem 3.16 shows that each Pries-morphism f : X1 → X2 yields an ERS-morphism CC(f): CC(X1) → CC(X2) mapping C ∈ CC(X1) to f[C] ∈ CC(X2). It is immediate to verify that CC: Pries → ERS is a functor, and [ML71, Thm. IV.1.2] implies that CC is right adjoint to the inclusion ERS ֒→ Pries. We are now ready to… view at source ↗
Figure 2
Figure 2. Figure 2: The chains C1 and C2 of 2 × 2 and their projections. We will show that N i Yi is the product of {Yi | i ∈ I} in the category ERS. We begin by proving that N i Yi is an Esakia root system, but we first need to recall the following technical fact. Lemma 4.5. [Pri84, Prop. 2.6(iv)] Let A, B ⊆ X be closed subsets of a Priestley space such that ↑A ∩ ↓B = ∅. Then there is a clopen upset U and a clopen downset D … view at source ↗
Figure 3
Figure 3. Figure 3: The poset 2 × 2 and the set CC(2 × 2) with the partial orders E and ⊇. Let G be the G¨odel algebra free over L = X∗ via e: L → G. Then G ∼= (CC(X), E) ∗ by Theo￾rem 3.19. Since ⊇ extends E, the identity map idCC(X) : (CC(X), E) → (CC(X), ⊇) is a continuous order-preserving map between Priestley spaces. Then (CC(X), ⊇) ∗ embeds into G because onto Pries-morphisms correspond to embeddings in DL (see, e.g., [… view at source ↗
read the original abstract

G\"odel algebras are the Heyting algebras satisfying the axiom $(x \to y) \vee (y \to x)=1$. We utilize Priestley and Esakia dualities to dually describe free G\"odel algebras and coproducts of G\"odel algebras. In particular, we realize the Esakia space dual to a G\"odel algebra free over a distributive lattice as the, suitably topologized and ordered, collection of all nonempty closed chains of the Priestley dual of the lattice. This provides a tangible dual description of free G\"odel algebras without any restriction on the number of free generators, which generalizes known results for the finitely generated case. A similar approach allows us to characterize the Esakia spaces dual to coproducts of arbitrary families of G\"odel algebras. We also establish analogous dual descriptions of free algebras and coproducts in every variety of G\"odel algebras. As consequences of these results, we obtain a formula to compute the depth of coproducts of G\"odel algebras and show that all free G\"odel algebras are bi-Heyting algebras.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper claims to use Priestley and Esakia dualities to realize the Esakia space dual to a Gödel algebra free over a distributive lattice L as the suitably topologized and ordered collection of all nonempty closed chains in the Priestley dual of L. This yields explicit dual descriptions of free Gödel algebras (for arbitrary, including infinite, generator sets) and of coproducts of arbitrary families of Gödel algebras; the same method extends to every subvariety of Gödel algebras. Consequences include a formula for the depth of coproducts and the result that all free Gödel algebras are bi-Heyting algebras.

Significance. If the dual constructions and universal-property verifications hold, the work supplies a tangible, generator-unrestricted dual description of free objects in the variety (and its subvarieties) that directly generalizes the known finite-generator case. The approach is grounded in standard dualities, verifies the relevant universal properties from the chain construction, and produces concrete consequences such as the depth formula and the bi-Heyting property; these are useful tools for further study of free algebras and coproducts in this setting.

minor comments (2)
  1. [Abstract] The abstract and introduction would benefit from explicit forward references to the theorem numbers that state the main dual descriptions (e.g., the chain-space realization and the coproduct characterization).
  2. Notation for the topologies and orders on the chain spaces should be introduced once and used consistently; minor inconsistencies in the use of 'closed chain' versus 'nonempty closed chain' appear in early sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance, and recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper applies the standard, externally established Priestley and Esakia dualities to realize the Esakia space of a free Gödel algebra over a distributive lattice L as the topologized collection of nonempty closed chains in the Priestley dual of L. The universal property is verified directly from this chain construction, and the same method yields coproduct descriptions. All steps rely on the cited external dualities and explicit verification rather than any self-definitional reduction, fitted input renamed as prediction, or load-bearing self-citation chain. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition of Gödel algebras and the applicability of Priestley/Esakia dualities; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)
  • domain assumption Gödel algebras are Heyting algebras satisfying (x → y) ∨ (y → x) = 1
    Stated as the defining property in the abstract.
  • standard math Priestley and Esakia dualities apply to the relevant categories of lattices and algebras
    Invoked to dually describe free algebras and coproducts.

pith-pipeline@v0.9.0 · 5717 in / 1258 out tokens · 27236 ms · 2026-05-24T00:23:16.024036+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Aguzzoli, B

    S. Aguzzoli, B. Gerla, and V. Marra. G\" o del algebras free over finite distributive lattices. Ann. Pure Appl. Logic , 155(3):183--193, 2008

    work page 2008

  2. [2]

    R. N. Almeida. Colimits of H eyting algebras through E sakia duality. Available online at https://arxiv.org/abs/2402.08058v2, 2024

    work page arXiv 2024

  3. [3]

    Bezhanishvili, N

    G. Bezhanishvili, N. Bezhanishvili, T. Moraschini, and M. Stronkowski. Profiniteness and representability of spectra of H eyting algebras. Adv. Math. , 391:Paper No. 107959, 2021

    work page 2021

  4. [4]

    Bellissima

    F. Bellissima. Finitely generated free H eyting algebras. J. Symb. Logic , 51(1):152--165, 1986

    work page 1986

  5. [5]

    Bezhanishvili

    G. Bezhanishvili. Varieties of monadic H eyting algebras. III . Studia Logica , 64(2):215--256, 2000

    work page 2000

  6. [6]

    Bezhanishvili

    N. Bezhanishvili. Lattices of I ntermediate and C ylindric M odal L ogics . PhD thesis, University of Amsterdam, 2006. Available at https://eprints.illc.uva.nl/id/eprint/2049/1/DS-2006-02.text.pdf

    work page 2006

  7. [7]

    Bezhanishvili and M

    N. Bezhanishvili and M. Gehrke. Finitely generated free H eyting algebras via B irkhoff duality and coalgebra. Log. Methods Comput. Sci. , 7(2):2:9, 24, 2011

    work page 2011

  8. [8]

    Bezhanishvili, M

    N. Bezhanishvili, M. Martins, and T. Moraschini. Bi-intermediate logics of trees and co-trees. ILLC Prepublication (PP) Series. 2022

    work page 2022

  9. [9]

    Bezhanishvili, V

    N. Bezhanishvili, V. Marra, D. McNeill, and A. Pedrini. Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Logic , 169(5):373--391, 2018

    work page 2018

  10. [10]

    Baaz and N

    M. Baaz and N. Preining. G\" o del- D ummett L ogics. In P. Cintula, P. Hájek, and C. Noguera, editors, Handbook of M athematical F uzzy L ogic , volume 37 and 38 of Studies in Logic, Mathematical Logic and Foundations . College Publications, London, England, 2011

    work page 2011

  11. [11]

    Chagrov and M

    A. Chagrov and M. Zakharyaschev. Modal logic , volume 35 of Oxford Logic Guides . The Clarendon Press, Oxford University Press, New York, 1997

    work page 1997

  12. [12]

    J. M. Dunn and R. K. Meyer. Algebraic completeness results for D ummett's LC and its extensions. Z. Math. Logik Grundlagen Math. , 17:225--230, 1971

    work page 1971

  13. [13]

    O. M. D'Antona and V. Marra. Computing coproducts of finitely presented G \" o del algebras. Ann. Pure Appl. Logic , 142(1-3):202--211, 2006

    work page 2006

  14. [14]

    B. A. Davey and H. A. Priestley. Introduction to lattices and order . Cambridge University Press, New York, second edition, 2002

    work page 2002

  15. [15]

    M. Dummett. A propositional calculus with denumerable matrix. J. Symb. Logic , 24:97--106, 1959

    work page 1959

  16. [16]

    Esakia and R

    L. Esakia and R. Grigolia. The criterion of B rouwerian and closure algebras to be finitely generated. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic , 6(2):46--52, 1977

    work page 1977

  17. [17]

    L. Esakia. Heyting algebras. D uality theory , volume 50 of Translated from the Russian by A. Evseev. Edited by G. Bezhanishvili and W. Holliday. Trends in Logic . Springer, 2019

    work page 2019

  18. [18]

    Givant and P

    S. Givant and P. Halmos. Introduction to B oolean algebras . Undergraduate Texts in Mathematics. Springer, New York, 2009

    work page 2009

  19. [19]

    Ghilardi

    S. Ghilardi. Free H eyting algebras as bi- H eyting algebras. C. R. Math. Rep. Acad. Sci. Canada , 14(6):240--244, 1992

    work page 1992

  20. [20]

    Grigolia

    R. Grigolia. Free algebras of nonclassical logics (Russian) . ``Metsniereba'', Tbilisi, 1987

    work page 1987

  21. [21]

    Grigolia

    R. Grigolia. Co-product of H eyting algebras. Proc. A. Razmadze Math. Inst. , 140:83--89, 2006

    work page 2006

  22. [22]

    Gehrke and S

    M. Gehrke and S. van Gool. Topological Duality for Distributive Lattices: Theory and Applications , volume 61 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press, Cambridge, 2024

    work page 2024

  23. [23]

    Hecht and T

    T. Hecht and T. Katri n \' a k. Equational classes of relative S tone algebras. Notre Dame J. Formal Log. , 13:248--254, 1972

    work page 1972

  24. [24]

    A. Horn. Logic with truth values in a linearly ordered H eyting algebra. J. Symb. Logic , 34:395--408, 1969

    work page 1969

  25. [25]

    T. Hosoi. On intermediate logics. I . J. Fac. Sci. Univ. Tokyo Sect. I , 14:293--312, 1967

    work page 1967

  26. [26]

    P. Hájek. Metamathematics of Fuzzy Logic . Trends in Logic. Springer Netherlands, 1998

    work page 1998

  27. [27]

    E. Michael. Topologies on spaces of subsets. Trans. Amer. Math. Soc. , 71:152--182, 1951

    work page 1951

  28. [28]

    Mac Lane

    S. Mac Lane. Categories for the working mathematician . Graduate Texts in Mathematics, Vol. 5. Springer-Verlag, New York, 1971

    work page 1971

  29. [29]

    H. A. Priestley. Ordered sets and duality for distributive lattices. In Orders: description and roles ( L ' A rbresle, 1982) , volume 99 of North-Holland Math. Stud. , pages 39--60. North-Holland, Amsterdam, 1984

    work page 1982

  30. [30]

    V. B. Shehtman. Reiger- N ishimura ladders. Dokl. Akad. Nauk SSSR , 241(6):1288--1291, 1978

    work page 1978

  31. [31]

    Urquhart

    A. Urquhart. Free H eyting algebras. Algebra Universalis , 3:94--97, 1973

    work page 1973