English
Related papers

Related papers: Possible pcf algebras

200 papers

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

Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…

Operator Algebras · Mathematics 2025-02-26 Huaxin Lin

Recent work of Fili and the author examines an ultrametric version of the Mahler measure, denoted $M_\infty(\alpha)$ for an algebraic number $\alpha$. We show that the computation of $M_\infty(\alpha)$ can be reduced to a certain search…

Number Theory · Mathematics 2025-04-02 Charles L. Samuels

For a given m>=1, we consider the finite non-abelian groups G for which |C_G(g):<g>|<=m for every g in G\Z(G). We show that the order of G can be bounded in terms of m and the largest prime divisor of the order of G. Our approach relies on…

Group Theory · Mathematics 2015-04-02 Gustavo A. Fernandez-Alcober , Leire Legarreta , Antonio Tortora , Maria Tota

For a given subset $A\subseteq \mathbb F_q^*$, we study the problem of finding a large packing set $B$ of $A$, that is, a set $B \subseteq \mathbb F_q^*$ such that $|AB|=|A||B|$. We prove the existence of such a $B$ of size $|B|\ge…

Combinatorics · Mathematics 2017-05-04 Oliver Roche-Newton , Ilya D. Shkredov , Arne Winterhof

We study partitions of complex numbers as sums of non-negative powers of a fixed algebraic number $\beta$. We prove that if $\beta$ is real quadratic, then the number of partitions is always finite if and only if some conjugate of $\beta$…

Number Theory · Mathematics 2024-05-21 Vítězslav Kala , Mikuláš Zindulka

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

Logic · Mathematics 2008-02-03 Saharon Shelah

Let $-1<\lambda<1$ and $f:[0,1)\to\mathbb{R}$ be a piecewise $\lambda$-affine map, that is, there exist points $0=c_0<c_1<\cdots <c_{n-1}<c_n=1$ and real numbers $b_1,\ldots,b_n$ such that $f(x)=\lambda x+b_i$ for every $x\in…

Dynamical Systems · Mathematics 2022-02-02 Arnaldo Nogueira , Benito Pires , Rafael A. Rosales

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…

Group Theory · Mathematics 2023-06-22 Ilya Gorshkov

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

Logic in Computer Science · Computer Science 2015-07-01 Alexander Kurz , Daniela Luan Petrişan , Paula Severi , Fer-Jan de Vries

We prove in ZFC, no psi in L_{omega_1,omega}[Q] have unique model of uncountable cardinality, this confirms theBaldwin conjecture. But we analyze this in more general terms. We introduce and investigate a.e.c. and also versions of limit…

Logic · Mathematics 2007-05-30 Saharon Shelah

We use the lexicographic order to define a hierarchy of primal and dual bounds on the optimum of a bounded integer program. These bounds are constructed using lex maximal and minimal feasible points taken under different permutations. Their…

Discrete Mathematics · Computer Science 2023-04-27 Michael Eldredge , Akshay Gupte

Bent functions as optimal combinatorial objects are difficult to characterize and construct. In the literature, bent idempotents are a special class of bent functions and few constructions have been presented, which are restricted by the…

Information Theory · Computer Science 2015-08-25 Chunming Tang , Yanfeng Qi , Zhengchun Zhou , Cuiling Fan

A bornology $\mathcal{B}$ on a set $X$ is called minmax if the smallest and the largest coarse structures on $X$ compatible with $\mathcal{B}$ coincide. We prove that $\mathcal{B}$ is minmax if and only if the family $\mathcal…

General Topology · Mathematics 2021-11-02 Taras Banakh , Igor Protasov

We consider countable so-called rich subsemigroups of (\omega\omega,\circ); each such semigroup $T$ gives a variety CPEA_T that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of \omega-dimensional…

Logic · Mathematics 2015-03-03 Tarek Sayed Ahmed

We discuss the relationship between perfect sets of random reals, dominating reals, and the product of two copies of the random algebra B. Recall that B is the algebra of Borel sets of 2^omega modulo the null sets. Also given two models M…

Logic · Mathematics 2008-02-03 Jörg Brendle , Haim Judah

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

It is shown that Martin's Axiom for sigma-centred partial orders implies that every maximal orthogonal family in R^N is of size 2^{aleph_0}

Logic · Mathematics 2007-05-23 Saharon Shelah

We describe a proof-theoretic bound on $Sigma_{2}$-definable countable ordinals in Kripke-Platek set theory with $Pi_{1}$-Collection and the existence of $omega_{1}$.

Logic · Mathematics 2015-08-10 Toshiyasu Arai

Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. The simplest examples, the one-indexed orthogonal polynomials, are the infinite…

Mathematical Physics · Physics 2015-05-28 Satoru Odake , Ryu Sasaki