Related papers: Free sequences in P({\omega})/fin
We investigate the relationship between the Eklof-Mekler-Shelah Construction Principle for a variety of algebras $\mathbf{V}$ and the question of superstability of the free objects in $\mathbf{V}$, denoted as $\mathcal{F}_\mathbf{V}$. We…
We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of…
We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and…
In this paper we are interested in finding and evaluating cardinal characteristics of the continuum that appear in large-scale topology, usually as the smallest weights of coarse structures that belong to certain classes (indiscrete,…
We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements. In this paper we focus on the case $k=p$ and…
We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…
The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory, main result here, built on recursive evaluation of p. r. map…
We prove {the first} regularity theorem for the free boundary of solutions to shape optimization problems involving integral functionals, for which the energy of a domain $\Omega$ is obtained as the integral of a cost function $j(u,x)$…
For any regular cardinal $\kappa$ and ordinal $\eta<\kappa^{++}$ it is consistent that $2^{\kappa}$ is as large as you wish, and every function $f:\eta \to [\kappa,2^{\kappa}]\cap Card$ with $f(\alpha)=\kappa$ for $cf(\alpha)<\kappa$ is the…
The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The…
We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by parameter-definable sets of $\mathbf M$ in each…
The main results in this note concern the characterization of the length of continua 1 (Theorems 2.5) and the parametrization of continua with finite length (Theorem 4.4). Using these results we give two independent and relatively…
We study the $\Gamma$-convergence of sequences of free discontinuity functionals with linear growth defined in the space ${\rm BD}$ of functions with bounded deformation. We prove a compactness result with respect to $\Gamma$-convergence…
We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\)…
We consider triplets of densities $(u_1,u_2,u_3)$ minimizing the Dirichlet energy \[\sum_{j=1}^3 \int_{\Omega} |\nabla u_j|^2\,dx \] over a bounded domain $\Omega\subset \mathbb{R}^N$, subject to the partial segregation condition: \[…
The characteristic sequence of hypergraphs $<P_n : n<\omega>$ associated to a formula $\phi(x;y)$, introduced in [arXiv:0908.4111], is defined by $P_n(y_1,... y_n) = (\exists x) \bigwedge_{i\leq n} \phi(x;y_i)$. This paper continues the…
We investigate general semilinear (obstacle-like) problems of the form $\Delta u = f(u)$, where $f(u)$ has a singularity/jump at $\{u=0\}$ giving rise to a free boundary. Unlike many works on such equations where $f$ is approximately…
We give a purely algebraic construction of the continuous closure of any finitely generated torsion free module; a concept first studied by H.~Brenner and M.~Hochster. The construction implies that, at least in characteristic 0, taking…
We study the singular part of the free boundary in the obstacle problem for the fractional Laplacian, \ $\min\bigl\{(-\Delta)^su,\,u-\varphi\bigr\}=0$ in $\mathbb R^n$, for general obstacles $\varphi$. Our main result establishes the…
Let n be an integer, and consider finite sequences of elements of the group Z/nZ x Z/nZ. Such a sequence is called zero-sum free, if no subsequence has sum zero. It is known that the maximal length of such a zero-sum free sequence is 2n-2,…