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

Let $\omega$ be a sequence of positive integers. Given a positive integer $n$, we define $$ r_n(\omega) = | \{ (a,b)\in \mathbb{N}\times \mathbb{N}\colon a,b \in \omega, a+b = n, 0 <a<b \}|. $$ S. Sidon conjectured that there exists a…

We characterize stability under composition of ultradifferentiable classes defined by weight sequences $M$, by weight functions $\omega$, and, more generally, by weight matrices $\mathfrak{M}$, and investigate continuity of composition…

We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show…

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that $\kappa,\lambda$ are infinite cardinals such that $\kappa^{+++} \leq \lambda$, $\kappa^{<\kappa}=\kappa$ and $2^{\kappa}= \kappa^+$, and…

We study several ideal-based constructions in the context of singular stationarity. By combining methods of strong ideals, supercompact embeddings, and Prikry-type posets, we obtain three consistency results concerning mutually stationary…

We give a comprehensive treatment of the parabolic Signorini problem based on a generalization of Almgren's monotonicity of the frequency. This includes the proof of the optimal regularity of solutions, classification of free boundary…

The freely rotating chain is one of the classic discrete models of a polymer in dilute solution. It consists of a broken line of N straight segments of fixed length such that the angle between adjacent segments is constant and the N-1…

This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions $u$ and $v$, and a domain $\Omega$; with $u$ and $v$ being both positive…

In this paper we study the fully nonlinear free boundary problem $$ {{array}{ll} F(D^2u)=1 & \text{a.e. in}B_1 \cap \Omega |D^2 u| \leq K & \text{a.e. in}B_1\setminus\Omega, {array}. $$ where $K>0$, and $\Omega$ is an unknown open set. Our…

We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets,…

In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…

We show that it is relatively consistent with ZFC that 2^omega is arbitrarily large and every sequence s=(s_i:i<omega_2) of infinite cardinals with s_i<=2^omega is the cardinal sequence of some locally compact scattered space.

In this paper we consider a smooth bounded domain $\Omega \subset \R^N$ and a parametric family of radially symmetric kernels $K_\epsilon: \R^N \to \R_+$ such that, for each $\epsilon \in (0,1)$, its $L^1-$norm is finite but it blows up as…

We study the zero sets of the independence polynomial on recursive sequences of graphs. We prove that for a maximally independent starting graph and a stable and expanding recursion algorithm, the zeros of the independence polynomial are…

Let $(X, \mathcal{B},\mu,T)$ be an ergodic measure preserving system, $A \in \mathcal{B}$ and $\epsilon>0$. We study the largeness of sets of the form \begin{equation*} \begin{split} S = \left\{ n\in\mathbb{N}\colon\mu(A\cap…

We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(\Omega;\mathbb{R}^m)$ or $v \in C_0(\Omega;\mathbb{R}^m)$, i.e. we characterize…

We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a…

In this paper, we exploit the theory of dense graph limits to provide a new framework to study the stability of graph partitioning methods, which we call structural consistency. Both stability under perturbation as well as asymptotic…