English
Related papers

Related papers: Polarized relations at singulars over successors

200 papers

We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in {\sf ZFC} that…

Logic · Mathematics 2022-12-19 Todd Eisworth

A general theorem due to Howe of dual action of a classical group and a certain non-associative algebra on a space of symmetric or alternating tensors is reformulated in a setting of second quantization, and familiar examples in atomic and…

Mathematical Physics · Physics 2020-12-29 K. Neergård

This paper proves the existence of a dichotomy which being formally derived from the topological successiveness of w-order leads to the same absurdity of Zeno's Dichotomy II. It also derives a contradictory result from the first Zeno's…

General Mathematics · Mathematics 2009-11-23 Antonio Leon

In this paper we give a conditional improvement to the Elekes-Szab\'{o} problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of…

Combinatorics · Mathematics 2020-10-20 Mehdi Makhul , Oliver Roche-Newton , Sophie Stevens , Audie Warren

In the present note we obtain new results on two conjectures by Csordas et al. regarding the interlacing property of zeros of special polynomials. These polynomials came from the Jacobi tau methods for the Sturm-Liouville eigenvalue…

Classical Analysis and ODEs · Mathematics 2016-03-24 Alexander Dyachenko , Galina van Bevern

We build a variant of Collatz Conjecture for polynomials over $\mathbb{F}_2$ and we prove that it is solved. By the way, we give several examples.

Number Theory · Mathematics 2023-09-01 Luis H. Gallardo , Olivier Rahavandrainy

Previously, we introduced a duality transformation for Euler $G$--Frobenius algebras. Using this transformation, we prove that the simple $A,D,E$ singularities and Pham singularities of coprime powers are mirror self--dual where the mirror…

Algebraic Geometry · Mathematics 2007-05-23 Ralph M. Kaufmann

We show that in the aleph_2-stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of…

Logic · Mathematics 2007-05-23 Sakae Fuchino , Heike Mildenberger , Saharon Shelah , Peter Vojtas

In analogy with the Riemann zeta function at positive integers, for each finite field F_p^r with fixed characteristic p we consider Carlitz zeta values zeta_r(n) at positive integers n. Our theorem asserts that among the zeta values in…

Number Theory · Mathematics 2022-02-22 Chieh-Yu Chang , Matthew A. Papanikolas , Jing Yu

Let $\mu$ be a strong limit singular cardinal. We prove that if $2^{\mu} > \mu^+$ then $\binom{\mu^+}{\mu}\to \binom{\tau}{\mu}_{<{\rm cf}(\mu)}$ for every ordinal $\tau<\mu^+$. We obtain an optimal positive relation under $2^\mu = \mu^+$,…

Logic · Mathematics 2024-01-02 Shimon Garti , Andrés Villaveces

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

Logic · Mathematics 2016-09-07 Saharon Shelah

We study a natural analogue of Collatz's Conjecture for polynomials over $\mathbb{F}_2$.

Number Theory · Mathematics 2025-10-10 Luis H. Gallardo , Olivier Rahavandrainy

We study the dependence of solutions of equations of the form $a_0 + a_1 z^{\ell_1} + ... + a_m z^{\ell_m} = 0$, on the exponents $\ell_1, ..., \ell_m$. We apply our results to equations that appear in graph theory, the theory of…

Geometric Topology · Mathematics 2014-10-15 Asaf Hadari

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

Logic · Mathematics 2016-02-02 Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

In this paper, we show that, for each $p>1$, there are continuum many Borel equivalence relations between $\Bbb R^\omega/\ell_1$ and $\Bbb R^\omega/\ell_p$ ordered by $\le_B$ which are pairwise Borel incomparable.

Logic · Mathematics 2011-05-24 Longyun Ding , Zhi Yin

We show that it is relatively consistent with ZF that the Borel hierarchy on the reals has length $\omega_2$. This implies that $\omega_1$ has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument…

Logic · Mathematics 2007-05-23 Arnold W. Miller

In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…

Logic · Mathematics 2024-08-13 Thomas Gilton , Šárka Stejskalová

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

Formal Languages and Automata Theory · Computer Science 2022-09-08 L. Schaeffer , J. Shallit

We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $\alpha$ with $cf(\alpha)=\omega_1$ and…

Logic · Mathematics 2015-06-26 Mohammad Golshani

Jing Zhang proved the consistency of $\binom{\omega_2}{\omega_1}\rightarrow\binom{n}{\omega_1}_\omega$ for every $n\in\omega$ with the negative relation $\binom{\omega_2}{\omega_1}\nrightarrow\binom{\omega}{\omega_1}_\omega$. We reduce the…

Logic · Mathematics 2025-05-07 Shimon Garti , Saharon Shelah