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

Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…

We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules. $Theorem.$ Assume $R$ is an associative ring with unity. 1. The class of locally pure-injective…

The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn…

There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that \emph{stability} is enough to…

We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…

We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…

For $\lambda \in \mathbb{Z}$, let $\lambda \cdot A = \{ \lambda a : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $\lambda_1, \ldots, \lambda_h \le 2^r$,…

For a Specht module S^\lambda for the symmetric group \Sigma_d, the cohomology H^i(\Sigma_d, S^\lambda) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd…

We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…

We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then…

Given a countable scattered linear order $L$ of Hausdorff rank $\alpha < \omega_1$ we show that it has a $d\text{-}\Sigma_{2\alpha+1}$ Scott sentence. Ash calculated the back and forth relations for all countable well-orders. From this…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

For a cardinal of the form $\kappa=\beth_\kappa$, Shelah's logic $L^1_\kappa$ has a characterisation as the maximal logic above $\bigcup_{\lambda<\kappa} L_{\lambda, \omega}$ satisfying Strong Undefinability of Well Order (SUDWO). SUDWO is…

A fundamental theme in automata theory is regular languages of words and trees, and their many equivalent definitions. Salvati has proposed a generalization to regular languages of simply typed $\lambda$-terms, defined using denotational…

Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a normal $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved…

Let $h$ be a positive integer and $A, B_1, B_2,\dots, B_h$ be finite sets in a commutative group. We bound $|A+B_1+...+B_h|$ from above in terms of $|A|, |A+B_1|,\dots,|A+B_h|$ and $h$. Extremal examples, which demonstrate that the bound is…

Let $\ell$ be a rational prime number. Assuming the Gross-Kuz'min conjecture along a $\Zl$-extension $K\_{\infty}$ of a number field $K$, we show that there exist integers $\mut$, $\lat$ and $\widetilde{\nu}$ such that the exponent…

For a fixed natural number $n \geq 1$, the Hart-Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical exactly in the infinite cardinals less than or equal to $\aleph_n$. We investigate recently-isolated…

Associated with a smooth, $d$-closed $(1, 1)$-form $\alpha$ of possibly non-rational De Rham cohomology class on a compact complex manifold $X$ is a sequence of asymptotically holomorphic complex line bundles $L_k$ on $X$ equipped with $(0,…

Let $F$ be a finite extension of $\mathbb{Q}_p$. Let $W(k)$ denote the Witt vectors of an algebraically closed field $k$ of characteristic $\ell$ different from $p$ and $2$, and let $\mathcal{Z}$ be the spherical Hecke algebra for $GL_n(F)$…