English
Related papers

Related papers: On strong chains of sets and functions

200 papers

We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $\theta(\kappa)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is…

Logic · Mathematics 2016-07-04 Anne Fernengel , Peter Koepke

Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3…

Logic · Mathematics 2009-09-25 Ralf Schindler

We show that the existence of a well-known type of ideals on a regular cardinal $\lambda$ implies a compactness property concerning the specialisability of a tree of height $\lambda$ with no cofinal branches. We also use Neeman's method of…

Logic · Mathematics 2023-07-19 Rahman Mohammadpour

Green and Sisask showed that the maximal number of $3$-term arithmetic progressions in $n$-element sets of integers is $\lceil n^2/2\rceil$; it is easy to see that the same holds if the set of integers is replaced by the real line or by any…

Combinatorics · Mathematics 2023-02-08 Itai Benjamini , Shoni Gilboa

Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…

Logic · Mathematics 2022-01-28 Gabriel Goldberg

A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more…

Logic · Mathematics 2007-11-21 Rüdiger Göbel , Saharon Shelah

A forcing poset of size 2^{2^{aleph_1}} which adds no new reals is described and shown to provide a Delta^2_2 definable well-order of the reals (in fact, any given relation of the reals may be so encoded in some generic extension). The…

Logic · Mathematics 2007-05-23 Uri Abraham , Saharon Shelah

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal of degree $d\leq 2$. We show that $(I^{k+1}:I)=I^k$ for all $k\geq 1$ and we disprove a motivation question that was appeared in…

Commutative Algebra · Mathematics 2022-08-30 Amir Mafi , Hero Saremi

It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $<{\mathfrak c}^{+}$ which is increasing with respect to the Rudin-Keisler ordering is bounded above by a rapid P-point. This is an improvement…

Logic · Mathematics 2019-02-14 Dilip Raghavan , Jonathan L. Verner

Define $\theta(x)=(x-1)/3$ if $x\geq 1$, and $\theta(x)=2x/(1-x)$ if $x<1$. We conjecture that the orbit of every positive rational number ends in 0. In particular, there does not exist any positive rational fixed point for a map in the…

Number Theory · Mathematics 2010-10-19 Mohammad Javaheri

Let $M$ be a finite module over a commutative noetherian ring $R$. For ideals $\fa$ and $\fb$ of $R$, the relations between cohomological dimensions of $M$ with respect to $\fa, \fb$, $\fa\cap\fb$ and $\fa+ \fb$ are studied. When $R$ is…

Commutative Algebra · Mathematics 2019-08-15 Mohammad T. Dibaei , Alireza Vahidi

We prove a conjecture raised by Tsygan, namely the existence of an L-infinity-quasiisomorphism of L-infinity-modules between the cyclic chain complex of smooth functions on a manifold and the differential forms on that manifold. Concretely,…

Quantum Algebra · Mathematics 2014-01-16 Thomas Willwacher

We introduce the notion of pure extending modules, a refinement of classical extending modules in which only pure submodules are required to be essential in direct summands. Fundamental properties and characterizations are established,…

Rings and Algebras · Mathematics 2025-11-03 Kaushal Gupta , Theophilus Gera , Amit Sharma , Ashok Ji Gupta

Jech proved that every partially ordered set can be embedded into the cardinals of some model of $ZF$. We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of $ZF+DC_{<\kappa}$ for…

Logic · Mathematics 2014-06-17 Asaf Karagila

In this paper, we study the asymptotic behavior of lengths of $\tor$ modules of homologies of complexes under the iterations of the Frobenius functor in positive characteristic. We first give upper bounds to this type of length functions in…

Commutative Algebra · Mathematics 2007-05-23 Jinjia Li

We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…

Logic · Mathematics 2019-12-10 Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

We show that for any finite-rank free group $\Gamma$, any word-equation in one variable of length $n$ with constants in $\Gamma$ fails to be satisfied by some element of $\Gamma$ of word-length $O(\log (n))$. By a result of the first…

Group Theory · Mathematics 2023-08-31 Henry Bradford , Jakob Schneider , Andreas Thom

In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $\omega^\omega$. Big Ramsey degrees of finite chains in…

Combinatorics · Mathematics 2019-07-29 Dragan Mašulović , Branislav Šobot

We study extension operators between spaces $\sigma_n(2^X)$ of subsets of $X$ of cardinality at most $n$. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space $H$, equipped with the weak topology, then,…

Functional Analysis · Mathematics 2015-02-09 Antonio Avilés , Witold Marciszewski

In this paper we focus on modules over a finite chain ring $\mathcal{R}$ of size $q^s$. We compute the density of free modules of $\mathcal{R}^n$, where we separately treat the asymptotics in $n,q$ and $s$. In particular, we focus on two…

Information Theory · Computer Science 2022-02-09 Eimear Byrne , Anna-Lena Horlemann , Karan Khathuria , Violetta Weger