Related papers: The Morris model

For any prime p, we construct, and simultaneously count, all of the complex Specht modules in a given p-block of the symmetric group which remain irreducible when reduced modulo p. We call the Specht modules with this property p-irreducible…

A set $\mathcal{A}\subset \mathbb{N}$ is called additively decomposable (resp. asymptotically additively decomposable) if there exist sets $\mathcal{B},\mathcal{C}\subset \mathbb{N}$ of cardinality at least two each such that…

In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…

We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from…

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…

All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…

With the variational method introduced by J Mather, we construct a mechanical Hamiltonian system whose Alpha function has a flat F and is non-differentiable at the boundary of F. In the case of two degrees of freedom, we prove this…

We present the multiplier method of constructing conservative finite difference schemes for ordinary and partial differential equations. Given a system of differential equations possessing conservation laws, our approach is based on…

A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more…

Most scientific publications follow the familiar recipe of (i) obtain data, (ii) fit a model, and (iii) comment on the scientific relevance of the effects of particular covariates in that model. This approach, however, ignores the fact that…

Classical theorems from the early 20th century state that any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form…

We study the model theory of the $2$-sorted structure $(\mathbb{F}, \mathbb{C};\chi)$, where $\mathbb{F}$ is an algebraic closure of a finite field of characteristic $p$, $\mathbb{C}$ is the field of complex numbers and $\chi: \mathbb{F}…

In this paper, we present a generalization of one of the theorems in [G. E. Andrews, Partitions with parts separated by parity, \textit{Annals of Combinatorics} \textbf{23}(2019), 241 - 248], and give its bijective proof. Further variations…

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

This paper establishes the theoretical foundations for the asymptotic separability of Gaussian Mixture Models (GMMs) in high dimensions by extending the classical Feldman-H\'ajek theorem. We first prove that a countable mixture of Gaussian…

We use $\diamondsuit$ to construct, for every $\alpha\leq\omega_1$ a sequential countably compact topological group of sequential order $\alpha$. This establishes the independence of the existence of sequential countably compact non…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

If T is an ergodic automorphism of a Lebesgue probability space (X,A,m), the set of coboundries B = db =T(b)+b with symmetric difference + form a subgroup of the set of cocycles A. Using tools from descriptive set theory, Greg Hjorth showed…

We analyse partitions of products with two ordered factors in two classes where both factors are countable or well-ordered and at least one of them is countable. This relates the partition properties of these products to cardinal…

A natural way to measure the power of a distributed-computing model is to characterize the set of tasks that can be solved in it. %the model. In general, however, the question of whether a given task can be solved in a given model is…