English
Related papers

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

200 papers

We discuss sufficiently fast-growing sequences of Turing degrees. The key result is that, assuming sufficient determinacy, if $\phi$ is a formula with one free variable, and S and T are sufficiently fast-growing sequences of Turing degrees…

Logic · Mathematics 2016-12-15 Dmytro Taranovsky

For every pattern $P$, consisting of a finite set of points in the plane, $S_{P}(n,m)$ is defined as the largest number of similar copies of $P$ among sets of $n$ points in the plane without $m$ points on a line. A general construction,…

Combinatorics · Mathematics 2011-02-28 Bernardo M. Ábrego , Silvia Fernández-Merchant

A sequence $Z$ in the complex plane $\C$ is called a zero sequence for the Fock space $F^p_\alpha$ if there exists a function $f\in F^p_\alpha$, not identically zero, such that $Z$ is the zero set of $f$, counting multiplicities. We show…

Complex Variables · Mathematics 2011-10-12 Kehe Zhu

A group G that is not finitely generated can be written as the union of a chain of proper subgroups. The cofinality spectrum of G, written CF(S), is the set of regular cardinals lambda such that G can be expressed as the union of a chain of…

Logic · Mathematics 2016-09-06 Saharon Shelah , Simon Thomas

A function $f:X\to Y$ between topological spaces is called $\sigma$-$continuous$ (resp. $\bar\sigma$-$continuous$) if there exists a (closed) cover $\{X_n\}_{n\in\omega}$ of $X$ such that for every $n\in\omega$ the restriction…

General Topology · Mathematics 2021-11-01 Taras Banakh

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…

Commutative Algebra · Mathematics 2012-03-20 Mitsuyasu Hashimoto

For any $\Omega\subset \mathbb{R}^N$ smooth and bounded domain, we prove uniqueness of positive solutions of free boundary problems arising in plasma physics on $\Omega$ in a neat interval depending only by the best constant of the Sobolev…

Analysis of PDEs · Mathematics 2021-10-29 Daniele Bartolucci , Aleks Jevnikar

The notion of $P$-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While…

Combinatorics · Mathematics 2024-12-18 Péter L. Erdős , István Miklós , Lajos Soukup

In this paper we study nonnegative minimizers of general degenerate elliptic functionals, $\int F(X,u,Du) dX \to \min$, for variational kernels $F$ that are discontinuous in $u$ with discontinuity of order $\sim \chi_{\{u > 0 \}}$. The…

Analysis of PDEs · Mathematics 2011-11-14 Raimundo Leitão , Eduardo V. Teixeira

For $\mu, \kappa$ infinite, say $\mathcal{A}\subseteq [\kappa]^\kappa$ is a $(\mu,\kappa)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<\mu}$ then…

Logic · Mathematics 2021-03-09 Monroe Eskew , Vera Fischer

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely…

Logic in Computer Science · Computer Science 2019-06-28 Jiri Adamek

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

Commutative Algebra · Mathematics 2024-10-03 Tony J. Puthenpurakal

Scale-free percolation is a percolation model on $\mathbb{Z}^d$ which can be used to model real-world networks. We prove bounds for the graph distance in the regime where vertices have infinite degrees. We fully characterize transience vs.…

Probability · Mathematics 2018-01-11 Markus Heydenreich , Tim Hulshof , Joost Jorritsma

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…

Logic · Mathematics 2013-05-27 Dilip Raghavan , Stevo Todorcevic

We study the maximal cross number $\mathsf{K}(G)$ of a minimal zero-sum sequence and the maximal cross number $\mathsf{k}(G)$ of a zero-sum free sequence over a finite abelian group $G$, defined by Krause and Zahlten. In the first part of…

Number Theory · Mathematics 2015-06-01 Bumsoo Kim

In this paper we study the regularity of the optimal sets for the shape optimization problem \[ \min\Big\{\lambda_1(\Omega)+\dots+\lambda_k(\Omega)\ :\ \Omega\subset\mathbb{R}^d,\ \text{open}\ ,\ |\Omega|=1\Big\}, \] where…

Analysis of PDEs · Mathematics 2017-01-23 Dario Mazzoleni , Susanna Terracini , Bozhidar Velichkov

Let $F(X)$ be the supremum of cardinalities of free sequences in $X$. We prove that the radial character of every Lindel\"of Hausdorff almost radial space $X$ and the set-tightness of every Lindel\"of Hausdorff space are always bounded…

General Topology · Mathematics 2020-10-06 Santi Spadaro

Let $(R, \mathfrak m)$ be a Noetherian local ring. In this work we use the notion of (FC)-sequences, as defined in \cite{perez-bedregal1}, to present some results concerning reductions and the positivity of mixed multiplicities of a finite…

Commutative Algebra · Mathematics 2011-09-26 R. Callejas-Bedregal , V. H. Jorge Pérez