Related papers: The Hart-Shelah example, in stronger logics

Let $G$ be a reductive algebraic group over a $p$-adic field or number field $K$, and let $V$ be a $K$-linear faithful representation of $G$. A lattice $\Lambda$ in the vector space $V$ defines a model $\hat{G}_{\Lambda}$ of $G$ over…

We give a characterization, with respect to a large class of models of untyped $\lambda$-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is $\mathcal{H}^*$. An extensional K-model $D$…

We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…

Let $(X,\omega)$ be a compact K\"{a}hler manifold. Let $(L,h)$ be a hermitian holomorphic line bundle over $X$, such that $\Theta_{L,h}\geq -\varepsilon\omega$ for a small $\varepsilon>0$, $E$ be a holomorphic line bundle over $X$. For…

Let $\Lambda$ be a Legendrian in the jet space of some manifold $X$. To a generating family presentation of $\Lambda$, we associate a constructible sheaf on $X \times \mathbb{R}$ whose singular support at infinity is $\Lambda$, and such…

Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…

The logic $\mathcal L^1_\kappa$ was introduced by Shelah in [3]. In [4], he proved that for a strongly compact cardinal $\kappa$, it admits the following algebraic characterization: two structures are $\mathcal L^1_\kappa$-equivalent if and…

We prove Schauder estimates for a class of non-local elliptic operators with kernel $K(y)=a(y)/|y|^{d+\sigma}$ and either Dini or H\"older continuous data. Here $0 < \sigma < 2$ is a constant and $a$ is a bounded measurable function, which…

We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…

Let $k\geq 2$ be an integer and let $\lambda$ be the Liouville function. Given $k$ non-negative distinct integers $h_1,\ldots,h_k$, the Chowla conjecture claims that $\sum_{n\leq x}\lambda(n+h_1)\cdots \lambda(n+h_k)=o(x)$ as $x\to\infty$.…

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

We introduce a modified closing-off argument that results in several improved bounds for the cardinalities of Hausdorff and Urysohn spaces. These bounds involve the cardinal invariant $skL(X,\lambda)$, the skew-$\lambda$ Lindel\"of degree…

We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…

In this paper we investigate more characterizations and applications of $\delta$-strongly compact cardinals. We show that, for a cardinal $\kappa$ the following are equivalent: (1) $\kappa$ is $\delta$-strongly compact, (2) For every…

Given an integral lattice $\Lambda$ of rank $n$ and a finite sequence $m_1 \leq m_2 \leq ... \leq m_k$ of natural numbers we construct a modular form $\Theta_{m_1,m_2,...,m_k,\Lambda}$ of level $N=N(\Lambda)$. The weight of this modular…

We introduce the Macdonald piece polynomial $\operatorname{I}_{\mu,\lambda,k}[X;q,t]$, which is a vast generalization of the Macdonald intersection polynomial in the science fiction conjecture by Bergeron and Garsia. We demonstrate a…

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (\omega)$ are known to satisfy that $\omega_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also…

We study some properties of positive solutions to the higher order conformally invariant equation with a singular set $$ (-\Delta)^m u = u^{\frac{n+2m}{n-2m}} ~~~~~~ \textmd{in} ~ \Omega \backslash \Lambda, $$ where $\Omega \subset…

In this paper we consider an infinitesimal Hecke algebra of $sl_2$ in positive characteristic. We show that it is a finitely generated module over its center, and the smooth and the Azumaya loci of its center coincide.

Suppose $\Lambda$ is a special biserial algebra over an algebraically closed field. Schr\"oer showed that if $\Lambda$ is domestic then the radical of the category of finitely generated (left) $\Lambda$-modules is nilpotent, and the least…