English
Related papers

Related papers: Free sequences in P({\omega})/fin

200 papers

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…

Logic · Mathematics 2026-03-05 Tapani Hyttinen , Gianluca Paolini , Davide Emilio Quadrellaro

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…

Logic · Mathematics 2016-09-06 Apoloniusz Tyszka

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…

Logic · Mathematics 2025-04-30 Vera Fischer , Sy David Friedman , David Schrittesser , Asger Törnquist

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,…

Logic · Mathematics 2021-10-19 Taras Banakh

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…

Logic · Mathematics 2019-07-09 Sean Cox , John Krueger

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…

General Mathematics · Mathematics 2014-05-16 Michael Pfender

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…

Logic · Mathematics 2019-02-19 Juan Carlos Martinez , Lajos Soukup

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…

Category Theory · Mathematics 2016-01-19 Tibor Beke , Jiri Rosicky

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…

Logic · Mathematics 2025-08-13 S. Braunfeld , J. Nešetřil , P. Ossona de Mendez

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…

Classical Analysis and ODEs · Mathematics 2017-10-06 Giovanni Alberti , Martino Ottolini

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…

Analysis of PDEs · Mathematics 2026-01-28 Gianni Dal Maso , Davide Donati

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\)…

Number Theory · Mathematics 2014-10-22 Jason P. Bell , Michael Coons , Kevin G. Hare

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: \[…

Analysis of PDEs · Mathematics 2024-11-01 Nicola Soave , Susanna Terracini

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…

Logic · Mathematics 2011-02-21 M. E. Malliaris

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…

Analysis of PDEs · Mathematics 2025-05-09 Mark Allen , Dennis Kriventsov , Henrik Shahgholian

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…

Commutative Algebra · Mathematics 2010-10-27 János Kollár

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…

Analysis of PDEs · Mathematics 2017-04-04 Nicola Garofalo , Xavier Ros-Oton

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,…

Combinatorics · Mathematics 2010-05-26 Gautami Bhowmik , Immanuel Halupczok , Jan-Christoph Schlage-Puchta