Related papers: Reduced powers of Souslin trees

This paper derives a unifying theorem establishing consistency results for a broad class of tree-based algorithms. It improves current results in two aspects. First of all, it can be applied to algorithms that vary from traditional Random…

To eliminate gravitational non-Gaussianity, we introduce the $\mathcal{Z}$-$\kappa$ transform, a simple local nonlinear transform of the matter density field that emulates the inverse of nonlinear gravitational evolution. Using $N$-body…

Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an $\omega_2$-Aronszajn tree, the $\omega_1$-approachability property fails, and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$…

There is a one-to-one correspondence between natural numbers and rooted trees; the number is called the Matula number of the rooted tree. We show how a large number of properties of trees can be obtained directly from the corresponding…

We study randomly growing trees governed by the affine preferential attachment rule. Starting with a seed tree $S$, vertices are attached one by one, each linked by an edge to a random vertex of the current tree, chosen with a probability…

We recently introduced the recursive divisor function $\kappa_x(n)$, a recursive analogue of the usual divisor function. Here we calculate its Dirichlet series, which is ${\zeta(s-x)}/(2 - \zeta(s))$. We show that $\kappa_x(n)$ is related…

In this paper we analyse and compare two different notions of regularity for filters on complete Boolean algebras. We also announce two results from a forthcoming paper in preparation, which provide a characterization of Keisler's order in…

Let $T$ be a tree on $n$ vertices. We can regard the edges of $T$ as transpositions of the vertex set; their product (in any order) is a cyclic permutation. All possible cyclic permutations arise (each exactly once) if and only if the tree…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

We give examples of minimal extensions of the simplest SU(5) SUSY-GUT in which all squarks and sleptons of a family have different tree level masses at the unification scale. This phenomenon is general; it occurs when the quarks and leptons…

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

In this paper the Erdos-Rado theorem is generalized to the class of well founded trees. We define an equivalence relation on the class rs(infty)^{< aleph_0} (finite sequences of decreasing sequences of ordinals) with aleph_0 equivalence…

We embed the minimal left-right model SU(2)_L*SU(2)_R* U(1)_{B-L} into an SU(4)_W gauge group, and break the unified group via five-dimensional S^1/(Z_2*Z_2) orbifolding. Leptons are fitted into SU(4)_W multiplets and located on a symmetry…

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

Let $A$ be a commutative $k$-algebra over a field of $k$ and $\Xi$ a linear operator defined on $A$. We define a family of $A$-valued invariants $\Psi$ for finite rooted forests by a recurrent algorithm using the operator $\Xi$ and show…

In this article, we construct explicit examples of pairs of non-isomorphic trees with the same restricted $U$-polynomial for every $k$; by this we mean that the polynomials agree on terms with degree at most $k+1$. The main tool for this…

An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…

Let $T_\lambda$ be a Galton--Watson tree with Poisson($\lambda$) offspring, and let $A$ be a tree property. In this paper, are concerned with the regularity of the function $\mathbb{P}_\lambda(A):= \mathbb{P}(T_\lambda \vdash A)$. We show…

Let's fix a reasonable subsystem $T$ of arithmetic; why are natural extensions of $T$ pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. The goal of this work was to classify the recursive…

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…