11 citations · 16 across the 14 of their papers we have counts for
16 papers
A bootstrap proof of Bohr's theorem
Ole Fredrik Brevig
Let be an analytic function in the unit disc whose modulus is bounded by . We present a new proof of Bohr's theorem, which asserts that its majorant function is boun…
Splittings in varieties of logic
Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with som…
Beyond wreath and block
Michal Botur, Tomasz Kowalski
We investigate a semigroup construction generalising the two-sided wreath product. We develop the foundations of this construction and show that for groups it is isomorphic to the…
Kites and representations of pseudo MV-algebras
Michal Botur, Tomasz Kowalski
We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a gen…
Robinson consistency in many-sorted hybrid first-order logics
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result…
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In the the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybriddynamic first-order logic with rigid symbols (i.e. symbols with fixed i…