Related papers: $I$-regularity, determinacy, and $\infty$-Borel se…

Let $I\subseteq R=\kk[x_1,...,x_n]$ be a homogeneous equigenerated ideal of degree $r$. We show here that the shapes of the Betti tables of the ideals $I^d$ stabilize, in the sense that there exists some $D$ such that for all $d\geq D$,…

The following extension of Bohr's theorem is established: If a somewhere convergent Dirichlet series $f$ has an analytic continuation to the half-plane $\mathbb{C}_\theta = \{s = \sigma+it\,:\, \sigma>\theta\}$ that maps $\mathbb{C}_\theta$…

We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…

A $\Sigma$-construction of Solovay is extended to the case of intermediate sets which are not necessarily subsets of the ground model, with a more transparent description of the resulting forcing notion than in the classical paper of…

We work in the Baire space $\mathbb{Z}^\omega$ equipped with the coordinate-wise addition $+$. Consider a $\sigma-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for…

In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the…

In this paper, we prove some sufficient conditions for Cohen-Macaulay normal Rees algebras to be $F$-rational. Let $(R,\mathfrak{m})$ be a Gorenstein normal local domain of dimension $d\geq 2$ and of characteristic $p > 0$. Let $I$ be a…

Let S=K[x_1,..., x_n], let A,B be finitely generated graded S-modules, and let m=(x_1,...,x_n). We give bounds for the Castelnuovo-Mumford regularity of the local cohomology of Tor_i(A,B) under the assumption that the Krull dimension of…

Given a radical ideal $I$ in a regular ring $R$, the Containment Problem of symbolic and ordinary powers of $I$ consists of determining when the containment $I^{(a)} \subseteq I^b$ holds. By work of Ein-Lazersfeld-Smith, Hochster-Huneke and…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

We show that the regularity of monomial ideals whose associated prime ideals are totally ordered by inclusion is linearly bounded.

Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…

We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of…

Given an ideal $\mathcal{I}$ on the positive integers, a real sequence $(x_n)$ is said to be $\mathcal{I}$-statistically convergent to $\ell$ provided that $$ \textstyle \left\{n \in \mathbf{N}: \frac{1}{n}|\{k \le n: x_k \notin U\}| \ge…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

Suppose $E \subseteq \mathbb{R}$ is nowhere dense. If $(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E)$ does not define every bounded Borel subset of every $\mathbb{R}^n$ then for every $s > 0$ we have $$ | \{ k \in…

In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…

We consider mainly the following version of set theory:"ZF + DC and for every $\lambda,\lambda^{\aleph_0}$ is well ordered", our thesis is that this is a reasonable set theory, e.g. much can be said. In particular, we prove that for a…