Related papers: Bimodal logics with a `weakly connected' component…

It is well known that the propositional modal logic $\mathbf{GL}$ of provability satisfies the de Jongh-Sambin fixed-point property. On the other hand, Montagna showed that the predicate modal system $\mathbf{QGL}$, which is the natural…

We initiate the study of finite characterizations and exact learnability of modal languages. A finite characterization of a modal formula w.r.t. a set of formulas is a finite set of finite models (labelled either positive or negative) which…

Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…

The composite fermion formalism elegantly describes some of the most fascinating behaviours of interacting two-dimensional carriers at low temperatures and in strong perpendicular magnetic fields. In this framework, carriers minimize their…

Let $({\mathcal X},d,\mu)$ be a metric measure space satisfying both the upper doubling and the geometrically doubling conditions. In this paper, the authors establish some equivalent characterizations for the boundedness of fractional…

By Lindstr\"{o}m's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is however less harmless and has been payed attention by…

It is known that graded cyclic modules over $S=K[x,y]$ have the Weak Lefschetz Property (WLP). This is not true for non-cyclic modules over $S$. The purpose of this note is to study which conditions on $S$-modules ensure the WLP. We give an…

Given a finitely generated module over a commutative noetherian ring that satisfies certain reflexivity conditions, we show how failure of the semidualizing property for the module manifests in a disconnection of the prime spectrum of the…

We investigate the expressivity and computational complexity of two modal logics on finite forests equipped with operators to reason on submodels. The logic ML(|) extends the basic modal logic ML with the composition operator | from static…

Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and Hallden, these systems are equipped with an additional…

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

Let $K$ be a subgroup of a finite group $G$. The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$. Assume that $Pr(K,G)\geq\epsilon$ for some fixed $\epsilon>0$. We show that there is a normal…

Let $\{S_1, S_2, \dots, S_n\}$ be an iterated function system on $\mathbb{R}$ with attractor $K$. It is known that if the iterated function system satisfies the weak separation property and $K = [0,1]$ then the iterated function system also…

We prove boundedness results for integral operators of fractional type and their higher order commutators between weighted spaces, including $L^p$-$L^q$, $L^p$-$BMO$ and $L^p$-Lipschitz estimates. The kernels of such operators satisfy…

A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp.…

Let R be a commutative ring. A not necessarily commutative R-algebra A is called futile if it has only finitely many R-subalgebras. In this article we relate the notion of futility to familiar properties of rings and modules. We do this by…

We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…

Let $L$ be the infinitesimal generator of an analytic semigroup on $L^2(R^n)$ with Gaussican kernel bounds, and let $L^{-\alpha/2}$ be the fractional integrals of $L$ for $0<\alpha<n.$ For any locally integrable function $b$, The…

Let $D$ be a division ring, $\mathcal V$ and $ \mathcal W$ vector spaces over $D$, and ${\mathcal L(\mathcal V,\mathcal W)}$ the ${\mathcal L(\mathcal W)}$-${\mathcal L(\mathcal V)}$ bimodule of all linear transformations from $\mathcal V$…