English
Related papers

Related papers: mu-complete Suslin trees on mu^+

200 papers

For $\mu$ an edge percolation measure on the infinite square lattice, let $\mu_{\textit{hp}}$ (respectively, $\mu^*_{hp}$) denote its marginal (respectively, the marginal of its planar dual process) on the upper half-plane. We show that if…

Probability · Mathematics 2026-02-13 Frederik Ravn Klausen , Noah Kravitz

We study the probability measure $\mu_{0}$ for which the moment sequence is $\binom{3n}{n}\frac{1}{n+1}$. We prove that $\mu_{0}$ is absolutely continuous, find the density function and prove that $\mu_{0}$ is infinitely divisible with…

Probability · Mathematics 2013-12-12 Wojciech Mlotkowski , Karol A. Penson

In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu, to explicitly denote solutions of recursive equations like…

Logic in Computer Science · Computer Science 2011-02-02 Wil Dekkers

For uncountable downwards closed subtrees $U$ and $W$ of an $\omega_1$-tree $T$, we say that $U$ and $W$ are strongly almost disjoint if their intersection is a finite union of countable chains. The tree $T$ is strongly non-saturated if…

Logic · Mathematics 2025-09-09 John Krueger , Eduardo Martinez Mendoza

To investigate the topological structure of Morse flows with a sink on the 2-sphere we use the planar tree as complete topological invariant of the flow. We give a list of all planar tree with at least 7 edges. We use a list of rooted…

Dynamical Systems · Mathematics 2023-05-03 Oleksandr Pryshliak

Let R be a commutative ring with identity and M be an R-module. In this paper, we will introduce the concept of 2-irreducible (resp., strongly 2- irreducible) submodules of M as a generalization of irreducible (resp., strongly irreducible)…

Commutative Algebra · Mathematics 2019-05-27 Faranak Farshadifar , Habibollah Ansari-Toroghy

Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a…

Logic · Mathematics 2016-09-06 Mirna Džamonja , Saharon Shelah

We compute the continuous bounded cohomology of the full automorphism groups of regular trees in all positive degrees, with coefficients arising from any irreducible continuous unitary representations. To the author's knowledge, this seems…

Group Theory · Mathematics 2026-01-08 Cunyuan Zhao

We make an analogy of Culler-Morgan-Shalen theory. Our main goal is to show that there exists a non-empty system of essential 2-suborbifolds respecting a given splitting of the orbifold fundamental group.

Geometric Topology · Mathematics 2012-06-12 Yoshihiro Takeuchi , Misako Yokoyama

A $\kappa$-tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $\kappa$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit…

Logic · Mathematics 2024-03-01 Assaf Rinot , Shira Yadai , Zhixing You

We consider the logic MSO+U, which is monadic second-order logic extended with the unbounding quantifier. The unbounding quantifier is used to say that a property of finite sets holds for sets of arbitrarily large size. We prove that the…

Logic in Computer Science · Computer Science 2015-02-18 Mikołaj Bojańczyk , Paweł Parys , Szymon Toruńczyk

We prove in particular that if A be a compact convex subset of R^n, and B from R^n be an arbitrary compact set then \mu (A-A) \ll \mu(A+B)^2 / (\sqrt{n} \mu (A)), provided that \mu(B)\ge \mu(A).

Combinatorics · Mathematics 2016-05-25 Tomasz Schoen , Ilya D. Shkredov

We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…

Algebraic Topology · Mathematics 2025-04-30 Ruizhi Huang

It is consistent that there exists a Souslin tree $T$ such that after forcing with it, $T$ becomes an almost Souslin Kurepa tree. This answers a question of Zakrzewski.

Logic · Mathematics 2015-10-13 Mohammad Golshani

It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…

Logic · Mathematics 2017-11-17 Gunter Fuchs , Assaf Rinot

Let $\mu$ be a self-conformal measure on $\mathbb{R}^d$. In this note we establish conditions for $\mu$ under which $\dim(\mu*\nu) = \min\lbrace d,\dim\mu+\dim\nu\rbrace$ holds when $\nu$ is any Ahlfors-regular or self-conformal measure on…

Dynamical Systems · Mathematics 2025-11-19 Aleksi Pyörälä

We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of…

Combinatorics · Mathematics 2019-10-07 Tricia Muldoon Brown

U duality transformations must act on a basis of states that form complete multiplets of the U group, at any coupling, even though the states may not be mass degenerate, as for a broken symmetry. Similarly, if superstring theory is related…

High Energy Physics - Theory · Physics 2009-10-30 Itzhak Bars

We introduce the idea of a weakly entangled linear order, and show that it is consistent for a Suslin line to be weakly entangled. We generalize the notion of entangled linear orders to $\omega_1$-trees, and prove that an $\omega_1$-tree is…

Logic · Mathematics 2020-04-28 John Krueger

We classify the possible finite symmetries of conformal field theories with an affine Lie algebra su(2) and su(3), and discuss the results from the perspective of the graphs associated with the modular invariants. The highlights of the…

High Energy Physics - Theory · Physics 2009-10-31 S. Lienart , P. Ruelle , O. Verhoeven