## EPIMORPHISM SURJECTIVITY IN VARIETIES OF HEYTING ALGEBRAS

## T. MORASCHINI AND J. J. WANNENBURG

A bstract . It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety generated by the Rieger-Nishimura lattice, and all of its (locally finite) subvarieties that contain the original counterexample K . It is known that, whenever a variety of Heyting algebras has finite depth, then it has surjective epimorphisms. In contrast, we show that for every integer n glyph[greaterorequalslant] 2, the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerˇ ciu variety (i.e., the variety generated by finite linear sums of one-generated Heyting algebras), we describe exactly the subvarieties that have surjective epimorphisms. This yields new positive examples, and an alternative proof of epimorphism surjectivity for all varieties of G¨ odel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics.

## 1 . I ntroduction

A morphism f : A → B in a category is called an epimorphism [ 1 , 13 , 31 , 36 ] provided that it is right-cancellative, i.e., for every pair of morphisms g h , : B → C (in the same category),

$$\text{if } g \circ f = h \circ f, \text{ then } g = h.$$

We regard any variety of algebras as a concrete category whose morphisms are the algebraic homomorphisms between its members. In such categories all surjective morphisms are epimorphisms, but the converse is not true in general. Accordingly, when all epimorphisms are surjective in a variety K of algebras, we say that K has the epimorphism surjectivity (ES) property .

This requirement can be phrased both in categorical and model theoretic terms. On the one hand, an epimorphism f : A → B is said to be regular if it is the co-equalizer of a pair of morphisms g h , : C → A . In a variety it can be shown that the co-equalizer of a pair of homomorphisms g h , : C → A is the canonical surjection f : A → A / , where q q is the smallest congruence of A containing the set {〈 g c ( ) , h c ( ) 〉 ∈ A × A : c ∈ C } . It follows that every

Key words. Epimorphism, Heyting algebra, Esakia space, intuitionistic logic, intermediate logic, Beth definability.

2010 Mathematics Subject Classification. 03B55, 06D20, 18A20, 06D50, 03G27, 03G10. Date : May 26 , 2020 .

regular epimorphism is a surjective homomorphism in a variety of algebras. The converse is also true, as every surjective homomorphism f : A → B can be seen as the co-equalizer of a pair of maps p 1, p 2 : Ker ( f ) → A , where Ker ( f ) is the kernel of f seen as a subalgebra of A × A and p 1 and p 2 are the projection maps, respectively, on the first and on the second component. Consequently, in varieties of algebras, regular epimorphisms coincide with surjective homomorphisms, and a variety has the ES property if and only if epimorphisms are regular in it.

On the other hand, from the point of view of model theory, the ES property is related to definability. More precisely, a variety K lacks the ES property when there are two algebras A B , ∈ K such that A is a proper subalgebra of B , and for every b ∈ B glyph[integerdivide] A there exist a primitive positive formula j ( glyph[vector] x y , ) and a tuple glyph[vector] a ∈ A such that B glyph[satisfies] j ( glyph[vector] a b , ) and j ( glyph[vector] x y , ) defines a partial function in K [ 13 , Thm. 3 1 . ].

The ES property need not be inherited by subvarieties. For example, the variety L of all lattices has the ES property, whence an embedding f of the three-element chain into the four-element diamond is not an epimorphism in L . Indeed, the diamond can be embedded into the five-element nondistributive modular lattice in two distinct ways that agree when composed with f . Nevertheless, f is a (non-surjective) epimorphism in the smaller variety of distributive lattices. As this example suggests, it is often difficult to establish whether epimorphisms are surjective in a given variety.

The failure of the ES property for distributive lattices can be explained in logical terms by the observation that complements are implicitly but not explicitly definable-i.e., when complements exist in a distributive lattice, they are uniquely determined, but no unary term defines them explicitly. This instantiates a general result: the algebraic counterpart K of an algebraizable logic glyph[turnstileleft] [ 11 ] has the ES property if and only if glyph[turnstileleft] has the infinite (deductive) Beth (definability) property -i.e., all implicit definitions in glyph[turnstileleft] can be made explicit [ 9 , 30 ]. 1 The terminology comes from Beth's definability theorem for classical predicate logic [ 4 ].

glyph[negationslash]

More precisely, recall that every algebraizable logic glyph[turnstileleft] has a set of formulas D ( x y , ) which behaves globally as an equivalence connective [ 11 , 17 , 21 , 22 , 23 ]. Consider two disjoint sets X and Z of variables, with X = ˘ , and a set G of formulas over X ∪ Z . We say that Z is defined implicitly in terms of X by means of G in glyph[turnstileleft] if for all z ∈ Z

$$\Gamma \cup \sigma [ \Gamma ] \vdash \Delta ( z, \sigma ( z ) )$$

for every substitution s such that s ( x ) = x for all x ∈ X . On the other hand, Z is said to be defined explicitly in terms of X by means of G in glyph[turnstileleft]

1 The focus on algebraizable logics is not restrictive, because every (pre)variety is categorically equivalent to one that algebraizes some sentential logic [ 46 ], and the ES property persists under any category equivalence between (pre)varieties.

when, for every z ∈ Z , there exists a formula j z over X such that

$$\Gamma \vdash \Delta ( z, \varphi _ { z } ).$$

Then the infinite Beth property postulates the equivalence of implicit and explicit definability in glyph[turnstileleft] (for all X Z , , G as above). 2 The finite Beth property does the same for the case where Z is a finite set.

It turns out that an algebraizable logic has the finite Beth property if and only if its algebraic counterpart has the weak ES property [ 9 , 30 ], 3 which means that the 'almost onto' epimorphisms between its members are surjective. Here, a homomorphism f : A → B is said to be almost onto if there is a finite subset C ⊆ B such that f [ A ] ∪ C generates B .

glyph[negationslash]

The foregoing facts motivate the study of epimorphisms in varieties of Heyting algebras , i.e., in the algebraic counterparts of intermediate logics. A well-known result of Kreisel states that all intermediate logics have the finite Beth property, whence all all varieties of Heyting algebras have the weak ES property [ 37 ]. In contrast, a classical result of Maksimova states that only finitely many such varieties possess a strong variant of the ES property [ 24 , 42 , 43 , 44 ], i.e., satisfy the requirement that if f : A → B is a homomorphism and b ∈ B glyph[integerdivide] A , then there is a pair of homomorphisms g h , : B → C such that g b ( ) = h b ( ) and g ◦ f = h ◦ f . Varieties of Heyting algebras with the strong ES property include the respective varieties of all Heyting algebras, all G¨del algebras [ o 18 ], and all Boolean algebras. Notably, the strong ES property admits a categorical formulation as the demand that all monomorphisms are regular, i.e., are the equalizer of some parallel pair of morphisms. 4

Very little is known, however, about the (unqualified) ES property for varieties of Heyting algebras, despite the fact that it is algebraically natural. On the positive side, it was shown recently that the ES property holds for all varieties of Heyting algebras that have finite depth [ 8 , Thm. 5 3 . ]. This yields a continuum of examples with the ES property. On the other hand, in the same paper [ 8 , Cor. 6 2 . ] it was shown that even a locally finite variety of Heyting algebras need not have the ES property. (The counter-example confirmed Blok and Hoogland's conjecture [ 9 ] that the weak ES property really is strictly weaker than the ES property.) This raises the question: how rare are varieties of Heyting algebras without the ES property?

In this work we establish that the ES property fails for the variety of all Heyting algebras of width at most n + 2, where n is any natural number

2 Observe that X Z , and G may be arbitrarily large sets, and that s can map X ∪ Z to sets of variables other than X ∪ Z . For logics satisfying suitable (possibly infinitary) versions of compactness, some cardinal bounds can be imposed on X Z , , and on the codomain of s , as is shown in [ 47 ] (see also [ 1 , 31 ]).

3 This result has an antecedent, due to N´ emeti, in [ 28 , Thm. 5 6 10 . . ].

4 Recall that, in general, a monomorphism is a left-cancellative morphism. However, in varieties, monomorphisms coincide with algebraic embeddings. Therefore, as equalizers are always monomorphisms, when applied to varieties, the demand that all monomorphisms are regular amounts to the requirement that embeddings and equalizers coincide.

(Corollary 6 6 . ). We also disprove the ES property for the variety generated by the Rieger-Nishimura lattice, and for a continuum of its locally finite subvarieties (Corollary 8 3 . and Theorem 8 4 . ). Finally, within the Kuznetsov-Gerˇ ciu variety KG , i.e., the variety generated by finite linear sums of one-generated Heyting algebras, we classify the subvarieties with the ES property (Theorem 9 4 . ). As KG contains all G¨ odel algebras, this gives a new explanation of the surjectivity of epimorphisms in all varieties of G¨ odel algebras (which was first shown in [ 8 , Cor. 5 7 . ]).

## 2 . E sakia duality

A Heyting algebra is an algebra A = 〈 A ; ∧ ∨ → , , , 0, 1 〉 which comprises a bounded lattice 〈 A ; ∧ ∨ , , 0, 1 〉 , and a binary operation → such that for every a b c , , ∈ A ,

$$a \wedge b \leqslant c \Longleftrightarrow a \leqslant b \to c.$$

It follows that Heyting algebras are distributive lattices. Remarkably, a Heyting algebra is uniquely determined by its lattice reduct. The class of all Heyting algebras forms a variety, which we denote by HA .

A fundamental tool for investigating Heyting algebras is Esakia duality [ 19 , 20 , 14 ], which we proceed to review. Given a poset 〈 X ; glyph[lessorequalslant] 〉 , we call any upward closed subset of X an upset . Similarly, any downward closed subset is called a downset . For any set U ⊆ X , the smallest upset and downset containing U are denoted respectively by ↑ U and ↓ U . In case U = { x } , we shall write ↑ x and ↓ x instead of ↑{ x } and ↓{ x } , respectively. Then an Esakia space X = 〈 X ; t , glyph[lessorequalslant] 〉 comprises a Stone space 〈 X ; t 〉 (i.e., a compact Hausdorff space in which every open set is a union of clopen sets) and a poset 〈 X ; glyph[lessorequalslant] 〉 such that

- (i) ↑ x is closed for all x ∈ X , and
- (ii) ↓ U is clopen, for every clopen U ⊆ X .

Observe that the topology of finite Esakia spaces is necessarily discrete (because they are Hausdorff), and that finite posets endowed with the discrete topology are Esakia spaces. Moreover, every Esakia space X satisfies the Priestley separation axiom [ 50 , 51 ], stating that for every x y , ∈ X such that x glyph[notlessorslnteql] y , there exists a clopen upset U such that x ∈ U and y / ∈ U .

For Esakia spaces X and Y , an Esakia morphism f : X → Y is a continuous order-preserving map f : X → Y such that for all x ∈ X ,

$$\text{if } f ( x ) \leqslant y \in Y, \text{ then } y = f ( z ) \text{ for some } z \geqslant x.$$

Esakia spaces form a category, which we denote by ESP , in which the morphisms are Esakia morphisms. Note that isomorphisms of ESP are exactly bijective Esakia morphisms, because Esakia spaces are compact Hausdorff.

The relation between Heyting algebras and Esakia spaces is as follows:

Theorem 2 1 . (L. Esakia [ 19 , Thm. 3 , p. 149 ]) . The categories HA and ESP are dually equivalent.

The dual equivalence functors are defined as follows. Given a Heyting algebra A , we denote the set of its (non-empty proper) prime filters by Pr A . For every a ∈ A , set

$$\gamma ^ { A } ( a ) \coloneqq \{ F \in \Pr A \colon a \in F \},$$

↦

and consider also its complement g A ( a ) c : = { F ∈ Pr A : a / ∈ F } . It turns out that the structure A ∗ : = 〈 Pr A ; t , ⊆〉 is an Esakia space, where t is the topology on Pr A with subbasis { g A ( a ) : a ∈ A } ∪ { g A ( a ) c : a ∈ A } . Moreover, for every Heyting algebra homomorphism f : A → B , let f ∗ : B ∗ → A ∗ be the Esakia morphism defined by the rule F → -f 1 [ F ] .

↦

Conversely, let X be an Esakia space. We denote by Cu X the set of clopen upsets of X . Then the structure X ∗ : = 〈 Cu X ; ∩ ∪ → , , , ˘ , X 〉 , where U → V : = X glyph[integerdivide] ↓ ( U glyph[integerdivide] V ) , is a Heyting algebra. Moreover, for every Esakia morphism f : X → Y , let f ∗ : Y ∗ → X ∗ be the homomorphism of Heyting algebras given by the rule U → -f 1 [ U ] .

The dual equivalence in Theorem 2 1 . is witnessed by the pair of contravariant functors

$$( - ) _ { * } \colon H A \longleftrightarrow \text{ESP} \colon ( - ) ^ { * }.$$

Given a variety K of Heyting algebras, we denote by K ∗ the full subcategory of ESP whose class of objects is the isomorphic closure of { A ∗ : A ∈ K } . It is clear that the functors in ( 3 ) restrict to a dual equivalence between K and K ∗ .

Let X be an Esakia space. An Esakia subspace (E-subspace for short) of X is a closed upset of X , equipped with the subspace topology and the restriction of the order. A correct partition on X (sometimes called an Esakia relation or bisimulation equivalence in the literature) is an equivalence relation R on X such that for every x y z , , ∈ X ,

- (i) if 〈 x y , 〉 ∈ R and x glyph[lessorequalslant] z , then 〈 z w , 〉 ∈ R for some w glyph[greaterorequalslant] y , and
- (ii) if 〈 x y , 〉 ∈ / R , then there is a clopen U , such that x ∈ U and y / ∈ U , which moreover is a union of equivalence classes of R .

In this case, we denote by X / R the Esakia space consisting of the quotient space of X with respect to R , equipped with the partial order glyph[lessorequalslant] X / R defined as follows: for every x y , ∈ X ,

$$x / R \leqslant ^ { X / R } y / R \Longleftrightarrow & \text{there are } x ^ { \prime }, y ^ { \prime } \in X \text{ such that} \\ & \langle x, x ^ { \prime } \rangle, \langle y, y ^ { \prime } \rangle \in R \text{ and } x ^ { \prime } \leqslant ^ { X } y ^ { \prime }.$$

↦

The map x → x / R is an Esakia morphism from X to X / R , and for every Esakia morphism f : X → Y , the kernel of f is a correct partition on X . If, moreover, f is surjective, then there is an ESP -isomorphism i : X /ker f ∼ = Y , such that i ◦ q = f .

An algebra A is finitely subdirectly irreducible , FSI for short, when the identity relation is meet-irreducible in the congruence lattice of A [ 3 , 12 ].

Lemma 2 2 . . Let A be a Heyting algebra, and X an Esakia space.

- (i) A is FSI if and only if its top element is prime (i.e., if x ∨ y = 1 then x = 1 or y = 1 ) or, equivalently, the poset underlying A ∗ is rooted (i.e., has a least element).
- (ii) A homomorphism h between Heyting algebras is injective iff h ∗ is surjective. Also, h is surjective iff h ∗ is injective.
- (iii) There is a dual lattice isomorphism s from the congruence lattice of A to the lattice of E-subspaces of A ∗ , such that ( A / q ) ∗ ∼ = s q ( ) for any congruence q of A , and for any E-subspace Y of A ∗ , we have Y ∗ ∼ = A / s -1 ( Y ) .
- (iv) There is a dual lattice isomorphism r from the lattice of subalgebras of A to that of correct partitions on A ∗ , such that if B is a subalgebra of A then B ∗ ∼ = A ∗ / r ( B ) , and if R is a correct partition on A ∗ then ( A ∗ / R ) ∗ ∼ = r -1 ( R . )
- (v) Let R be a correct partition on X . If Y is an E-subspace of X , then R ∩ Y 2 is a correct partition on Y .
- (vi) Images of Esakia morphisms are E-subspaces, and restrictions of Esakia morphisms to E-subspaces are still Esakia morphisms.
- (vii) Every chain in X has an infimum and a supremum. Moreover, infima and suprema of chains are preserved by Esakia morphisms.

The statement of (i) is well-known (see for instance [ 5 , Thm. 2 9 . ]). The correspondences of (ii), (iii) and (iv) were established in [ 19 ] (alternatively, examine [ 8 , Lem. 3 4 . ]). The isomorphism s in (iii) is the map that sends a congruence q of A to the E-subspace of A ∗ with universe

{ F ∈ Pr A : F is a union of equivalence classes of q } .

Moreover, the isomorphism r in (iv) is the map that sends a subalgebra A of B (in symbols A glyph[lessorequalslant] B ) to the correct partition R A on B ∗ such that

$$\langle F, G \rangle \in R _ { A } \Longleftrightarrow F \cap A = G \cap A$$

for every F G , ∈ Pr B .

To prove (v), notice that R ∩ Y 2 is the kernel of the Esakia morphism obtained by composing the canonical surjection from X to X / R with the inclusion map from Y to X . Moreover, the first part of (vi) is a consequence of ( 1 ) and of the fact that continuous functions from compact spaces to Hausdorff spaces are closed. The second part of (vi) is immediate. Finally, (vii) is a consequence of Theorem 2 1 . , together with the observation that unions and intersections of chains of prime filters are still prime filters (and that these unions and intersections are preserved by inverse images of homomorphisms).

Note that, owing to (iii) and (iv), if K is a variety of Heyting algebras then K ∗ is closed under taking E-subspaces and quotients by correct partitions.

## 3 . E pimorphism surjectivity

Let K be a variety of algebras and B ∈ K . A subalgebra A glyph[lessorequalslant] B is K -epic if for every pair of morphisms g h , : B → C in K , if g glyph[harpoonupleft] A = h glyph[harpoonupleft] A , then g = h .

Lemma 3 1 . . A variety K has the ES property if and only if no algebra in K has a proper K -epic subalgebra.

Proof. Observe that if there is a non-surjective epimorphism f : A → B in K , then f [ A ] is a proper K -epic subalgebra of B . Conversely, if A glyph[lessorequalslant] B is a proper K -epic subalgebra of B , then the inclusion map A ↪ → B is a non-surjective epimorphism in K . glyph[squaremultiply]

The next result is a topological reformulation of the above result in the special case of Heyting algebras, which is essentially a consequence of the correspondence between subalgebras and correct partitions (see (ii) and (iv) of Lemma 2 2 . ). Also, because of the dual equivalence, the dual of every epimorphism is a monomorphism (i.e., a morphism f such that, for any morphisms g and h , if f ◦ g = f ◦ h then g = h ).

Lemma 3 2 . . A variety K of Heyting algebras lacks the ES property if and only if there is an Esakia space X ∈ K ∗ with a correct partition R different from the identity relation such that for every Y ∈ K ∗ and every pair of Esakia morphisms g h , : Y → X , if 〈 g y ( ) , h y ( ) 〉 ∈ R for every y ∈ Y, then g = h.

A variety is said to be arithmetical when it is both congruence permutable and congruence distributive [ 3 , 12 ]. Given a class of algebras K , we denote by K FSI the class of all FSI members of K . We say K is a universal class when K is axiomatized by universal first-order sentences.

Theorem 3 3 . (M. Campercholi [ 13 , Thm. 6 8 . ]) . Let K be an arithmetical variety such that K FSI is a universal class. Then K has the ES property if and only if its FSI members lack proper K -epic subalgebras.

Notice from Lemma 2 2 . (i) that FSI Heyting algebras form a universal class. Moreover, it is well-known that the variety of Heyting algebras is arithmetical [ 25 ]. As a consequence we can instantiate Theorem 3 3 . as follows:

Corollary 3 4 . . A variety K of Heyting algebras has surjective epimorphisms if and only if its FSI members lack proper K -epic subalgebras.

To illustrate the power of Corollary 3 4 . , we shall exhibit a new elementary proof of the fact that finitely generated varieties of Heyting algebras (i.e., varieties generated by a finite algebra) have surjective epimorphisms [ 8 , Cor. 5 5 . ]. To this end, we denote by H S P , , u and V the respective class operators for homomorphic images, subalgebras, ultraproducts and varietal generation. Recall J´nsson's lemma o , which states that if K is a class of similar algebras and V ( K ) is congruence distributive, then V ( K ) FSI ⊆ HSP u ( K ) , see

[ 3 , Lem. 5 9 . ] or [ 33 , 34 ]. In particular, if K is a finite set of finite algebras, then V ( K ) FSI ⊆ HS ( K ) .

Proposition 3 5 . . If a finitely generated variety of Heyting algebras has the weak ES property then it has the (unqualified) ES property.

Proof. Let K be a finitely generated variety of Heyting algebras without the ES property. By Corollary 3 4 . , there is an FSI algebra B ∈ K with a proper K -epic subalgebra A . Thus the inclusion map A ↪ → B is a non-surjective epimorphism. By J´ onsson's lemma and the fact that K is finitely generated, we know that B is finite. Therefore the map A ↪ → B is almost onto. Thus K has a non-surjective almost onto epimorphism, i.e., it lacks the weak ES property. glyph[squaremultiply]

More generally, by appealing to [ 13 , Cor. 6 5 . ] instead of Corollary 3 4 . , the proof of Proposition 3 5 . can be generalized to show that the weak ES property entails the ES property for every finitely generated variety of algebras with a majority term (e.g. one generated by a finite lattice-based algebra).

Theorem 3 6 . (G. Kreisel [ 37 ]; also see [ 26 , Sec. 12 ]) . All varieties of Heyting algebras have the weak ES property.

Proposition 3 5 . together with Theorem 3 6 . yields the following:

Proposition 3 7 . ([ 8 , Cor. 5 5 . ]) . Every finitely generated variety of Heyting algebras has surjective epimorphisms.

## 4 . D epth and width in H eyting algebras

Let 0 &lt; n ∈ w . A poset X = 〈 X ; glyph[lessorequalslant] 〉 is said to have depth at most n if it does not contain any chain of n + 1 elements. Similarly, X is said to have width at most n if ↑ x does not contain any antichain of n + 1 elements, for every x ∈ X . A Heyting algebra A has depth (resp. width ) at most n , when the poset underlying its dual space A ∗ has depth (resp. width) at most n .

For 0 &lt; n ∈ w , let D n and W n be, respectively, the classes of Heyting algebras with depth and width at most n . It follows that D 1 is the variety of Boolean algebras, while W 1 is the variety of G¨ odel algebras (i.e., of subdirect products of totally ordered Heyting algebras). Both of them are known to have a strong variant of the ES property [ 24 , 44 , 42 , 43 ]. The following result is well known (see for instance [ 15 , p. 43 ]):

Theorem 4 1 . . Let 0 &lt; n ∈ w , and let A be a Heyting algebra.

- (i) A has depth at most n if and only if it satisfies the equation dn ≈ 1 , where

$$d _ { 1 } & \coloneqq x _ { 1 } \vee ( x _ { 1 } \rightarrow 0 ) \\ d _ { n + 1 } & \coloneqq x _ { n + 1 } \vee ( x _ { n + 1 } \rightarrow d _ { n } ), \, \text{for all } n \geqslant 1.$$

$$d _ { n + 1 } \coloneqq x _ { n + 1 } \vee ( x _ { n + 1 } \rightarrow d _ { n } ), \, \text{for all } n \geqslant 1.$$

(ii) A has width at most n if and only if it satisfies the equation wn ≈ 1 , where glyph[negationslash]

$$w _ { n } \coloneqq \bigvee _ { i = 0 } ^ { n } ( x _ { i } \rightarrow \bigvee _ { j \neq i } x _ { j } ).$$

As a consequence, both D n and W n are varieties.

Note that (ii) generalizes the fact that a Heyting algebra is a G¨ odel algebra if and only if it satisfies ( x → y ) ∨ ( y → x ) ≈ 1. Notice also that finite algebras have bounded depth, so the following general result from [ 8 , Thm. 5 3 . ] can be viewed as a generalization of Proposition 3 7 . . 5

Theorem 4 2 . . Let 0 &lt; n ∈ w . Every variety of Heyting algebras, whose members have depth at most n, has surjective epimorphisms.

Kuznetsov showed that there is a continuum of varieties of Heyting algebras all of whose members have depth at most 3 [ 38 , 39 ]. So, the result above supplies a continuum of varieties with the ES property.

On the other hand, until now, only one ad hoc example of a variety of Heyting algebras without the ES property has been exhibited [ 8 , Cor. 6 2 . ]. This variety is generated by an algebra that we call ( D ¥ 2 ) ∗ , which has width at most 2. This prompted the question of whether the variety W 2 (or W n in general) has the ES property or not. We shall settle this question after introducing a 'summing' construction, which will be used to build ( D ¥ 2 ) ∗ as well as other algebras that have proper epic subalgebras.

## 5 . S ums of H eyting algebras

Let A and B be Heyting algebras. The sum A + B is the Heyting algebra obtained by pasting B below A , gluing the top element of B to the bottom element of A . To give a more formal definition, it is convenient to assume that the universes of A and B are disjoint. Moreover, let us denote by glyph[lessorequalslant] A and glyph[lessorequalslant] B the lattice orders of A and B respectively. Then A + B is the unique Heyting algebra with universe ( A glyph[integerdivide] { 0 A } ) ∪ B whose lattice order glyph[lessorequalslant] is defined as follows: for every a b , ∈ ( A glyph[integerdivide] { 0 A } ) ∪ B ,

$$b \leqslant a \Longleftrightarrow & \text{either $(a,b\in A$ and $b\leqslant^{A}$ $a$)} \text{ or $(a,b\in B$ and $b\leqslant^{B}$ $a$)} \\ & \text{or $(b\in B$ and $a\in A$)}.$$

As + is clearly associative, there is no ambiguity in writing A 1 + · · · + A n for the descending chain of finitely many Heyting algebras A 1, . . . , A n , each glued to the previous one.

To obtain interesting results about epimorphisms in varieties of Heyting algebras that are not consequences of Theorem 4 2 . , we will need to consider Heyting algebras with unbounded depth. It is therefore useful to introduce

5 Theorem 4 2 . has a strengthening in the setting of substructural logics [ 48 ]. For further information on variants of the Beth property in substructural logics, the reader may consult [ 29 , 35 , 45 , 53 ].

an infinite generalization of this construction. Let { A n : n ∈ w } be a family of Heyting algebras with disjoint universes, and let ⊥ be a fresh element. The sum GLYPH&lt;229&gt; A n is the unique Heyting algebra with universe

$$\{ \perp \} \cup \bigcup _ { n \in \omega } \left ( A _ { n } \smallsetminus \{ 0 ^ { A _ { n } } \} \right )$$

and whose lattice order is defined as follows: for every a b , ∈ GLYPH&lt;229&gt; A n ,

$$a \leqslant b \Longleftrightarrow & \text{either} \, a = \bot \, \text{or} \, ( a, b \in A _ { n } \text{ for some} \, n \in \omega \text{ and} \, a \leqslant ^ { A _ { n } } b ) \\ & \text{or} \, ( a \in A _ { n } \text{ and} \, b \in A _ { m } \text{ for some} \, n, m \in \omega \text{ such that} \, n > m ).$$

In words, GLYPH&lt;229&gt; A n is a tower of algebras, each pasted below the previous, with a new bottom element. When { A n : n ∈ w } is a family consisting of copies of the same algebra A , we write A ¥ instead of GLYPH&lt;229&gt; A n .

Sums of Heyting algebras have found various applications in the study of intermediate logics. See for instance [ 6 , 27 , 40 , 41 ], but note that in the usual definition, subsequent algebras are added on top, instead of below. For finitely many summands this difference is immaterial.

For present purposes, it is convenient to describe the dual spaces of sums of Heyting algebras as well. Let X = 〈 X ; glyph[lessorequalslant] X 〉 and Y = 〈 Y ; glyph[lessorequalslant] Y 〉 be two posets (with disjoint universes). Their sum X + Y is the poset with universe X ∪ Y and whose order relation glyph[lessorequalslant] is defined as follows: for every x y , ∈ X ∪ Y ,

$$x \leqslant y \Longleftrightarrow & \text{either} \ ( x, y \in X \text{ and } x \leqslant ^ { X } y ) \text{ or } ( x, y \in Y \text{ and } x \leqslant ^ { Y } y ) \\ & \text{or } ( x \in X \text{ and } y \in Y ).$$

So, X + Y is the poset obtained by placing Y above X . Then let { X n : n ∈ w } be a family of posets with disjoint universes, and let glyph[latticetop] be a fresh element. The sum GLYPH&lt;229&gt; X n is the poset with universe

$$\{ \top \} \cup \bigcup _ { n \in \omega } X _ { n }$$

and order relation glyph[lessorequalslant] defined as follows: for every x y , ∈ GLYPH&lt;229&gt; Xn ,

$$x \leqslant y \Longleftrightarrow & \text{either $y=\top$ or $(x,y\in X_{n}$ for some $n\in\omega$ and $x\leqslant^{X_{n}}y)$} \\ & \text{or $(x\in X_{n}$ and $y\in X_{m}$ for some $n,m\in\omega$ such that $n<m$)}.$$

Hence, GLYPH&lt;229&gt; X n is obtained by placing each successive poset above the previous and adding a new top element.

Now, let X and Y be two Esakia spaces with disjoint universes. The sum X + Y is the Esakia space, whose underlying poset is 〈 X ; glyph[lessorequalslant] X 〉 + 〈 Y ; glyph[lessorequalslant] Y 〉 , endowed with the topology consisting of the sets U ⊆ X ∪ Y such that U ∩ X and U ∩ Y are open, respectively, in X and Y .

Similarly, let { X n : n ∈ w } be a family of Esakia spaces with disjoint universes. The sum GLYPH&lt;229&gt; X n is the Esakia space, whose underlying poset is

GLYPH&lt;229&gt; 〈 Xn ; glyph[lessorequalslant] X n 〉 , equipped with the topology t = { U U : ∩ Xn is open in X n for all n ∈ w , and

$$\text{if } \top \in U, \text{ then there exists } n \in \omega \text{ with } \bigcup _ { n \leqslant m } X _ { m } \subseteq U \}.$$

When { X n : n ∈ w } consists of copies of the same Esakia space X , we write X ¥ instead of GLYPH&lt;229&gt; X n .

Lemma 5 1 . . Let { A B , } ∪ { A n : n ∈ w } be a family of Heyting algebras. The Esakia spaces ( A + B ) ∗ and ( GLYPH&lt;229&gt; A n ) ∗ are isomorphic, respectively, to A ∗ + B ∗ and GLYPH&lt;229&gt; A n ∗ .

Proof. We sketch the proof only for the case of GLYPH&lt;229&gt; A n . Observe that the set of all non-zero elements of GLYPH&lt;229&gt; A n forms a prime filter G 0. Keeping this in mind, we define a map

$$f \colon \sum A _ { n * } \rightarrow ( \sum A _ { n } ) _ { * } \,,$$

setting f ( glyph[latticetop] ) : = G 0 and for every n ∈ w and F ∈ Pr A n ,

$$f ( F ) \coloneqq \{ a \in \sum A _ { n } \colon a \geqslant b \text{ for some } b \in F \}.$$

It is not difficult to see that f is bijective and order-preserving. Therefore it only remains to prove that f is continuous and satisfies ( 1 ).

glyph[negationslash]

To show the latter, suppose that glyph[latticetop] = F ∈ GLYPH&lt;229&gt; A n ∗ and G 0 = G ∈ ( GLYPH&lt;229&gt; A n ) ∗ such that f ( F ) glyph[lessorequalslant] G . Then F ∈ Pr A j for some j ∈ w . We may therefore let k ∈ w be the least k glyph[greaterorequalslant] j such that G ∩ Am = ˘ for every m glyph[greaterorequalslant] k . If we let G ′ = G ∩ Ak , it follows that G ′ ∈ Pr A k ⊆ GLYPH&lt;229&gt; A n ∗ , with F glyph[lessorequalslant] G ′ and f ( G ′ ) = G .

glyph[negationslash]

To prove that f is continuous, first consider some subbasic clopen of the form g GLYPH&lt;229&gt; A n ( a ) with a ∈ GLYPH&lt;229&gt; A n glyph[integerdivide] { 0 } , see ( 2 ) if necessary. We have a ∈ Ak for some k ∈ w and, therefore,

$$f ^ { - 1 } [ \gamma ^ { \sum A _ { n } } ( a ) ] = \{ \top \} \cup \gamma ^ { A _ { k } } ( a ) \cup \bigcup _ { m > k } A _ { m * }.$$

Clearly the sets g A k ( a ) and {glyph[latticetop] } ∪ ⋃ m &gt; k Am ∗ are open in GLYPH&lt;229&gt; A n ∗ . Now, similarly, consider a subbasic clopen of the form g GLYPH&lt;229&gt; A n ( a ) c . Then

$$f ^ { - 1 } [ \gamma ^ { \sum A _ { n } } ( a ) ^ { c } ] = f ^ { - 1 } [ \gamma ^ { \sum A _ { n } } ( a ) ] ^ { c } = \gamma ^ { A _ { k } } ( a ) ^ { c } \cup \bigcup _ { m = 0 } ^ { k - 1 } A _ { m * },$$

which is also clearly open in GLYPH&lt;229&gt; A n ∗ . This shows that f is continuous. Therefore, f is a bijective Esakia morphism, and hence an isomorphism. glyph[squaremultiply]

As an example, we can now construct ( D ¥ 2 ) ∗ , which witnesses the failure of the ES property in the variety generated by it. We let D 2 be the Esakia space with two incomparable elements. It follows that D 2 ∗ ∼ = 2 × 2 , where 2 is the 2 -element Boolean algebra. From Lemma 5 1 . , it follows that

( D ¥ 2 ) ∗ ∼ = ( 2 × 2 ) ¥ , i.e., it is w copies of the 4 -element diamond, each pasted below the previous one, with a new bottom element. 6

glyph[a115]

2

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-df9fffe5-5f36-4922-bb3d-51d863cdc27c.jpg)

2

6 . V arieties of bounded width

As we mentioned, the variety of G¨ odel algebras W 1 is known to have the ES property. On the other hand, in this section we show that for every n glyph[greaterorequalslant] 2, the variety W n lacks the ES property. To this end, we will rely on the following technical observation:

Lemma 6 1 . . Let 0 &lt; n ∈ w and let f : Y → X be an Esakia morphism between Esakia spaces of width at most n such that

- (i) Y has a minimum ⊥ , and
- (ii) for every z ∈ X different from the maximum of X (if any), if f ( ⊥ ) &lt; z, then there is an antichain of n elements in ↑ f ( ⊥ ) , which contains z.

Also, let ↑ f ( ⊥ glyph[latticetop] ) be the upset ↑ f ( ⊥ ) without the maximum of X (if any). Then there is a subposet 〈 Z ; glyph[lessorequalslant] Y 〉 of Y such that the restriction

$$f \colon \langle Z ; \leqslant ^ { Y } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { X } \rangle$$

is a poset isomorphism.

Proof. Observe that, since f is an Esakia morphism, ↑ f ( ⊥ glyph[latticetop] ) coincides with f [ Y ] without the maximum of X (if any). Suppose z ∈ ↑ f ( ⊥ glyph[latticetop] ) glyph[integerdivide] { f ( ⊥ } ) and define

$$T _ { z } \coloneqq \{ a \in Y \colon f ( a ) = z \}.$$

glyph[negationslash]

Observe that Tz = ˘ .

We claim that Tz is a chain in X . Indeed, since f ( ⊥ ) &lt; X z , assumption (ii) shows that z belongs to an antichain { x 1, . . . , xn -1, z } of n elements in ↑ f ( ⊥ ) . Since f is an Esakia morphism, there are y 1, . . . , yn -1 ∈ Y such that f ( yi ) = xi for i = 1, . . . , n -1. Together with the fact that f is orderpreserving, this implies that the set { y 1, . . . , yn -1, a } is an antichain of n elements in Y , for every a ∈ Tz .

6 The algebra used in [ 8 , Cor. 6 2 . ] to generate a variety without the ES property is in fact 2 +( D ¥ 2 ) ∗ , which has the virtue of being FSI. For us, however, this difference is immaterial, since 2 +( D ¥ 2 ) ∗ and ( D ¥ 2 ) ∗ generate the same variety, and both have epic subalgebras in this variety.

Now, suppose with a view to obtaining a contradiction that Tz is not a chain. Then there are two incomparable elements a c , ∈ Tz . Hence { y 1, . . . , yn -1, a c , } is an antichain of n + 1 elements in Y . Together with the fact that Y has a minimum element by assumption (i), we conclude that Y does not have width at most n . But this contradicts the assumptions, thus establishing the claim.

By Lemma 2 2 . (vii), the chain Tz has a maximum element, which we denote by max ( Tz ) . Consider the set

$$Z \coloneqq \{ \max ( T _ { z } ) \colon z \in \uparrow f ( \perp ) ^ { \top } \smallsetminus \{ f ( \perp ) \} \} \cup \{ \perp \}.$$

Clearly Z ⊆ Y , and it is easy to verify that the restriction

$$f \colon \langle Z ; \leqslant ^ { Y } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { X } \rangle$$

glyph[negationslash]

is a surjective order-preserving map. In order to prove that f is a poset isomorphism, it remains only to show that f is order-reflecting. To this end, consider z 1, z 2 ∈ Z such that f ( z 1 ) glyph[lessorequalslant] X f ( z 2 ) . If z 1 = ⊥ , then clearly z 1 = ⊥ glyph[lessorequalslant] Y z 2, and we are done. So, consider the case where z 1 = ⊥ . In particular, this implies that f ( z 1 ) , f ( z 2 ) ∈ ↑ f ( ⊥ glyph[latticetop] ) glyph[integerdivide] { f ( ⊥ } ) , and therefore that z 2 = max ( Tf z ( 2 ) ) . Now, since f ( z 1 ) glyph[lessorequalslant] X f ( z 2 ) and f is an Esakia morphism, there exists z 3 ∈ Y such that z 1 glyph[lessorequalslant] Y z 3 and f ( z 3 ) = f ( z 2 ) . But then z 3 ∈ Tf z ( 2 ) , which implies that z 3 glyph[lessorequalslant] Y z 2 and, therefore, that z 1 glyph[lessorequalslant] Y z 3 glyph[lessorequalslant] Y z 2. Thus, we conclude that f is order-reflecting, as desired. glyph[squaremultiply]

For 1 &lt; n ∈ w , let X n = 〈 Xn ; glyph[lessorequalslant] 〉 be the poset whose universe is { a 1, . . . , an , b 1, . . . , bn } , and whose order relation is defined as follows (see the picture below): for all x y , ∈ Xn ,

$$x \leqslant y \Longleftrightarrow \text{either} \, x = y \, \text{or} \, \left ( x = a _ { 1 } \text{ and } y \in \{ b _ { 2 }, \dots, b _ { n } \} \right )$$

or ( x = am for some m &gt; 1 and y ∈ { b 1, bm } ) .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-38c7a573-2255-4b59-93a6-a1931feb3ea0.jpg)

glyph[a115]

1

2

3

Also, let X n be the Esakia space obtained by endowing X n with the discrete topology.

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a113]

glyph[a113]

glyph[a113]

Remark 6 2 . . The reader may wonder whether there is an intelligible way to understand the algebraic duals of the spaces X n . Although we will not rely on this observation, it is possible to show that the lattice reduct C of X n ∗ is the distributive lattice obtained as follows. Let A be the Boolean lattice of 2 n -1 elements, extended with two new extrema. Moreover, let B be the three-element chain. Then C is obtained by computing the coproduct of A and B in the category of bounded distributive lattices and, subsequently, removing the two extrema from it.

An easy proof of this fact can be given by means of Priestley duality [ 50 , 51 ] for bounded distributive lattices, in which finite coproducts of finite algebras correspond to direct products of posets in the natural sense [ 2 , Thm. 3 , Sec. VII. 7 ]. glyph[squaremultiply]

The next observation follows immediately from the definitions:

Lemma 6 3 . . For 1 &lt; n ∈ w , the Esakia space X ¥ n has width at most n.

Now, let us introduce a notation for referring to the elements of X ¥ n . Recall that the universe of X ¥ n is a chain of copies of Xn of order type w , plus an new maximum element {glyph[latticetop]} . We denote the elements of the lowest component of Xn in X ¥ n as follows:

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a113]

glyph[a113]

glyph[a113]

1

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-46180c72-0cd9-4f2e-a13c-06c3a4d160cb.jpg)

2

1

Similarly, for 1 glyph[lessorequalslant] k ∈ w , we denote the elements of the ( k + ) 1 -th component of Xn in X ¥ n as follows:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-7bee5533-03e7-4743-91f9-fe1de46dca16.jpg)

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a115]

glyph[a113]

glyph[a113]

glyph[a113]

Keeping this in mind, let Rn be the equivalence relation on Xn ¥ defined as follows: for every a b , ∈ Xn ¥ ,

$$\langle a, b \rangle \in R _ { n } \Longleftrightarrow & \text{either $a=b$ or} \\ & \text{there is $k\in\omega$ such that $\{a,b\}=\{x_{k},y_{k}\}$.}$$

A pictorial rendering of the partition corresponding to the relation Rn is given below:

✎☞

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-8c0a5f1b-eac6-403c-a6a3-ad0787476d5c.jpg)

glyph[a115]

Lemma 6 4 . . Rn is a correct partition on X ¥ n , for 1 &lt; n ∈ w .

Proof. The fact that Rn is an equivalence relation satisfying condition (i) in the definition of correct partitions can be verified by inspecting the figure above.

We turn now to condition (ii). First we claim that every finite set U ⊆ Xn ¥ glyph[integerdivide] {glyph[latticetop]} is clopen. The fact that U is closed follows from the fact that, in Hausdorff spaces, every singleton is closed. On the other hand, the fact that U is open follows from the definition of X ¥ n , together with the fact that X n is endowed with the discrete topology. This establishes the claim.

glyph[negationslash]

Now, consider two distinct points x y , ∈ Xn ¥ such that 〈 x y , 〉 ∈ / Rn . We need to find a clopen U such that x ∈ U and y / ∈ U , which moreover is a union of equivalence classes of Rn . If x = glyph[latticetop] , the equivalence class x / Rn is a finite subset of Xn ¥ glyph[integerdivide] {glyph[latticetop] } . From the claim it follows that x / Rn is clopen. Since y / ∈ x / Rn , we let U : = x / Rn and we are done. Then consider the case where x = glyph[latticetop] . We know that y appears in the k -th component of Xn in X ¥ n , for some k ∈ w . Consider the set U : = ↑ x ( k + ) 1 n . Clearly x = glyph[latticetop] ∈ U and y / ∈ U . Moreover, U is a union of equivalence classes of Rn . Finally, from the claim it follows that U c is clopen and, therefore, so is U . glyph[squaremultiply]

We are now ready to prove the main result of this section:

Theorem 6 5 . . Let 1 &lt; n ∈ w , and let K be a variety of Heyting algebras, whose members have width at most n. If X ¥ n ∈ K ∗ , then K lacks the ES property.

Proof. Fix 1 &lt; n ∈ w , and let K be a variety of Heyting algebras whose members have width at most n , such that X ¥ n ∈ K ∗ . To show that the ES

property fails in K , we will employ Lemma 3 2 . . In particular, by Lemma 6 4 . , we know that Rn is a correct partition of X ¥ n that is clearly different from the identity relation. We suppose, with a view to obtaining a contradiction, that there exist Y ∈ K ∗ and a pair of different homomorphisms g h , : Y → X ¥ n , such that 〈 f ( y ) , g y ( ) 〉 ∈ Rn for every y ∈ Y .

glyph[negationslash]

glyph[negationslash]

We claim that there is an element ⊥ ∈ Y and 0 &lt; k ∈ w such that { f ( ⊥ ) , g ( ⊥ } ) = { xkn , ykn } . First observe that, since f = g , there is y ∈ Y such that f ( y ) = g y ( ) and 〈 f ( y ) , g y ( ) 〉 ∈ Rn . Then the equivalence class f ( y ) / Rn is not a singleton. This implies that { f ( y ) , g y ( ) } = { xm , ym } for some positive integer m .

If m is a multiple of n , we are done. Consider the case where m = tn + s for some s , t ∈ w , where 0 &lt; s &lt; n . Suppose without loss of generality that f ( y ) = xm . Then we have that

$$f ( y ) = x _ { m } \leqslant ^ { X _ { n } ^ { \infty } } x _ { ( t + 1 ) n }.$$

Since f is an Esakia morphism, there is an element x ′ ( + ) t 1 n ∈ Y such that

$$y \leqslant ^ { Y } x ^ { \prime } _ { ( t + 1 ) n } \text{ and } f ( x ^ { \prime } _ { ( t + 1 ) n } ) = x _ { ( t + 1 ) n }.$$

Now, recall that g y ( ) = ym . In particular, this implies that

$$y _ { m } \leqslant ^ { X _ { n } ^ { \omega } } g ( y ) \leqslant ^ { X _ { n } ^ { \infty } } g ( x ^ { \prime } _ { ( t + 1 ) n } ).$$

glyph[negationslash]

Together with the fact that ym glyph[notlessorslnteql] X ¥ n x ( + ) t 1 n , this implies that g x ( ′ ( + ) t 1 n ) = x ( + ) t 1 n . Now, from the fact that 〈 f ( x ′ ( + ) t 1 n ) , g x ( ′ ( + ) t 1 n ) 〉 ∈ Rn and f ( x ′ ( + ) t 1 n ) = x ( + ) t 1 n , it follows that g x ( ′ ( + ) t 1 n ) = y ( + ) t 1 n . Hence, setting ⊥ : = x ′ ( + ) t 1 n and k : = t + 1, we have that 0 &lt; k ∈ w and { f ( ⊥ ) , g ( ⊥ } ) = { xkn , ykn } , establishing the claim.

Now, let ⊥ ∈ Y be the element given by the claim. From the definition of an Esakia space we know that the upset ↑⊥ is closed and, therefore, an E-subspace of Y . Moreover, ↑⊥∗ ∈ K ∗ , since K is a variety. Finally, by Lemma 2 2 . (vi), the restrictions of f and g to ↑⊥ are Esakia morphisms. Therefore we can assume without of generality that Y = ↑⊥ (otherwise we replace Y with ↑⊥ ).

Recall from the claim that { f ( ⊥ ) , g ( ⊥ } ) = { xkn , ykn } . We can assume without loss of generality that f ( ⊥ ) = xkn and that g ( ⊥ ) = ykn . Then observe that the Esakia spaces Y and X ¥ n , and the Esakia morphism f : Y → X ¥ n satisfy the assumptions of Lemma 6 1 . . Therefore, Y has a subposet 〈 Z ; glyph[lessorequalslant] Y 〉 such that the restriction

$$f \colon \langle Z ; \leqslant ^ { Y } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { X _ { n } ^ { \infty } } \rangle$$

is a poset isomorphism. For the sake of simplicity, we denote the elements of Z exactly as their alter egos in ↑ f ( ⊥ glyph[latticetop] ) .

Under this convention, we have that

$$Z = \{ x _ { k n + m } \colon m \in \omega \} \cup \{ y _ { k n + m } \colon m \in \omega \}$$

and that f ( xi ) = xi and f ( yi ) = yi , for every xi , yi ∈ Z . (Note that ⊥ has the label xkn .) On the other hand, since g is order-preserving and g ( ⊥ ) = ykn , we have g xi ( ) = g yi ( ) = yi , for all xi , yi ∈ Z . Consequently, for all xi , yi ∈ Z ,

$$f ( x _ { i } ) = x _ { i } \text{ and } f ( y _ { i } ) = g ( x _ { i } ) = g ( y _ { i } ) = y _ { i }.$$

Now, consider the set

$$C \coloneqq \{ y _ { ( k + 1 ) n }, x _ { ( k + 1 ) n + 1 }, x _ { ( k + 1 ) n + 2 }, \dots, x _ { ( k + 1 ) n + n - 1 } \} \subseteq \uparrow f ( \perp ) ^ { \top }.$$

Observe that C is an antichain of n elements in X ¥ n . Since f is a poset isomorphism between 〈 Z ; glyph[lessorequalslant] Y 〉 and 〈↑ f ( ⊥ glyph[latticetop] ) ; glyph[lessorequalslant] X ¥ n 〉 , we obtain that C is also an antichain of n elements in 〈 Z ; glyph[lessorequalslant] Y 〉 and, therefore, in Y . Since Y has width at most n and has a minimum element ⊥ , every element of Y should be comparable with at least one member of C .

Now, observe that

$$g ( \perp ) = y _ { k n } \leqslant ^ { X _ { n } ^ { \infty } } x _ { ( k + 2 ) n }.$$

Since g is an Esakia morphism, there exists a ∈ Y such that g a ( ) = x ( k + ) 2 n . Recall that for 1 glyph[lessorequalslant] i glyph[lessorequalslant] n -1,

$$g ( x _ { ( k + 1 ) n + i } ) = y _ { ( k + 1 ) n + i }.$$

Since y ( k + ) 1 n + i is incomparable with g a ( ) = x ( k + ) 2 n in X ¥ n and g is orderpreserving, we conclude that a is incomparable with x ( k + ) 1 n + i in Y . Hence a is incomparable with every element of C glyph[integerdivide] { y ( k + ) 1 n } in Y . On the other hand, we know that a must be comparable with at least one element of C . As a consequence, a must be comparable with y ( k + ) 1 n in Y . Together with the fact that g is order-preserving, this means that g a ( ) = x ( k + ) 2 n and g y ( ( k + ) 1 n ) = y ( k + ) 1 n are comparable in X ¥ n , which is a contradiction. glyph[squaremultiply]

As a consequence of the above result, we obtain that for 1 &lt; n ∈ w the variety of all Heyting algebras of width at most n lacks the ES property.

Corollary 6 6 . . For 1 &lt; n ∈ w , the members of the interval [ V ( X ¥ ∗ n ) , W n ] of the subvariety lattice of HA lack the ES property. In particular, W n lacks the ES property.

$$P r o o f. \text{ Immediate from Lemma 6.3 and Theorem 6.5}. & & \bigotimes$$

At this stage the reader may wonder how many varieties of Heyting algebras lack the ES property. Later on (Theorem 8 4 . ), we will show that there is already a continuum of locally finite varieties without the ES property whose members have width at most 2.

Remark 6 7 . . As we mentioned, the logical counterpart of the ES property is the infinite Beth property. One naturally asks, therefore, what failure of the infinite Beth property is related to the failure of the ES property in Theorem 6 5 . . To clarify this point, observe that the proof of the theorem shows that the subalgebra of ( X ¥ n ) ∗ corresponding to the correct partition Rn is proper

and K -epic. In the cases where n is either 2 or 3, the algebra ( X ¥ n ) ∗ is depicted below, where the encircled elements constitute the proper K -epic subalgebra corresponding to Rn .

Let A glyph[lessorequalslant] B be one of the two epic situations depicted below. Observe that for 1 glyph[lessorequalslant] k ∈ w , there is a unique element ak ∈ Ck which is incomparable with every element of ( A ∩ Ck ) glyph[integerdivide] { 1 } (see picture below). We call ak the sibling of ( A ∩ Ck ) . Roughly speaking, Theorem 6 5 . shows that siblings are implicitly , but not explicitly , definable in terms of A . Since B is generated by A together with the siblings { ak : k ∈ w } , this observation implies that all the elements of B are implicitly, but not explicitly, definable in terms of A , witnessing a failure of the infinite Beth property. 7

As a matter of fact, the above explanation is not restricted to the case where n = 2, 3. In general, let A be the subalgebra dual to Rn on B : = ( X ¥ n ) ∗ . Whenever 1 glyph[lessorequalslant] k ∈ w , then Ck has a unique element ak that is incomparable with all elements of ( A ∩ Ck ) glyph[integerdivide] { 1 } . Indeed, ak = ↑ yn k ( -1 ) when k &gt; 0, and ak = ↑⊥ otherwise. Here, as before, the ak 's are implicitly, but not explicitly, definable in terms of A and, together with A , they generate the algebra B , witnessing a failure of the infinite Beth property. glyph[squaremultiply]

¥

¥

glyph[a113]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-e49712f2-6577-4afd-aa07-78d86724047b.jpg)

glyph[a115]

❣

glyph[a115]

glyph[a113]

❣

7 . T he K uznetsov -G erciu variety ˇ

It is well-known that the free one-generated Heyting algebras is the Rieger-Nishimura lattice RN , depicted below [ 49 , 52 ]. As a consequence, H ( RN ) is the class of one-generated Heyting algebras.

7 Formally speaking a failure of the infinite Beth property should be given in terms of two disjoint sets of variables X and Z , and a set of formulas G over X ∪ Z . Our informal explanation can be amended, taking X : = A Z , : = B glyph[integerdivide] A , and letting G be the inverse image of { 1 B } under the natural homomorphism from the term algebra Fm ( X ∪ Z ) to B .

glyph[a115]

glyph[a115]

Figure 1 . RN

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-2d0385be-18e3-4385-92c8-8acbc6180b08.jpg)

The Kuznetsov-Gerˇ ciu variety is defined as follows:

$$K G \coloneqq \mathbb { V } ( \{ A _ { 1 } + \dots + A _ { n } \colon 0 < n \in \omega \text{ and } A _ { 1 }, \dots, A _ { n } \in \mathbb { H } ( R N ) \} ).$$

The variety KG was introduced by Kuznetsov and Gerˇ ciu [ 27 , 40 ] in their study of finite axiomatizability, and of the finite model property in varieties of Heyting algebras (also see [ 6 , 7 ]). Remarkably, there is a continuum of subvarieties of KG having the finite model property, and also a continuum lacking the finite model property [ 6 , Thm. 5 39 1 . ( ), Cor. 5 41 . ]. Notice that the variety V ( RN ) is contained in KG and so are all of its subvarieties.

In the next sections we will provide a characterization of subvarieties of KG with the ES property (Theorem 9 4 . ).

Lemma 7 1 . (A. V. Kuznetsov and V. Ja. Gerˇ ciu [ 40 , Lem. 4 ]) . If A ∈ KG is a finite FSI algebra, then A = B 1 + · · · + B n for some B 1, . . . , B n ∈ H ( RN ) .

A variety is said to be locally finite when its finitely generated members are finite. Recall that 2 denotes the two-element Boolean algebra.

Theorem 7 2 . (N. Bezhanishvili, G. Bezhanishvili and D. de Jongh [ 6 , Thms. 8 49 . and 8 54 . ]) . Let K be a subvariety of KG . The following conditions are equivalent:

- (i) K is locally finite.
- (ii) K excludes an algebra of the form A + 2 where A is a finite FSI member of H ( RN ) .
- (iii) K excludes the algebra RN + 2 .

We shall rely also on some observations about the topological duals of the members of KG (Corollary 7 4 . ). Let n ∈ w . A poset X = 〈 X ; glyph[lessorequalslant] 〉 is said to have incomparability degree at most n if for every x ∈ X , the set ↑ x does not contain any point which is incomparable with n + 1 elements. Clearly, posets of incomparability degree at most n also have width at most n + 1, but the converse need not be true in general (since elements incomparable with a given element may be comparable with each other). A Heyting algebra A has incomparability degree at most n , when this is the case for

the poset underlying its dual space A ∗ . We denote by ID n the class of all Heyting algebras of incomparability degree at most n . We shall see that ID n is a variety.

Let n ∈ w . Consider a set of variables Zn = { y 1, . . . , yn + 1 } . We let Z n ,1 , . . . , Z n kn , be a fixed enumeration of all possible posets with universe Zn . For each such Z n k , = 〈 Zn , glyph[lessorequalslant] k 〉 , with k glyph[lessorequalslant] kn , define the formulas

$$\psi _ { n, k } \coloneqq \bigvee _ { i = 1 } ^ { n + 1 } ( y _ { i } \rightarrow ( x \vee \bigvee _ { j \colon y _ { i } \lesssim k y _ { j } } y _ { j } ) ).$$

In the above display we assume that the disjunction of an empty family is the symbol 0. Moreover, we set

$$\delta _ { n, k } \coloneqq \psi _ { n, k } \vee ( x \rightarrow \bigvee _ { i = 1 } ^ { n + 1 } y _ { i } )$$

and

$$\Sigma _ { n } \coloneqq \{ \delta _ { n, k } \approx 1 \colon k = 1, \dots, k _ { n } \}.$$

Theorem 7 3 . . For every n ∈ w , the class ID n of Heyting algebras with incomparability degree at most n is axiomatized by the set of equations S n. As a consequence, ID n is a variety.

glyph[negationslash]

Proof. First we show that for every Heyting algebra A / ∈ ID n , we have A glyph[satisfies] S n . Note that we need only exhibit the failure of some equation of S n in some homomorphic image of A . Since A / ∈ ID n , there is an x ∈ A ∗ such that ↑ x contains a point which is incomparable with n + 1 points. Thus, owing to the previous remark, and (i) and (iii) of Lemma 2 2 . , we may, without loss of generality, suppose that A is FSI, otherwise we replace A with its FSI homomorphic image whose dual is isomorphic to the subspace ↑ x .

Since A / ∈ ID n , there are distinct F G , 1, . . . , Gn + 1 ∈ Pr A such that F is incomparable with each of G 1, . . . , Gn + 1. Then for every i glyph[lessorequalslant] n + 1 we can choose an element ai ∈ F glyph[integerdivide] Gi . We set

$$\hat { a } \coloneqq a _ { 1 } \wedge \dots \wedge a _ { n + 1 }.$$

Observe that

$$\hat { a } \in F \smallsetminus ( G _ { 1 } \cup \cdots \cup G _ { n + 1 } ).$$

Given i glyph[lessorequalslant] n + 1, we can choose bi ∈ Gi glyph[integerdivide] F . Moreover, for every j glyph[lessorequalslant] n + 1 such that Gi glyph[notsubseteql] Gj , we choose bij ∈ Gi glyph[integerdivide] Gj and set

$$b _ { i } ^ { \prime } \coloneqq b _ { i } \wedge \bigwedge _ { j \colon G _ { i } \nsubseteq G _ { j } } b _ { i _ { j } }.$$

Finally for every j glyph[lessorequalslant] n + 1, we define

$$\hat { b } _ { j } \coloneqq \bigwedge _ { i \colon G _ { i } \subseteq G _ { j } } b _ { i } ^ { \prime }.$$

Observe that for every i glyph[lessorequalslant] n + 1,

$$\hat { b } _ { i } \in G _ { i } \smallsetminus ( F \cup \bigcup _ { j \colon G _ { i } \not \subseteq G _ { j } } G _ { j } ).$$

↦

glyph[negationslash]

From ( 6 , 7 ) and the fact that G 1, . . . , Gn + 1 are different, we deduce that the elements ˆ, ˆ a b 1, . . . , ˆ bn + 1 are different one from the other. Then consider the subposet P of A with universe { ˆ b 1, . . . , ˆ bn + 1 } . Clearly there is a k glyph[lessorequalslant] kn such that Z n k , is isomorphic to P under the map yi → ˆ bi ( i glyph[lessorequalslant] n + ) 1 . We leave it for the reader to verify that d A n k , ( ˆ, a b ˆ 1, . . . , ˆ bn + ) 1 = 1. It may be helpful to notice that for every i , j glyph[lessorequalslant] n + 1,

$$\hat { b } _ { i } \in G _ { j } \Longleftrightarrow \hat { b } _ { j } \leqslant \hat { b } _ { i }.$$

Conversely, we show that for every Heyting algebra A such that A glyph[notsatisfies] S n , we get A / ∈ InD n . There exists k glyph[lessorequalslant] kn such that the equation d n k , ≈ 1 in S n is not valid in A , so there are a b , 1, . . . , bn + 1 such that glyph[negationslash]

$$\bigvee _ { i \leqslant n + 1 } ( b _ { i } \to ( a \vee \bigvee _ { j \colon y _ { i } \not \leqslant k y _ { j } } b _ { j } ) ) \vee ( a \to \bigvee _ { i \leqslant n + 1 } b _ { i } ) \neq 1.$$

Therefore, for every i glyph[lessorequalslant] n + 1,

$$b _ { i } \nleqslant a \vee \bigvee _ { j \colon y _ { i } \nleqslant k y _ { j } } b _ { j }, \quad \text{and} \quad a \nleqslant \bigvee _ { j \leqslant n + 1 } b _ { j }.$$

By the prime filter lemma [ 3 , Thm. 4 1 . ] for distributive lattices, there are prime filters F G , 1, . . . , Gn + 1 of A such that

$$a \in F \text{ and } b _ { 1 }, \dots, b _ { n + 1 } \notin F$$

and for every i glyph[lessorequalslant] n + 1,

$$b _ { i } \in G _ { i } \text{ and } a \cup \{ b _ { j } \colon y _ { i } \not \in _ { k } y _ { j } \} \subseteq A \smallsetminus G _ { i }.$$

It follows easily from these properties and the pairwise distinctness of y 1, . . . , yn + 1 that G 1, . . . , Gn + 1 are pairwise different, and that F is incomparable with every Gi for every i ∈ { 1, . . . , n + 1 } Therefore A / ∈ ID n as required. glyph[squaremultiply]

$$\text{Corollary } 7. 4. \ K G \subseteq \text{ID} _ { 2 } \cap W _ { 2 }.$$

Proof. The generators of KG in ( 5 ) are easily seen to belong to ID 2 ∩ W 2. Since both ID 2 and W 2 are varieties, this implies that KG ⊆ ID 2 ∩ W 2. glyph[squaremultiply]

## 8 . A continuum of failures of the ES property

In this section we show that there is a continuum of locally finite subvarieties of V ( RN ) lacking the ES property (Theorem 8 4 . ). By Corollary 7 4 . , there is also such a continuum among varieties with width at most 2.

Recall, from the end of Section 5 , that D 2 is the two-element discrete poset, equipped with the discrete topology.

$$L e m m a { 8. 1 }. \ ( D _ { 2 } ^ { \infty } ) ^ { * } \in \mathbb { V } ( R N ).$$

Proof. Recall that every algebra embeds into a ultraproduct of its finitely generated subalgebras [ 12 , Thm. 2 14 . , Ch. V]. Now, observe that the finitely generated subalgebras of ( D ¥ 2 ) ∗ coincide with finite sums, where each summand is either the two-element or the four-element Boolean algebra. It is therefore not hard to see, when considering the subalgebra of encircled elements in the figure of RN below on page 29 (Figure 2 ), that every finitely generated subalgebra of ( D ¥ 2 ) ∗ belongs to HS ( RN ) . As a consequence, we obtain that ( D ¥ 2 ) ∗ ∈ SP HS u ( RN ) ⊆ V ( RN ) . glyph[squaremultiply]

Lemma 8 2 . . Let K be a subvariety of ID 2 ∩ W 2 . If D ¥ 2 ∈ K ∗ , then K lacks the ES property.

Proof. Suppose with a view to obtaining a contradiction that there is a variety K ⊆ ID 2 ∩ W 2 with the ES property and such that D ¥ 2 ∈ K ∗ . Let R be the equivalence relation on D ¥ 2 whose corresponding partition is depicted in the diagram below:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-69f8d500-032e-4f4b-be4e-e5da3a91b528.jpg)

❣

glyph[a113]

glyph[a115]

glyph[a115]

glyph[a115]

❣

An argument analogous to the one detailed for Lemma 6 4 . shows that R is a correct partition on D ¥ 2 . Since K has the ES property, we can apply Lemma 3 2 . , so there exist Y ∈ K ∗ and a pair of different Esakia morphisms f , g : Y → D ¥ 2 such that 〈 f ( y ) , g y ( ) 〉 ∈ R for every y ∈ Y .

Since f = g , there exists ⊥ ∈ Y such that f ( ⊥ glyph[negationslash] ) = g ( ⊥ ) . Together with the fact that 〈 f ( ⊥ ) , g ( ⊥ 〉 ∈ ) R , this implies that { f ( ⊥ ) , g ( ⊥ } ) = { xn , yn } for some n ∈ w . We can assume without loss of generality that f ( ⊥ ) = xn and g ( ⊥ ) = yn . Moreover, as in the proof of Theorem 6 5 . , we can assume that Y = ↑⊥ . Observe that D ¥ 2 and Y have width at most 2. Moreover, Y and D ¥ 2 , and the Esakia morphism f : Y → D ¥ 2 satisfy the assumptions of Lemma 6 1 . . Therefore, Y has a subposet 〈 Z ; glyph[lessorequalslant] Y 〉 such that the restriction glyph[negationslash]

$$f \colon \langle Z ; \leqslant ^ { Y } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { D _ { 2 } ^ { \infty } } \rangle$$

is a poset isomorphism. For the sake of simplicity, we denote the elements of Z exactly as their alter egos in ↑ f ( ⊥ glyph[latticetop] ) . Under this convention,

$$Z = \{ x _ { n + m } \colon m \in \omega \} \cup \{ y _ { n + m } \colon m \in \omega \}$$

and

$$f ( x _ { i } ) = x _ { i } \text{ and } f ( y _ { i } ) = g ( x _ { i } ) = g ( y _ { i } ) = y _ { i }$$

for every xi , yi ∈ Z (see the proof of Theorem 6 5 . , if necessary).

We shall now investigate the structure of Y to produce a sequence of elements zn + 2, zn + 3, . . . ∈ Y glyph[integerdivide] Z and describe how they are ordered with respect to the elements of Z . First, observe that g yn ( ) = yn glyph[lessorequalslant] D ¥ 2 xn + 2. Since g is an Esakia morphism, there is an element zn + 2 ∈ Y such that yn glyph[lessorequalslant] Y zn + 2 and g zn ( + ) = 2 xn + 2. Let us describe the structure of the poset 〈 Z ∪ { zn + 2 } ; glyph[lessorequalslant] Y 〉 . First observe that zn + 2 is incomparable with xn + 1 and yn + 1 with respect to glyph[lessorequalslant] Y , since g is order-preserving and g zn ( + ) = 2 xn + 2 is incomparable with g xn ( + ) = 1 g yn ( + ) = 1 yn + 1 in D ¥ 2 . Moreover, zn + 2 glyph[lessorequalslant] Y xn + 2. To prove this, observe that xn + 2 and yn + 1 are incomparable in Y . Since Y has width at most 2, this implies that zn + 2 must be comparable with one of them. Since zn + 2 is incomparable with yn + 1, if follows that zn + 2 is comparable with xn + 2. Keeping in mind that g xn ( + ) = 2 yn + 2 glyph[notlessorslnteql] D ¥ 2 xn + 2 = g zn ( + ) 2 and that g is order-preserving, we obtain xn + 2 glyph[notlessorslnteql] Y zn + 2. As a consequence, we conclude that zn + 2 &lt; Y xn + 2 as desired. Summing up, the structure of 〈 Z ∪{ zn + 2 } ; glyph[lessorequalslant] Y 〉 is described exactly by the following picture:

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a115]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-b9332bd7-b266-4ff0-a66f-c4dd0fb35ed6.jpg)

Now, observe that g zn ( + ) 2 = xn + 2 glyph[lessorequalslant] D ¥ 2 xn + 3. Since g is an Esakia morphism, there is an element zn + 3 ∈ Y with zn + 2 glyph[lessorequalslant] Y zn + 3 such that g zn ( + ) = 3 xn + 3. We can replicate the previous argument, used to describe the structure of the poset 〈 Z ∪{ zn + 2 } ; glyph[lessorequalslant] Y 〉 , to show that zn + 3 is incomparable with xn + 2 and yn + 2, and that zn + 3 &lt; Y xx + 3. Then, as in the previous argument, yn + 1 &lt; Y zn + 3. Iterating this process we construct a series of elements { zn + m : 2 glyph[lessorequalslant] m ∈ w } ⊆ Y such that g zi ( ) = xi , for all i glyph[greaterorequalslant] 2. The structure of the poset Z ′ : = 〈 Z ∪{ zn + m : 2 glyph[lessorequalslant] m ∈ w } ; glyph[lessorequalslant] Y 〉 is as depicted below:

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a115]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-4bab50ec-21c4-4e63-9342-9956fd5d22d6.jpg)

We claim that for every a ∈ Y such that xn + 2 glyph[lessorequalslant] Y a , either a ∈ Z ′ or b glyph[lessorequalslant] Y a for every b ∈ Z ′ . To prove this, consider a ∈ Y such that xn + 2 glyph[lessorequalslant] Y a and a / ∈ Z ′ . It will be enough to show that xn + m glyph[lessorequalslant] Y a for 2 &lt; m ∈ w . Suppose, with a view to obtaining a contradiction, that there is a smallest integer m &gt; 2 such that xn + m glyph[notlessorslnteql] Y a . Looking at the figure above, it is easy to see that every point in Z ′ glyph[integerdivide] { xn , yn } is incomparable with two elements in ↑ xn . Since Y has incomparability degree at most 2 by Corollary 7 4 . , it follows that every element in ↑ xn glyph[integerdivide] Z ′ is comparable with all the elements of Z ′ glyph[integerdivide] { xn , yn } . We shall make extensive use of this observation. First recall that xn + m glyph[notlessorslnteql] Y a . As a is comparable with xn + m , this implies that a &lt; Y xn + m . Moreover, a is comparable with yn + m -1. Since yn + m -1 glyph[notlessorslnteql] Y xn + m and a &lt; Y xn + m , it follows that a &lt; Y yn + m -1. Now, a is comparable with zn + m . If zn + m glyph[lessorequalslant] Y a , then zn + m glyph[lessorequalslant] Y yn + m -1, which is false. Thus, a &lt; Y zn + m . By minimality of m we have xn + m -1 glyph[lessorequalslant] Y a . This yields that xn + m -1 glyph[lessorequalslant] Y zn + m . This contradiction establishes the claim.

From the definition of an Esakia space we know that the upset ↑ xn + 2 in Y is closed and, therefore, an E-subspace of Y . Moreover, ↑ xn + 2 ∈ K ∗ , since K is a variety. Consider the equivalence relation S on ↑ xn + 2 defined as follows: for every a b , ∈ ↑ xn + 2,

$$\langle a, b \rangle \in S \Longleftrightarrow \text{either} \, a = b \text{ or } a, b \notin Z ^ { \prime }.$$

We shall prove that S is a correct partition on ↑ xn + 2. To this end, observe that from the claim it follows that S satisfies condition (i) in the definition of a correct partition. In order to prove condition (ii), consider a b , ∈ ↑ xn + 2 such that 〈 a b , 〉 ∈ / S . We can assume without loss of generality that b ∈ Z ′ . If b ∈ { xn + 2, xn + 2 } , let b ′ = zn + 4; otherwise, let b ′ = b . Let c be the minimum element of ↑ xn + 2 that is incomparable with b ′ . By the Priestley separation axiom, since c glyph[notlessorslnteql] Y b ′ , there is a clopen upset U such that c ∈ U and b ′ / ∈ U . Looking at the above picture, it is easy to see that the only upset missing b ′ is ↑ c , therefore U = ↑ c and U c = ↓ b ′ . In particular, b ∈ ↓ b ′ = U c . By the claim above, a ∈ ↑ c = U . The fact that U and U c are unions of equivalence

classes of S follows from the definition of S . This establishes condition (ii) and, therefore, that S is a correct partition on ↑ xn + 2.

Then let W be the Esakia space ( ↑ xn + ) 2 / . Observe that S W ∈ K ∗ , since K is closed under homomorphic images. Moreover, observe that the poset underlying W is isomorphic to Z ′ ∩↑ xn + 2 plus a fresh top element. 8 Now, consider the equivalence relation T on W whose corresponding partition is depicted below:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-58c12ead-cee3-4925-ac56-2197dabca6b4.jpg)

❣

glyph[a115]

glyph[a115]

An argument, similar to the one detailed in the case of S , shows that the relation T is a correct partition on W , except that in this case we let b be such that a glyph[notlessorslnteql] b , and let b ′ be c 0 if b ∈ { a 0, b 0 } and the maximum of the equivalence class b / T otherwise.

glyph[negationslash]

Since K has the ES property, we can apply Lemma 3 2 . , so there exist V ∈ K ∗ and a pair of different Esakia morphisms f , g : V → W such that 〈 f ( v ) , g v ( ) 〉 ∈ T for every v ∈ V . As above, since f = g , there are ⊥ ∈ V and n ∈ w such that { f ( ⊥ ) , g ( ⊥ } ) = { an , bn } . We can assume without loss of generality that f ( ⊥ ) = an and g ( ⊥ ) = bn , and that V = ↑⊥ . Moreover, we can find a subposet 〈 Q ; glyph[lessorequalslant] V 〉 of V such that the restriction

$$f \colon \langle Q ; \leqslant ^ { v } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { w } \rangle$$

is a poset isomorphism. We denote the elements of Q exactly as their alter egos in ↑ f ( ⊥ glyph[latticetop] ) . Under this convention,

$$Q = \{ a _ { n + m } \colon m \in \omega \} \cup \{ b _ { n + m } \colon m \in \omega \} \cup \{ c _ { n + m } \colon m \in \omega \}$$

and for every ai , bi , ci ∈ Q ,

$$f ( a _ { i } ) = a _ { i } \text{ and } f ( b _ { i } ) = g ( a _ { i } ) = g ( b _ { i } ) = b _ { i } \text{ and } f ( c _ { i } ) = g ( c _ { i } ) = c _ { i }.$$

Observe that g bn ( ) = bn glyph[lessorequalslant] W an + 2. Since g is an Esakia morphism, there exists v ∈ V such that bn glyph[lessorequalslant] V v and g v ( ) = an + 2. So, we have that { g v ( ) , g an ( + ) 2 , g bn ( + ) 2 } = { an + 2, bn + 2 } and g cn ( + ) = 1 cn + 1, therefore, the

8 The existence of the top element of W follows from the fact that, in Esakia spaces, suprema of chains exist, see Lemma 2 2 . (vii).

glyph[negationslash]

elements g v ( ) , g an ( + ) 2 , g bn ( + ) 2 are incomparable with g cn ( + ) 1 in W . Since g is order-preserving, v an , + 2, bn + 2 are incomparable with cn + 1 in V . Because an + 2 = bn + 2 and V has incomparability degree glyph[lessorequalslant] 2 by Corollary 7 4 . , we conclude that either v = an + 2 or v = bn + 2. Observe that if v = an + 2, then an + 2 = g v ( ) = g an ( + ) = 2 bn + 2, which is false. A similar argument rules out the case where v = bn + 2. Hence we have reached a contradiction, as desired. glyph[squaremultiply]

Corollary 8 3 . . The members of the interval [ V (( D ¥ 2 ) ∗ ) , ID 2 ∩ W 2 ] of the subvariety lattice of HA lack the ES property. In particular, V ( RN ) lacks the ES property.

Proof. From Lemma 8 1 . and Corollary 7 4 . we know that V ( RN ) belongs to the interval [ V (( D ¥ 2 ) ∗ ) , ID 2 ∩ W 2 ] . The fact that V ( RN ) lacks the ES property is then an immediate consequence of Lemma 8 2 . . glyph[squaremultiply]

As already mentioned, up to now the only known example of a variety of Heyting algebras without the ES property was precisely V (( D ¥ 2 ) ∗ ) . This example is now subsumed by the above corollary.

Theorem 8 4 . . There is a continuum of locally finite subvarieties of V ( RN ) without the ES property.

Proof. Let C be the three-element Heyting algebra. Moreover, define A : = 2 × C . For 2 glyph[lessorequalslant] n ∈ w , let B n be the algebra 2 + A + C 1 + · · · + C n -2, where C 1, . . . , C n -2 are copies of the four-element Boolean algebra D 2 ∗ . The algebra B n (depicted below) belongs to HS ( RN ) .

glyph[a115]

glyph[a115]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-fb0f7055-0ad4-423c-a01b-0603e03570f9.jpg)

glyph[negationslash]

Define F : = { B n : 2 glyph[lessorequalslant] n ∈ w } . In [ 6 , Lem. 5 38 5 . ( ), Thm. 5 39 1 . ( )] it is shown that V ( S ) = V ( T ) , for every pair of different subsets S T , ⊆ F . 9

glyph[negationslash]

We claim that V ( S , ( D ¥ 2 ) ∗ ) = V ( T , ( D ¥ 2 ) ∗ ) , for every pair of different subsets S T , ⊆ F . To prove this, consider two different S T , ⊆ F .

9 The proof relies on a general method introduced by Jankov for the case of varieties of Heyting algebras [ 32 ], and subsequently extended to all varieties with equationally definable principal congruences by Blok and Pigozzi [ 10 ] (see also [ 34 ]).

glyph[negationslash]

Since V ( S ) = V ( T ) , we can assume without loss of generality that B n ∈ V ( S ) glyph[integerdivide] V ( T ) whenever n glyph[greaterorequalslant] 2. Suppose with a view to obtaining a contradiction that V ( S , ( D ¥ 2 ) ∗ ) = V ( T , ( D ¥ 2 ) ∗ ) . In particular, B n ∈ V ( T , ( D ¥ 2 ) ∗ ) FSI . Now, from J´ onsson's lemma it follows that V ( T , ( D ¥ 2 ) ∗ ) FSI = V ( T ) FSI ∪ V (( D ¥ 2 ) ∗ ) FSI . Since B n / ∈ V ( T ) FSI , we have that B n ∈ V (( D ¥ 2 ) ∗ ) . Now, observe that ( D ¥ 2 ) ∗ ∈ ID 1. As a consequence, B n ∈ ID 1. But this is easily seen to be false. So, we have reached a contradiction, thus establishing the claim.

From the claim it follows that the set

$$G \coloneqq \{ \mathbb { V } ( T, D _ { 2 } ^ { \infty } ) \colon T \subseteq F \}$$

has the cardinality of the continuum. Consider T ⊆ F . It remains only to prove that V ( T , ( D ¥ 2 ) ∗ ) is a locally finite subvariety of V ( RN ) , lacking the ES property. The fact that V ( T , ( D ¥ 2 ) ∗ ) is a subvariety of V ( RN ) follows from T ⊆ HS ( RN ) and Lemma 8 1 . . Next we turn our attention to proving that V ( T , ( D ¥ 2 ) ∗ ) is locally finite. Let D be the Heyting algebra depicted below: glyph[a115]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-542a68ad-d962-478d-b6ac-c328bc086b1a.jpg)

glyph[a115]

Observe that the equation glyph[a115]

$$\bigvee _ { i = 1 } ^ { 3 } ( x \to y _ { i } ) \vee ( y _ { i } \to x ) \approx 1$$

holds in V ( T , ( D ¥ 2 ) ∗ ) but fails in D . As a consequence, D / ∈ V ( T , ( D ¥ 2 ) ∗ ) . Since D has the form of one of the algebras in condition (ii) of the statement of Theorem 7 2 . , we conclude that V ( T , ( D ¥ 2 ) ∗ ) is locally finite. Finally, we know that T ∪{ ( D ¥ 2 ) ∗ } ⊆ W 2 ∩ ID 2. Together with Lemma 8 2 . , this implies that V ( T , ( D ¥ 2 ) ∗ ) lacks the ES property. glyph[squaremultiply]

We conclude this section by showing that the ES property has an interesting consequence for subvarieties of KG :

Theorem 8 5 . . Let K be a subvariety of KG . If K has the ES property, then it is locally finite.

Proof. We reason by contraposition. Suppose that a subvariety K of KG is not locally finite. From condition (iii) of Theorem 7 2 . it follows that K contains the sum RN + 2 . Now, it is easy to see that finitely generated subalgebras of ( D ¥ 2 ) ∗ belong to SH ( RN + ) 2 . As a consequence, ( D ¥ 2 ) ∗ ∈ ISP SH u ( RN + ) 2 ⊆ K . From Lemma 8 2 . , it follows that K lacks the ES property. glyph[squaremultiply]

It is show in [ 6 ] that the cardinality of the interval [ V ( RN ) , KG ] is 2 ℵ 0 . No variety in this interval is locally finite, because they all contain RN , which is an infinite finitely generated algebra. So, by Theorem 8 5 . , there is also a continuum of non-locally finite subvarieties of KG without the ES property.

## 9 . E pimorphism surjectivity in subvarieties of KG

In obtaining a characterization of the subvarieties of KG with the ES property, we shall rely on a series of technical observations. An element a of a Heyting algebra A is said to be a node if it is comparable with every element of A , see for instance [ 16 ].

Lemma 9 1 . . Let A be a finite Heyting algebra and 0 &lt; n ∈ w .

- (i) Suppose that A is one-generated. If | A | glyph[greaterorequalslant] 6 n + 1 , then

$$2 + \underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } } _ { n \text{-times} } ^ { * } \in \mathbb { S } ( A ).$$

- (ii) Suppose that A ∈ KG FSI , and that cn + 2 &lt; cn + 1 &lt; · · · &lt; c 1 is a chain in A , where cn + 2, cn + 1, . . . , c 1 are exactly the nodes of A in the interval [ cn + 2, c 1 ] . If each interval [ ci + 1, ci ] has at least 3 elements, then there are C 1, . . . , C n ∈ { X 2 ∗ , D 2 ∗ } 10 such that

$$C _ { 1 } + \cdots + C _ { n } + 2 \in \mathbb { V } ( A ).$$

Proof. (i): Recall that the class of one-generated Heyting algebras is H ( RN ) . Hence A is a finite homomorphic image of RN . Bearing this in mind, it is not hard to see that the poset reduct of A is isomorphic to a finite principal downset ↓ b of RN . Accordingly, in what follows we shall identify the universes of A and ↓ b , thus labelling the elements of A as in Figure 1 on page 19 . A figure of ↓ b is reproduced below for convenience. Now, we define

$$B \coloneqq \{ b, 0 \} \cup \bigcup _ { n > k \in \omega } \{ w _ { 1 + 3 k }, w _ { 2 + 3 k }, a _ { 1 + 3 k } \}.$$

The elements of B are encircled in the figure below. Bearing in mind that A = ↓ b and | A | glyph[greaterorequalslant] 6 n + 1, it is easy to see that B is the universe of a subalgebra of A isomorphic to 2 + D 2 ∗ + · · · + D 2 ∗ ︸ ︷︷ ︸ n -times .

10 Recall that the Esakia space X 2 was defined before Remark 6 2 . on page 13 .

❣

glyph[a115]

glyph[a115]

❣

Figure 2 . A with the elements of B encircled

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-7b92bdb4-c0a0-456e-a5c0-2bc06bb9d8ca.jpg)

(ii): Since A is a finite FSI member of KG , we can apply Lemma 7 1 . obtaining that A = B 1 + · · · + B k for some finite B 1, . . . , B k ∈ H ( RN ) . We can choose this decomposition of A into a sum in such a way that the unique nodes of A are

$$0 ^ { B _ { k } } < 1 ^ { B _ { k } } < \dots < 1 ^ { B _ { 1 } }.$$

Then cn + 2 &lt; cn + 1 &lt; · · · &lt; c 1 is a segment of the above chain, so

$$c _ { 1 } = 1 ^ { B _ { m } }, c _ { 2 } = 1 ^ { B _ { m + 1 } }, \dots, c _ { n + 1 } = 1 ^ { B _ { m + n } },$$

for some m ∈ w such that m + n glyph[lessorequalslant] k , and cn + 2 = 0 if m + n = k and cn + 2 = 1 B m + + n 1 otherwise.

Then consider m glyph[lessorequalslant] i glyph[lessorequalslant] m + n . We have that B i is a finite one-generated algebra. Moreover, the assumptions on the elements cj , show that B i has at least three elements and its unique nodes are the maximum and minimum elements. Now, the fact that B i is one-generated implies that its underlying poset is isomorphic to a finite principal downset ↓ b of RN , and in what follows we shall identify the universes of B i and ↓ b .

Since B i has at least three elements and only two nodes, we obtain that, in the notation of Figure 1 on page 29 , b = a 3 p + q for some p ∈ w and q ∈ { 0, 1, 2 } . Then for every k ∈ w we define the following subsets of RN :

$$\Gamma _ { 1 } \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \Lambda \searrow \\ W \coloneqq & \{ w _ { t } \colon t \in \omega \text{ is not divisible by 3} \} \\ C _ { 3 k + 2 } \coloneqq & \{ w _ { t } \in W \colon t \leqslant 2 + 3 k \} \cup \{ a _ { 3 t + 2 } \colon t \in \omega \text{ and } t \leqslant k \} \cup \{ 0, 1 \} \\ C _ { 3 k + 1 } \coloneqq & C _ { 3 ( k - 1 ) + 2 } \cup \{ a _ { 1 + 3 k }, a _ { 3 k }, w _ { 1 + 3 k } \} \\ C _ { 3 k } \coloneqq & C _ { 3 ( k - 1 ) + 2 } \cup \{ a _ { 3 k }, w _ { 3 k }, a _ { 3 k - 2 }, a _ { 3 ( k - 1 ) } \}. \\ W \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \omega \cdot \omega \omega \cdot \omega \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \cdot \omega \delta$$

We have that C p 3 + q is the universe of a subalgebra C i of B i , which is isomorphic to a sum of the form C i 1 + · · · + C i ki for some C i 1 , . . . , C i ki ∈ { X 2 ∗ , D 2 ∗ } . See below for figures illustrating B i for the three possibilities of q , where the elements of C p 3 + q are encircled.

This easily implies that

$$C _ { m } + \dots + C _ { m + ( n - 1 ) } + 2 \in \mathbb { S } ( C _ { m } + \dots + C _ { m + n } ) \subseteq \mathbb { S } ( B _ { m } + \dots + B _ { m + n } ).$$

Bearing in mind that A = B 1 + · · · + B k , this yields that

$$C _ { m } + \dots + C _ { m + ( n - 1 ) } + 2 \in \mathbb { S H } ( A ) \subseteq \mathbb { V } ( A ).$$

Putting all this together we get that

$$C _ { 1 } ^ { m } + \dots + C _ { k _ { m } } ^ { m } + C _ { 1 } ^ { m + 1 } + \dots + C _ { k _ { m + ( n - 1 ) } } ^ { m + ( n - 1 ) } + 2 \in \mathbb { V } ( A ).$$

Finally, we let D 1, . . . , D n ∈ { X 2 ∗ , D 2 ∗ } be the first n components of the sum above, so that

$$D _ { 1 } + \dots + D _ { n } + 2 \in \mathbb { S } ( C _ { m } + \dots + C _ { m + ( n - 1 ) } + 2 ) \subseteq \mathbb { V } ( A ), \\ \text{conding the proof.}$$

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-9976a977-cc35-44e1-9aba-3945ad466c57.jpg)

glyph[a115]

❣

glyph[a115]

glyph[a115]

❣

glyph[a115]

glyph[a115]

❣

glyph[a115]

glyph[a115]

❣

Lemma 9 2 . . . Let K be a subvariety of KG . Suppose there exists a positive integer n such that K excludes all sums of the form A 1 + · · · + A n + 2 , where A i ∈ { D 2 ∗ , X 2 ∗ } for every i glyph[lessorequalslant] n. Then K has the ES property.

Proof. We claim that K is locally finite. Suppose the contrary. By Theorem 7 2 . , we obtain that RN + 2 ∈ K . Now, it is easy to see that

$$2 + \underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } } _ { n \text{-times} } ^ { * } + 2 \in \mathbb { S } ( R N + 2 )$$

and, therefore,

$$\underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } ^ { * } } _ { n \text{-times} } + 2 \in \mathbb { H } ( 2 + \underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } ^ { * } } _ { n \text{-times} } + 2 ) \subseteq \mathbb { S H } ( R N + 2 ) \subseteq K.$$

But this contradicts the assumption, thus establishing the claim.

Now, suppose with a view to obtaining a contradiction that K does not have the ES property. Then by Theorem 3 3 . there exists an FSI algebra B ∈ K with a proper K -epic subalgebra A . Clearly, B embeds into an ultraproduct C = GLYPH&lt;213&gt; i ∈ I C i / U of its finitely generated subalgebras. Henceforth, we identify B with its image under this embedding (so that both A and B are subalgebras of C ). Observe that, since K is locally finite, we know that each C i is finite. Moreover, by Lemma 2 2 . (i), each C i is FSI. By Lemma 7 1 . each C i is a finite sum of finite algebras in H ( RN ) .

Claim (a). If c 1 &lt; · · · &lt; cn + 2 is a sequence of nodes in C such that c 1, . . . , cn + 2 are exactly the nodes of C in the interval [ c 1, cn + ] 2 , then there

is at least one j ∈ { 1, . . . , n + 1 } such that the interval [ cj , cj + ] 1 is a twoelement set.

Proof of Claim (a). As the statement of Claim (a) can be formulated as a first-order sentence in the language of Heyting algebras, it follows by Ło´ s' Theorem [ 12 , Sec. V, Thm. 2 9 . ] that Claim (a) will hold in C if it holds in C i for every i ∈ I . Suppose on the contrary that there is an i ∈ I and a sequence of nodes a 1 &lt; · · · &lt; an + 2 of C i as above such that each interval [ aj , aj + ] 1 has at least three elements. Together with Lemma 9 1 . (ii), this implies that there are B 1, . . . , B n ∈ { X 2 ∗ , D 2 ∗ } such that

$$B _ { 1 } + \dots + B _ { n } + 2 \in \mathbb { V } ( C _ { i } ) \subseteq K.$$

But this contradicts the assumptions and, therefore, establishes the claim.

Claim (b).

For every pair of nodes

c

&lt;

d

in

C

with no other node in between, we have that

|

[

c

,

d

]

|

glyph[lessorequalslant]

6

n

+

6.

Proof of Claim (b). As with Claim (a), it suffices to show that each C i satisfies this property. To this end, consider nodes a &lt; b of C i with no other node in between, and suppose, with a view to obtaining a contradiction, that | [ a b , ] | glyph[greaterorequalslant] 6 + 7. By Lemma 7 1 . , we have that C i = B 1 + · · · + B m for some B 1, . . . , B m ∈ H ( RN ) . Since the unique nodes in the interval [ a b , ] are a and b , there exists j glyph[lessorequalslant] m such that [ a b , ] ⊆ B j . Hence B j is a one-generated Heyting algebra such that | B | glyph[greaterorequalslant] 6 ( n + ) + 1 1. By Lemma 9 1 . (i) we obtain that

$$2 + \underbrace { D _ { 2 } ^ { * } + \cdots + D _ { 2 } } _ { n + 1 \text{-times} } ^ { * } \in \mathbb { S } ( B _ { j } ).$$

This easily implies that

$$2 + \underbrace { D _ { 2 } ^ { * } + \cdots + D _ { 2 } } _ { n \text{-times} } ^ { * } + 2 \in \mathbb { S } ( C _ { i } ).$$

As a consequence, we obtain

$$\underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } } _ { n - \text{times} } ^ { * } + 2 \in \mathbb { H } ( 2 + \underbrace { D _ { 2 } ^ { * } + \dots + D _ { 2 } } _ { n - \text{times} } ^ { * } + 2 ) \subseteq \mathbb { H S } ( C _ { i } ) \subseteq K.$$

But this contradicts the assumptions and, therefore, establishes the claim. Claim (c). For every element c of C there exist a largest node of C below c , and a smallest node of C above c .

Proof of Claim (c). As with Claim (a), it suffices to show that each C i satisfies this property. But this is an immediate consequence of the fact that C i is finite, and we are done.

Now, we will extend A to a proper subalgebra D glyph[lessorequalslant] B such that the inclusion map D → B is almost onto. This will contradict the fact that K has the weak ES property (see Theorem 3 6 . ). In order to construct the extension D of A , we reason as follows. Since A is a proper subalgebra of B , we can choose an element b ∈ B glyph[integerdivide] A . By Claim (c), there exist a largest node c of C such that c glyph[lessorequalslant] b and a smallest node d of C such that b glyph[lessorequalslant] d .

If ↑ d is finite, we set A ′ : = A . Now assume that ↑ d is infinite. We show, by supposing the contrary, that there exists a sequence of nodes d = b 1 &lt; b 2 &lt; · · · &lt; bn + 2, where b 1, . . . , bn + 2 are exactly the nodes of A in the interval [ b 1, bn + ] 2 . Then there are only finitely many nodes above b . By Claim (c) every element of ↑ b belongs to an interval between nodes, and there are only finitely many such intervals. But by Claim (b) this implies that ↑ b is finite, which contradicts the assumption, thus establishing the existence of the sequence. Then, by Claim (a), there exists j glyph[lessorequalslant] n such that [ bj , bj + ] 1 is a two-element set. Let A ′ = A ∪↑ bj + 1. Since bj + 1 is a node, it is not hard to see that A ′ is the universe of a subalgebra A ′ of B . Moreover, by Claim (b), the interval [ b bj , + ] 1 is finite.

Now, if ↓ c is finite we let D : = A ′ . Then suppose that ↓ c is infinite. Using an argument similar to the one above, we can construct a chain of nodes c = c 1 &gt; c 2 &gt; · · · &gt; cn + 2, where c 1, . . . , cn + 2 are exactly the nodes of A ′ in the interval [ cn + 2, c 1 ] . By Claim (a), there exists j glyph[lessorequalslant] n + 1 such that [ cj + 1, cj ] is a two-element set. Again the set D = A ′ ∪ ↓ cj + 1 is the universe of a subalgebra D of B . Moreover, [ cj + 1, c ] is finite by Claim (b).

Observe that the subalgebra D glyph[lessorequalslant] B extends A and is proper, since b / ∈ D . Moreover, D is a K -epic subalgebra of B , since D extends A . Bearing in mind that the interval [ c , d ] is finite by Claim (b), we obtain that B glyph[integerdivide] D is finite. Hence the inclusion map D → B is an almost onto non-surjective K -epimorphism. This implies that K lacks the weak ES property, contradicting Theorem 3 6 . . glyph[squaremultiply]

Lemma 9 3 . . Let { Z n : n ∈ w } be a family of Esakia spaces such that Z n ∈ { X 2, D 2 } for every n ∈ w , and let K be a subvariety of ID 2 ∩ W 2 . If GLYPH&lt;229&gt; Z n ∈ K ∗ , then K lacks the ES property.

Proof. Suppose with a view to obtaining a contradiction that there is a subvariety K of ID 2 ∩ W 2 with the ES property and such that GLYPH&lt;229&gt; Z n ∈ K ∗ for some family { Z n : n ∈ w } of Esakia spaces as in the statement.

We claim that for every m ∈ w , there are t , k glyph[greaterorequalslant] m such that Z t = D 2 and Z k = X 2. Suppose not. Then there exists m ∈ w such that either Z k = D 2 for every k glyph[greaterorequalslant] m or Z k = X 2 for every k glyph[greaterorequalslant] m . This implies that either D ¥ 2 or X ¥ 2 is an E-subspace of GLYPH&lt;229&gt; Z n and, therefore, that either D ¥ 2 ∈ K ∗ or X ¥ 2 ∈ K ∗ . By Theorem 6 5 . and Lemma 8 2 . we conclude that K lacks the ES property, thus contradicting the assumptions. This establishes the claim.

We know that every component Z m of GLYPH&lt;229&gt; Z n is a copy of either D 2 or X 2. Accordingly, we denote the elements of Z m as follows:

$$\underbrace { a _ { m } \overset { \bullet } { \times } _ { b _ { m } } ^ { d _ { m } } } _ { \overbrace { Y _ { m } = X _ { 2 } } } \quad \underbrace { a _ { m } \bullet \bullet b _ { m } } _ { \overbrace { \text{if } Y _ { m } = D _ { 2 } } }$$

Then consider the relation R on GLYPH&lt;229&gt; Zn defined as follows: for every x y , ∈ GLYPH&lt;229&gt; Zn ,

$$\text{$item$\numerical$ are reallown $n\nmid\nmid\nmid\nmid\nmid\nmid\nmid\nmid$} \, Z _ { m }, \\ \langle x, y \rangle \in R \Longleftrightarrow \text{either $x=y$} \\ \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\text{$or$\left(x\in Z_{m}=X_{2}$ and $\{x,y\}=\{b_{m},d_{m}\}$, for some $m\in\omega$} \right) \\ \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\text{\em$or$\left(x\in Z_{m}=D_{2}$, $y\in Z_{m+1}=X_{2}$ and $\{x,y\}=\{b_{m},a_{m+1}\}$,} \\ \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\text{for some $m\in\omega$} \right) \\ \text{$or$\left(x\in Z_{m}=D_{2}$, $y\in Z_{m+1}=D_{2}$ and $\{x,y\}=\{b_{m},a_{m+1}\}$,} \\ \text{$or$\left(x\in Z_{m}=X_{2}$, $y\in Z_{m+1}=X_{2}$ and $\{x,y\}=\{c_{m},a_{m+1}\}$,} \\ \text{$or$\left(x\in Z_{m}=\omega$} \right). \\ \text{$an$ argument, similar to the one detailed for Lemma $6.4$, shows that $R$ is a} \\ \text{correct$n$artition on $\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$
\text{$current$n$artition on $\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Gamma$\Phi$\Gamma$\Phi$\Phi$\Phi$\Phi$\Phi$\Phi$\Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$PhiPhone$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$PHi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi`Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phip$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$Phi$.
\text{$or$\left$\left$\left$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$\right$
\text{$an$ argument, similar to the one detailed for $elemma $6.4$, shows that $R$ is a}$$

An argument, similar to the one detailed for Lemma 6 4 . , shows that R is a correct partition on GLYPH&lt;229&gt; Z n .

glyph[negationslash]

glyph[negationslash]

Since K has the ES property, we can apply Lemma 3 2 . , obtaining that there exist Y ∈ K ∗ and a pair of different Esakia morphisms f , g : Y → GLYPH&lt;229&gt; Z n such that 〈 f ( y ) , g y ( ) 〉 ∈ R for every y ∈ Y . Since f = g , there exists ⊥ ∈ Y such that f ( ⊥ ) = g ( ⊥ ) . We can assume without loss of generality that f ( ⊥ ) &lt; g ( ⊥ ) . Moreover, as in the proof of Theorem 6 5 . , we can assume that Y = ↑⊥ . Observe that GLYPH&lt;229&gt; Z n has width at most 2, as does Y , since K ⊆ W 2. Moreover, Y and GLYPH&lt;229&gt; Z n , and the Esakia morphism f : Y → GLYPH&lt;229&gt; Z n satisfy the assumptions of Lemma 6 1 . . Therefore, Y has a subposet 〈 Z ; glyph[lessorequalslant] Y 〉 such that the restriction

$$f \colon \langle Z ; \leqslant ^ { \gamma } \rangle \rightarrow \langle \uparrow f ( \perp ) ^ { \top } ; \leqslant ^ { \sum \mathbf Z _ { n } } \rangle$$

is a poset isomorphism. For the sake of simplicity, we denote the elements of Z exactly as their alter egos in ↑ f ( ⊥ glyph[latticetop] ) . It is not hard to see that

$$f ( z ) = z \text{ and } g ( z ) = \max ( z / R )$$

for every z ∈ Z (see the proof of Theorem 6 5 . , if necessary).

From the claim it follows that there exists m ∈ w such that Zm ∪ Zm + 1 ⊆ Z , Z m = D 2 and Z m + 1 = X 2. The following picture represents the relevant part of GLYPH&lt;229&gt; Z n equipped with the correct partition R :

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

glyph[a113]

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00287v2-figure-9d3d53c8-2ed6-4549-99c1-6dc5b9829d2f.jpg)

Observe that g am ( ) = am glyph[lessorequalslant] GLYPH&lt;229&gt; Z n cm + 1. Since g is an Esakia morphism, there exists y ∈ Y such that am glyph[lessorequalslant] Y y and g y ( ) = cm + 1. Moreover, g am ( + ) = 1 am + 1 and g bm ( + ) = 1 dm + 1. Together with the fact that g y ( ) = cm + 1, this implies that g y ( ) is incomparable with g am ( + ) 1 and g bm ( + ) 1 in GLYPH&lt;229&gt; Z n . Since g is order-preserving, we conclude that y is incomparable with am + 1 and bm + 1 in Y . As Y has width glyph[lessorequalslant] 2, we obtain that am + 1 and bm + 1 are comparable is Y , a contradiction. glyph[squaremultiply]

We are finally ready to present a characterization of the subvarieties of KG with the ES property:

Theorem 9 4 . . Let K ⊆ KG be a variety. The following conditions are equivalent:

- (i) K has the ES property.
- (ii) K excludes all sums GLYPH&lt;229&gt; A n of families { A n : n ∈ w } of Heyting algebras such that A n ∈ { D 2 ∗ , X 2 ∗ } for every n ∈ w .
- (iii) There is a positive integer n such that K excludes all sums of the form A 1 + · · · + A n + 2 , where A i ∈ { D 2 ∗ , X 2 ∗ } for every i glyph[lessorequalslant] n.

Proof. Lemmas 9 3 . and 9 2 . yield directions (i) ⇒ (ii) and (iii) ⇒ (i).

(ii) ⇒ (iii): Consider the expansion of the language of Heyting algebras with fresh constants { an : n ∈ w } . Let node ( x ) be the first-order formula whose meaning is ' x is a node'. Similarly, let interval ( x y , ) be the firstorder formula meaning 'the interval [ x y , ] is order-isomorphic to the poset reduct of either D 2 ∗ or X 2 ∗ '. Consider the following set of sentences of the expanded language:

- F : = { node ( an ) : n ∈ w } ∪ { interval ( an + 1, an ) : n ∈ w } ∪ { a 0 ≈ 1 } .

Moreover, let D the set of axioms of KG (regarded as first-order sentences). We shall reason by contraposition. Suppose that for every n ∈ w there are A 1, . . . , A n ∈ { D 2 ∗ , X 2 ∗ } such that A 1 + · · · + A n + 2 ∈ K . This easily implies that every finite subset of F ∪ D has a model. By the Compactness Theorem, it follows that F ∪ D has a model A . Clearly, the Heyting algebra reduct A -of A belongs to K . Moreover, A -has a subalgebra isomorphic to a sum GLYPH&lt;229&gt; A n , where { A n : n ∈ w } is a family of Heyting algebras such that A n ∈ { D 2 ∗ , X 2 ∗ } for every n ∈ w . glyph[squaremultiply]

As a consequence we obtain an alternative proof of the following result from [ 8 , Cor. 5 7 . ]:

Corollary 9 5 . . Every variety of G¨ odel algebras has the ES property.

Proof. Let K be a variety of G¨del algebras. Observe that o K excludes every sum of the form A + B + 2 with A B , ∈ { X 2 ∗ , D 2 ∗ } , since these sums are not contained in W 1. As K ⊆ KG , we can apply Theorem 9 4 . , obtaining that K has the ES property. glyph[squaremultiply]

In summary, we have shown, in Theorem 8 4 . , that there is a continuum of locally finite subvarieties of V ( RN ) ⊆ KG without the ES property. In Theorem 9 4 . , we classified the subvarieties of KG that have the ES

property. In particular, they are all locally finite. Furthermore, notice that if a subvariety K of KG has the ES property, then so do all subvarieties of K .

## 10 . B rouwerian algebras

Subreducts of Heyting algebras in the signature 〈∧ ∨ → , , , 1 〉 are called Brouwerian algebras . It is well-known that the varieties of Brouwerian algebras algebraize the positive logics, i.e., the axiomatic extensions of the 〈∧ ∨ → , , , 1 〉 -fragment of intuitionistic logic. As a consequence, a positive logic glyph[turnstileleft] has the infinite (deductive) Beth (definability) property if and only if the variety of Brouwerian algebras associated with glyph[turnstileleft] has the ES property.

This prompts the question of whether it is possible to adapt the results on epimorphisms obtained so far to varieties of Brouwerian algebras. In the majority of cases this can be done by changing naturally the notion of sums of algebras and the duality to the case of Brouwerian algebras (for the latter, see for instance [ 8 ]).

One exception is the proof of Theorem 8 4 . , which does not immediately survive the deletion of 0 from the type. However, it remains true that there is a continuum of locally finite varieties of Brouwerian algebras lacking the ES property. The proof of this fact is an obvious adaptation of that of Theorem 8 4 . , in which the algebra B n must be replaced (in the notation of the proof) by 2 + A + C 1 + · · · + C n -2 + A .

Acknowledgements. We thank Guram Bezhanishvili and James G. Raftery for helpful conversations on the topic. We are also very grateful to the anonymous referees, whose useful remarks helped to improve the presentation of the paper. The first author was supported by project CZ.02.2.69/0.0/0.0/17 050/0008361, OPVVV M ˇ MT, MSCA-IF Lidsk´ e zdroje S v teoretick´ e informatice and by the Beatriz Galindo grant BEAGAL18/00040 of the Spanish Ministry of Science, Innovation and Universities. The second author was supported by the DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa. Opinions expressed and conclusions arrived at are those of the authors and are not necessarily to be attributed to the CoE-MaSS.

## R eferences

- [ 1 ] P.D. Bacsich, Model theory of epimorphisms , Canad. Math. Bull. 17 ( 1974 ), 471 477 -.
- [ 2 ] R. Balbes, P. Dwinger, 'Distributive lattices', University of Missouri Press, 1974 .
- [ 3 ] C. Bergman, 'Universal Algebra. Fundamentals and Selected Topics', CRC Press, Taylor &amp; Francis, 2012 .
- [ 4 ] E.W. Beth, On Padoa's method in the theory of definitions , Indag. Math. 15 ( 1953 ), 330 -339 .
- [ 5 ] G. Bezhanishvili, N. Bezhanishvili, Profinite Heyting algebras , Order 25 ( 2008 ), 211 -227 .
- [ 6 ] G. Bezhanishvili, N. Bezhanishvili, D. de Jongh, The Kuznetsov-Gerˇ ciu and RiegerNishimura logics: the boundaries of the finite model property , Logic and Logical Philosophy 17 ( 2008 ), 73 -110 .
- [ 7 ] G. Bezhanishvili, T. Moraschini, Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality , Submitted manuscript, 2020 .

- [ 8 ] G. Bezhanishvili, T. Moraschini, J.G. Raftery, Epimorphisms in varieties of residuated structures , J. Algebra 492 ( 2017 ), 185 211 -.
- [ 9 ] W.J. Blok, E. Hoogland, The Beth property in algebraic logic , Studia Logica 83 ( 2006 ), 49 -90 .
- [ 10 ] W.J. Blok, D. Pigozzi, On the structure of varieties with equationally definable principal congruences I , Algebra Universalis 15 ( 1982 ), 195 227 -.
- [ 11 ] W.J. Blok, D. Pigozzi, 'Algebraizable Logics', Memoirs of the American Mathematical Society 396 , Amer. Math. Soc., Providence, 1989 .
- [ 12 ] S. Burris, H.P. Sankappanavar, 'A Course in Universal Algebra', Graduate Texts in Mathematics, Springer-Verlag, New York, 1981 .
- [ 13 ] M.A. Campercholi, Dominions and primitive positive functions , J. Symbolic Logic 83 ( 2018 ), 40 -54 .
- [ 14 ] S.A. Celani, R. Jansana, Esakia Duality and Its Extensions , in G. Bezhanishvili (ed.), 'Leo Esakia on Duality in Modal and Intuitionistic Logics', Outstanding Contributions to Logic, No. 4 , Springer, New York, 2014 , pp. 63 -98 .
- [ 15 ] A. Chargrov, M. Zakharyaschev, 'Modal Logic', Oxford Logic Guides 35 , Oxford University Press, 1997 .
- [ 16 ] A.I. Citkin, Hereditarily structurally complete positive logics , Rev. Symb. Log. ( 2019 ). https://doi.org/10.1017/S1755020319000169
- [ 17 ] J. Czelakowski, 'Protoalgebraic Logics', Kluwer, Dordrecht, 2001 .
- [ 18 ] M. Dummett, A propositional calculus with denumerable matrix , J. Symbolic Logic 24 ( 1959 ), 97 -106 .
- [ 19 ] L.L. Esakia, Topological Kripke models , Soviet Math. Dokl. 15 ( 1974 ), 147 151 -.
- [ 20 ] L.L. Esakia, 'Heyting Algebras I. Duality Theory', Metsniereba Press, Tblisi, 1985 (Russian).
- [ 21 ] J.M. Font, 'Abstract Algebraic Logic - An Introductory Textbook', Studies in Logic 60 , College Publications, London, 2016 .
- [ 22 ] J.M. Font, R. Jansana, 'A General Algebraic Semantics for Sentential Logics', Lecture Notes in Logic, Vol. 7 , 2 nd ed., Cambridge University Press, 2017
- [ 23 ] J.M. Font, R. Jansana, D. Pigozzi, A survey of abstract algebraic logic , and Update , Studia Logica 74 ( 2003 ), 13 -97 , and 91 ( 2009 ), 125 130 -.
- [ 24 ] D.M. Gabbay, L. Maksimova, 'Interpolation and Definability: Modal and Intuitionistic Logics', Oxford Logic Guides 46 , Clarendon Press, Oxford, 2005 .
- [ 25 ] N. Galatos, P. Jipsen, T. Kowalski, H. Ono, 'Residuated Lattices. An Algebraic Glimpse at Substructural Logics', Studies in Logic and the Foundations of Mathematics 151 , Elsevier, 2007 .
- [ 26 ] N. Galatos, J.G. Raftery, Idempotent residuated structures: some category equivalences and their applications , Trans. Amer. Math. Soc. 367 ( 2015 ), 3189 3223 -.
- [ 27 ] V.J. Gerˇ ciu, A.V. Kuznetsov, The finitely axiomatizable superintuitionistic logics , Soviet Math. Dokl. 11 ( 1970 ), 1654 1658 -.
- [ 28 ] L. Henkin, J.D. Monk, A. Tarski, 'Cylindric Algebras, Part II', Studies in Logic and the Foundations of Mathematics 115 , North-Holland, Amsterdam, 1985 .
- [ 29 ] E. Hoogland, Algebraic characterizations of various Beth definability properties , Studia Logica 65 ( 2000 ), 91 -112 .
- [ 30 ] E. Hoogland, 'Definability and interpolation: model-theoretic investigations', PhD. Thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2001 .
- [ 31 ] J.R. Isbell, Epimorphisms and dominions , in S. Eilenberg et al (eds.), 'Proceedings of the Conference on Categorical Algebra (La Jolla, California, 1965 )', Springer, New York, 1966 , pp. 232 246 -.
- [ 32 ] V.A. Jankov, The construction of a sequence of strongly independent superintuitionistic propositional calculi , Soviet Math. Dokl. 9 ( 1968 ), 806 807 -.

- [ 33 ] B. J´nsson, o Algebras whose congruence lattices are distributive , Math. Scand. 21 ( 1967 ), 110 121 -.
- [ 34 ] B. J´nsson, o Congruence distributive varieties , Math. Japonica 42 ( 1995 ), 353 401 -.
- [ 35 ] H. Kihara, H. Ono, Interpolation properties, Beth definability properties and amalgamation properties for substructural logics , J. Logic Comput. 20 ( 2010 ), 823 875 -.
- [ 36 ] E.W. Kiss, L. M´ arki, P. Pr¨hle, W. Tholen, o Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity , Studia Sci. Math. Hungarica 18 ( 1983 ), 79 -140 .
- [ 37 ] G. Kreisel, Explicit definability in intuitionistic logic , J. Symbolic Logic 25 ( 1960 ), 389 390 -.
- [ 38 ] A.V. Kuznetsov, On superintuitionistic logics , Proceedings of the International Congress of Mathematicians, Vancouver, BC, 1974 , Vol. 1 , Canadian Mathematical Congress, Montreal, Quebec, 1975 , pp. 243 249 -.
- [ 39 ] A.V. Kuznetsov, Some classification problems for superintuitionistic logics , Proceedings of the 3 rd USSR Converence on Mathematical Logic, Novosibirsk, 1974 , pp. 119 122 -.
- [ 40 ] A.V. Kuznetsov, V.J. Gerˇ ciu, Superintuitionistic logics and finite approximability , Soviet Math. Dokl. 11 ( 1970 ), 1614 1619 -.
- [ 41 ] L.L. Maksimova, Craig's interpolation theorem and amalgamated varieties of pseudoboolean algebras , Algebra and Logic 16 ( 1977 ), 643 681 -.
- [ 42 ] L.L. Maksimova, Projective Beth properties in modal and superintuitionistic logics , Algebra and Logic 38 ( 1999 ), 316 333 -.
- [ 43 ] L.L. Maksimova, Intuitionistic logic and implicit definability , Ann. Pure Appl. Logic 105 ( 2000 ), 83 -102 .
- [ 44 ] L.L. Maksimova, Implicit definability and positive logics , Algebra and Logic 42 ( 2003 ), 37 -53 .
- [ 45 ] F. Montagna, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation , Ann. Pure Appl. Logic 141 ( 2006 ), 148 179 -.
- [ 46 ] T. Moraschini, J.G. Raftery, On prevarieties of logic , Algebra Universalis, 80 ( 2019 ), 11 pages.
- [ 47 ] T. Moraschini, J.G. Raftery, J.J. Wannenburg, Epimorphisms, definability and cardinalities , Studia Logica, in press:
- https://doi.org/10.1007/s11225-019-09846-5
- [ 48 ] T. Moraschini, J.G. Raftery, J.J. Wannenburg, Epimorphisms in varieties of square-increasing residuated structures , to appear in Algebra Universalis , ( 2020 . )
- [ 49 ] I. Nishimura, On formulas of one variable in intuitionistic propositional calculus , J. Symbolic Logic 25 ( 1960 ), 327 331 -.
- [ 50 ] H.A. Priestley, Representation of distributive lattices by means of ordered Stone spaces , B. Lond. Math. Soc. 2 ( 1970 ), 186 190 -.
- [ 51 ] H.A. Priestley, Ordered topological spaces and the representation of distributive lattices , P. Lond. Math. Soc. 24 ( 1972 ), 507 530 -.
- [ 52 ] L. Rieger, On the lattice theory of Brouwerian propositional logic , Acta Fac. Nat. Univ. Carol., Prague 189 ( 1949 ), 40 .
- [ 53 ] A. Urquhart, Beth's definability theorem in relevant logics , in E. Orlowska (ed.), 'Logic at Work; Essays dedicated to the memory of Helena Rasiowa', Studies in Fuzziness and Soft Computing, Vol. 24 , Physica Verlag, 1999 , pp. 229 234 -.

D epartment of P hilosophy , U niversity of B arcelona , C arrer de M ontalegre 6, 08001, B arcelona , S pain and

I nstitute of C omputer S cience , A cademy of S ciences of C zech R epublic , P od V odarenskou ´ vezi ˇ ˇ´ 271/2, 182 07 P rague 8, C zech R epublic

E-mail address : tommaso.moraschini@ub.edu

D epartment of M athematics and A pplied M athematics , U niversity of P retoria , P rivate B ag X20, H atfield , P retoria 0028, and DST-NRF C entre of E xcellence in M athematical and S tatistical S ciences (C o E-M SS), S a outh A frica

E-mail address : jamie.wannenburg@up.ac.za
T. Moraschini J. J. Wannenburg
Epimorphism surjectivity in varieties of Heyting algebras
It was shown recently that epimorphisms need not be surjective in a variety K
of Heyting algebras, but only one counter-example was exhibited in the
literature until now. Here, a continuum of such examples is identified, viz.
the variety generated by the Rieger-Nishimura lattice, and all of its (locally
finite) subvarieties that contain the original counter-example K. It is known
that, whenever a variety of Heyting algebras has finite depth, then it has
surjective epimorphisms. In contrast, we show that for every integer n greater
or equal than 2, the variety of all Heyting algebras of width at most n has a
non-surjective epimorphism. Within the so-called Kuznetsov-Gerciu variety
(i.e., the variety generated by finite linear sums of one-generated Heyting
algebras), we describe exactly the subvarieties that have surjective
epimorphisms. This yields new positive examples, and an alternative proof of
epimorphism surjectivity for all varieties of Goedel algebras. The results
settle natural questions about Beth-style definability for a range of
intermediate logics.