Search

We show that a surjective homomorphism $\varphi \colon \Gamma \to K$ of (discrete) groups induces an isomorphism $H^\bullet_b(K; V) \to H^\bullet_b(\Gamma; \varphi^{-1} V)$ in bounded cohomology for all dual normed $K$-modules $V$ if and only if the kernel of $\varphi$ is boundedly acyclic. This complements a previous result by the authors that characterized this class of group homomorphisms as bounded cohomology equivalences with respect to $\mathbb{R}$-generated Banach $K$-modules. We deduce a characterization of the class of maps between path-connected spaces that induce isomorphisms in bounded cohomology with respect to coefficients in all dual normed modules, complementing the corresponding result shown previously in terms of $\mathbb{R}$-generated Banach modules. The main new input is the proof of the fact that every boundedly acyclic group $\Gamma$ has trivial bounded cohomology with respect to all dual normed trivial $\Gamma$-modules., Comment: 6 pages. To appear in Rev. Mat. Iberoam

A poset is Esakia representable when it is isomorphic to the prime spectrum of a Heyting algebra. Notably, every Esakia representable poset is also the spectrum of a commutative ring with unit. The problem of describing the Esakia representable posets was raised in 1985 and remains open to this day. We recall that a forest is a disjoint union of trees and that a root system is the order dual of a forest. It is shown that a root system is Esakia representable if and only if it satisfies a simple order theoretic condition, known as "having enough gaps", and each of its nonempty chains has an infimum. This strengthens Lewis's characterisation of the root systems which are spectra of commutative rings with unit. While a similar characterisation of arbitrary Esakia representable forests seems currently out of reach, we show that a well-ordered forest is Esakia representable if and only if it has enough gaps and each of its nonempty chains has a supremum.

A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel algebras and form a variety that algebraizes the extension $\operatorname{\mathsf{bi-GD}}$ of bi-intuitionistic logic axiomatized by the G\"odel-Dummett axiom. In this paper we establish the decidability of the problem of determining if a finitely axiomatizable extension of $\operatorname{\mathsf{bi-GD}}$ is locally tabular. Notably, if $L$ is an extension of $\operatorname{\mathsf{bi-GD}}$, then $L$ is locally tabular iff $L$ is not contained in $Log(FC)$, the logic of a particular family of finite co-trees, called the finite combs. We prove that $Log(FC)$ is finitely axiomatizable. Since this logic also has the finite model property, it is therefore decidable. Thus, the above characterization of local tabularity ensures the decidability of the aforementioned problem.

We present an axiomatic approach to combination theorems for various homological properties of groups and, more generally, of chain complexes. Examples of such properties include algebraic finiteness properties, $\ell^2$-invisibility, $\ell^2$-acyclicity, lower bounds for Novikov--Shubin invariants, and vanishing of homology growth. We introduce an algebraic version of Ab\'ert--Bergeron--Fr\k{a}czyk--Gaboriau's cheap rebuilding property that implies vanishing of torsion homology growth and admits a combination theorem. As an application, we show that certain graphs of groups with amenable vertex groups and elementary amenable edge groups have vanishing torsion homology growth., Comment: 39 pages, comments welcome

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free algebras which is known to be undecidable. As a by-product, a description of the pseudocomplemented distributive lattices that can be embedded into the free algebra is also obtained.

A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property is obtained and a method for detecting failures of this property in quasivarieties with a near unanimity term and in congruence permutable varieties is given. It is also shown that under reasonable assumptions the weak ES property implies arithmeticity. In particular, every filtral variety with the weak ES property is a discriminator variety.

Several algebraic criteria, reflecting displacement properties of transformation groups, have been used in the past years to prove vanishing of bounded cohomology and stable commutator length. Recently, the authors introduced the property of commuting cyclic conjugates, a new displacement technique that is widely applicable and provides vanishing of the bounded cohomology in all positive degrees and all dual separable coefficients. In this note we consider the most recent along with the by now classical displacement techniques and we study implications among them as well as counterexamples., Comment: 26 pages, 8 figures. Companion to arXiv:2311.16259. v2: minor changes

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds; the group of interval exchange transformations of the half line; piecewise linear and piecewise projective groups of the line, giving strong answers to questions of Calegari and Navas; direct limit linear groups of relevance in algebraic K-theory, thereby answering a question by Kastenholz and Sroka and a question of two of the authors and L\"oh; and certain subgroups of big mapping class groups, such as the stable braid group and the stable mapping class group, proving a conjecture of Bowden. Moreover, we prove that in the recently introduced framework of enumerated groups, the generic group has vanishing bounded cohomology with separable dual coefficients. At the heart of our approach is an elementary algebraic criterion called the commuting cyclic conjugates condition that is readily verifiable for the aforementioned large classes of groups., Comment: 67 pages, 7 figures. v2: added Corollary 1.19, expanded Section 6, updated references to the companion paper arXiv:2401.08857. v3: added Corollary 1.11. v4: rewrote Section 5.2 on compactly supported big mapping class groups

A classic result in modal logic, known as the Blok Dichotomy Theorem, states that the degree of incompleteness of a normal extension of the basic modal logic $\sf K$ is $1$ or $2^{\aleph_0}$. It is a long-standing open problem whether Blok Dichotomy holds for normal extensions of other prominent modal logics (such as $\sf S4$ or $\sf K4$) or for extensions of the intuitionistic propositional calculus $\mathsf{IPC}$. In this paper, we introduce the notion of the degree of finite model property (fmp), which is a natural variation of the degree of incompleteness. It is a consequence of Blok Dichotomy Theorem that the degree of fmp of a normal extension of $\sf K$ remains $1$ or $2^{\aleph_0}$. In contrast, our main result establishes the following Antidichotomy Theorem for the degree of fmp for extensions of $\mathsf{IPC}$: each nonzero cardinal $\kappa$ such that $\kappa \leq \aleph_0$ or $\kappa = 2^{\aleph_0}$ is realized as the degree of fmp of some extension of $\mathsf{IPC}$. We then use the Blok-Esakia theorem to establish the same Antidichotomy Theorem for normal extensions of $\sf S4$ and $\sf K4$.

For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.

We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of {\L}o\'s's Theorem restricted to positive formulas, as well as the following variant of Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers., Comment: 15 pages; Accepted to the Journal of Symbolic Logic

On negatively curved compact manifolds, it is possible to associate to every closed form a bounded cocycle - hence a bounded cohomology class - via integration over straight simplices. The kernel of this map is contained in the space of exact forms. We show that in degree 2 this kernel is trivial, in contrast with higher degree. In other words, exact non-zero $2$-forms define non-trivial bounded cohomology classes. This result is the higher dimensional version of a classical theorem by Barge and Ghys for surfaces. As a consequence, one gets that the second bounded cohomology of negatively curved manifolds contains an infinite dimensional space, whose classes are explicitly described by integration of forms. This also showcases that some recent results by Marasco (arXiv:2202.04419, arXiv:2209.00560) can be applied in higher dimension to obtain new non-trivial results on the vanishing of certain cup products and Massey products. Some other applications are discussed., Comment: 11 pages. Some minor changes made upon referee's suggestions. Final version to appear in PAMS

A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel algebras and form a variety that algebraizes the extension $\mathsf{bi}$-$\mathsf{LC}$ of bi-intuitionistic logic axiomatized by the G\"odel-Dummett axiom. In this paper we initiate the study of the lattice $\Lambda(\mathsf{bi}$-$\mathsf{LC})$ of extensions of $\mathsf{bi}$-$\mathsf{LC}$. We develop the methods of Jankov-style formulas for bi-G\"odel algebras and use them to prove that there are exactly continuum many extensions of $\mathsf{bi}$-$\mathsf{LC}$. We also show that all these extensions can be uniformly axiomatized by canonical formulas. Our main result is a characterization of the locally tabular extensions of $\mathsf{bi}$-$\mathsf{LC}$. We introduce a sequence of co-trees, called the finite combs, and show that a logic in $\mathsf{bi}$-$\mathsf{LC}$ is locally tabular iff it contains at least one of the Jankov formulas associated with the finite combs. It follows that there exists the greatest non-locally tabular extension of $\mathsf{bi}$-$\mathsf{LC}$ and consequently, a unique pre-locally tabular extension of $\mathsf{bi}$-$\mathsf{LC}$. These results contrast with the case of the intermediate logic axiomatized by the G\"odel-Dummett axiom, which is known to have only countably many extensions, all of which are locally tabular.

Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic., Comment: 50 pages

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka duality for meet-semilattices. We introduce the notion of $\Pi_1$-persistence and show that every weak positive modal logic is $\Pi_1$-persistent. This approach leads to a new relational semantics for weak positive modal logic, for which we prove an analogue of Sahlqvist correspondence result.

We provide new vanishing and glueing results for relative simplicial volume, following up on two current themes in bounded cohomology: The passage from amenable groups to boundedly acyclic groups and the use of equivariant topology. More precisely, we consider equivariant nerve pairs and relative classifying spaces for families of subgroups. Typically, we apply this to uniformly boundedly acyclic families of subgroups. Our methods also lead to vanishing results for $\ell^2$-Betti numbers of aspherical CW-pairs with small relative amenable category and to a relative version of a result by Dranishnikov and Rudyak concerning mapping degrees and the inheritance of freeness of fundamental groups., Comment: 49 pages; comments are welcome

In analogy with ordinary simplicial volume, we show that integral foliated simplicial volume of oriented closed connected aspherical $n$-manifolds that admit an open amenable cover of multiplicity at most $n$ is zero. This implies that the fundamental groups of such manifolds have fixed price and are cheap as well as reproves some statements about homology growth., Comment: 23 pages, revised version according with the referee's comments. To appear in New York J. Math

A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (L\"oh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic. We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups $F$, $T$, and $V$ is as simple as possible., Comment: 33 pages, one figure; v3: refs updated and minor changes. The new paragraph 3.1.4 contains examples of amenable binate groups. To appear in J. Aust. Math. Soc

A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study various versions of Gromov's question and collect strategies towards affirmative answers and strategies towards negative answers to this problem. Moreover, we put Gromov's question into context with other open problems in low- and high-dimensional topology. A special emphasis is put on a comparative analysis of the additivity properties of the simplicial volume and the Euler characteristic for manifolds with boundary. We explain that the simplicial volume defines a symmetric monoidal functor (TQFT) on the amenable cobordism category, but not on the whole cobordism category. In addition, using known computations of simplicial volumes, we conclude that the fundamental group of the 4-dimensional amenable cobordism category is not finitely generated. We also consider new variations of Gromov's question. Specifically, we show that counterexamples exist among aspherical spaces that are only homology equivalent to oriented closed connected manifolds., Comment: 41 pages, minor changes, a few typos fixed. To appear in Res. Math. Sci

For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of an inconsistency lemma (IL). Of special interest is the case where a quasivariety $\mathsf{K}$ algebraizes a deductive system $\,\vdash$. We prove that, in this case, if $\,\vdash$ has a WEML (in the general sense) then every relatively subdirectly irreducible member of $\mathsf{K}$ has a greatest proper $\mathsf{K}$-congruence; the converse holds if $\,\vdash$ has an inconsistency lemma. The result extends, in a suitable form, to all protoalgebraic logics. A super-intuitionistic logic possesses a WEML iff it extends $\mathbf{KC}$. We characterize the IL and the WEML for normal modal logics and for relevance logics. A normal extension of $\mathbf{S4}$ has a global consequence relation with a WEML iff it extends $\mathbf{S4.2}$, while every axiomatic extension of $\mathbf{R^t}$ with an IL has a WEML.

The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and G\"odel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in L, P, and G. Namely, RL is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admissible rules. We leave the problem open whether the variety of rational G\"odel algebras is Q-universal.

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland.

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when its has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi.

We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group. On the other hand, we construct a continuum of finitely generated groups, whose bounded cohomology has uncountable dimension in all degrees greater than or equal to~$2$, and a concrete finitely presented one. Countable non-amenable groups with these two extreme properties were previously known to exist, but these constitute the first finitely generated/finitely presented examples. Finally, we show that various algorithmic problems on bounded cohomology are undecidable., Comment: 30 pages, minor changes from v2, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

Johnson's characterization of amenable groups states that a discrete group $\Gamma$ is amenable if and only if $H_b^{n \geq 1}(\Gamma; V) = 0$ for all dual normed $\mathbb{R}[\Gamma]$-modules V. In this paper, we extend the previous result to homomorphisms by proving the converse of the Mapping Theorem: a surjective group homomorphism $\phi \colon \Gamma \to K$ has amenable kernel H if and only if the induced inflation map $H^\bullet_b(K; V^H) \to H^\bullet_b(\Gamma; V)$ is an isometric isomorphism for every dual normed $\mathbb{R}[\Gamma]$-module V. In addition, we obtain an analogous characterization for the (smaller) class of surjective group homomorphisms $\phi \colon \Gamma \to K$ with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all Banach $\Gamma$-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms, that is, the class of group homomorphisms $\phi \colon \Gamma \to K$ for which the restriction maps in bounded cohomology $H^\bullet_b(K; V) \to H^\bullet_b(\Gamma; \phi^{-1}V)$ are isomorphisms for a suitable family of dual normed $\mathbb{R}[K]$-modules V including the trivial $\mathbb{R}[K]$-module $\mathbb{R}$. We then extend the first and third results to topological spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients., Comment: 32 pages; Revised version: the use of Banach modules has been uniformized. To appear in Rev. Mat. Iberoam

We establish a straightforward estimate for the number of open sets with fundamental group constraints needed to cover the total space of fibrations. This leads to vanishing results for simplicial volume and minimal volume entropy, e.g., for certain mapping tori., Comment: 20 pages; minor revisions; To appear in Proc. Roy. Soc. Edinburgh Sect. A

We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in which profinite algebras are isomorphic to profinite completions. It turns out that there exists largest such. We give different characterizations of this variety and show that it is finitely axiomatizable and locally finite. From this it follows that it is decidable whether in a finitely axiomatizable variety of Heyting algebras all profinite members are profinite completions. In addition, we introduce and characterize representable varieties of Heyting algebras, thus drawing connection to the classical problem of representing posets as prime spectra.

Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and topological complexity., Comment: 33 pages; to appear in AGT

We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $\ell^1$-semi-norm on singular homology in all dimensions., Comment: 4 pages, To appear in Proc. Amer. Math. Soc

A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In particular, it is proved that the classes of truth-equational and assertional logics are meet-prime in the Leibniz hierarchy, while the classes of protoalgebraic and equivalential logics are meet-reducible. However, the last two classes are shown to be determined by Leibniz conditions consisting of meet-prime logics only.

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices., Comment: 35 pages; Major corrections along the paper following the referee's suggestions. To appear in Ergod. Theory Dyn. Syst

A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbitrarily large sets exist, but binary suprema in general do not. On the other hand, the existence of suprema of sets of equivalential logics is established. The relations between Log and the lattice of interpretability types of varieties are investigated.

We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory., Comment: 36 pages, no figures; minor changes made according to referee's suggestions; To appear in J. Topol

As for the theory of maximal representations, we introduce the volume of a Zimmer's cocycle $\Gamma \times X \rightarrow \mbox{PO}^\circ(n, 1)$, where $\Gamma$ is a torsion-free (non-)uniform lattice in $\mbox{PO}^\circ(n, 1)$, with $n \geq 3$, and $X$ is a suitable standard Borel probability $\Gamma$-space. Our numerical invariant extends the volume of representations for (non-)uniform lattices to measurable cocycles and in the uniform setting it agrees with the generalized version of the Euler number of self-couplings. We prove that our volume of cocycles satisfies a Milnor-Wood type inequality in terms of the volume of the manifold $\Gamma \backslash \mathbb{H}^n$. This invariant can be interpreted as a suitable multiplicative constant between bounded cohomology classes. This allows us to characterize maximal cocycles for being cohomologous to the cocycle induced by the standard lattice embedding via a measurable map $X \rightarrow \mbox{PO}(n, 1)$ with essentially constant sign. As a by-product of our rigidity result for the volume of cocycles, we give a new proof of the mapping degree theorem. This allows us to provide a complete characterization of maps homotopic to local isometries between closed hyperbolic manifolds in terms of maximal cocycles. In dimension $n = 2$, we introduce the notion of Euler number of measurable cocycles associated to closed surface groups. It extends the classic Euler number of representations and it agrees with the generalized version of the Euler number of self-couplings up to a multiplicative constant. We show a Milnor-Wood type inequality whose upper bound is given by the modulus of the Euler characteristic. This gives an alternative proof of the same result for the generalized version of the Euler number of self-couplings. Finally, we characterize maximal cocycles as those which are cohomologous to the one induced by a hyperbolization., Comment: 54 pages, we fixed some typos following referees' suggestions. Moreover, we rewrote Section 3 and we modified Corollary 5.14. To appear in Transform. Groups

We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences.

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.

Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated with a matrix semantics Mod*(L). This paper is a contribution to the systematic study of the so-called "truth sets" of the matrices in Mod*(L). In particular, we show that the fact that the truth sets of Mod*(L) can be defined by means of equations with universally quantified parameters is captured by an order-theoretic property of the Leibniz operator restricted to deductive filters of L. This result was previously known for equational definability without parameters. Similarly, it was known that the truth sets of Mod*(L) are implicitly definable if and only if the Leibniz operator is injective on deductive filters of L over every algebra. However, it was an open problem whether the injectivity of the Leibniz operator transfers from the theories of L to its deductive filters over arbitrary algebras. We show that this is the case for logics expressed in a countable language, and that it need not be true in general. Finally we consider an intermediate condition on the truth sets in Mod*(L) that corresponds to the order-reflection of the Leibniz operator.

Positive modal algebras are the positive-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-generated positive S4-algebra is shown to be finite. Moreover, we describe the bottom part of the lattice of varieties of positive S4-algebras. Building on this, we characterize (passively, hereditarily) structurally complete varieties of positive K4-algebras.