English
Related papers

Related papers: Aronszajn trees, square principles, and stationary…

200 papers

We introduce a notion of $\mu$-structures which are certain locally compact group actions and prove some counterparts of results on Polish structures(introduced by Krupinski in \cite{Kru5}). Using the Haar measure of locally compact groups,…

Logic · Mathematics 2018-06-19 Junguk Lee , Michael Cohen , Phillip Wesolek

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

Massive gravity models in 2+1 dimensions, such as those obtained by adding to Einstein's gravity the usual Fierz-Pauli, or the more complicated Ricci scalar squared ($R^2$), terms, are tree level unitary. Interesting enough these seemingly…

High Energy Physics - Theory · Physics 2009-11-10 Antonio Accioly , Marco Dias

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $\nu$ such that the singular cardinal hypothesis fails at $\nu$ and every collection of fewer than $\mathrm{cf}(\nu)$…

Logic · Mathematics 2023-09-13 Omer Ben-Neria , Yair Hayut , Spencer Unger

We study quantum causal structures in $1+1$ $\kappa$-Minkowski space-time described by a Lorentzian Spectral Triple whose Dirac operator is built from a natural set of twisted derivations of the $\kappa$-Poincar\'e algebra. We show that the…

Mathematical Physics · Physics 2023-07-24 Nicolas Franco , Kilian Hersent , Valentine Maris , Jean-Christophe Wallet

We analyze a countable support product of a free Suslin tree which turns it into a highly rigid Kurepa tree with no Aronszajn subtree. In the process, we introduce a new rigidity property for trees, which says roughly speaking that any…

Logic · Mathematics 2025-09-17 John Krueger

We construct discrete versions of $\kappa$-Minkowski space related to a certain compactness of the time coordinate. We show that these models fit into the framework of noncommutative geometry in the sense of spectral triples. The dynamical…

High Energy Physics - Theory · Physics 2011-11-28 Bruno Iochum , Thierry Masson , Thomas Schücker , Andrzej Sitarz

We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.

Logic · Mathematics 2021-07-01 Yair Hayut , Spencer Unger

The primary aim of this thesis is to investigate metrics which are induced by a differential form and arise as a critical point of Hitchin's variational principle. Firstly, we investigate metrics associated with the structure group PSU(3)…

Differential Geometry · Mathematics 2007-05-23 Frederik Witt

Bounded stationary reflection at a cardinal $\lambda$ is the assertion that every stationary subset of $\lambda$ reflects but there is a stationary subset of $\lambda$ that does not reflect at arbitrarily high cofinalities. We produce a…

Logic · Mathematics 2015-05-14 Chris Lambie-Hanson

We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(\kappa)$, for $\kappa$…

Functional Analysis · Mathematics 2012-10-03 Costas Poulios

The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles…

Logic · Mathematics 2022-09-13 Chris Lambie-Hanson , Andy Zucker

We identify a class of singular algebraic foliations whose leaves through singular points retain regularity. The proof consists in showing existence of residual gerbes for certain formal stacks, which do not enjoy smooth presentations. As…

Algebraic Geometry · Mathematics 2025-10-24 Federico Bongiorno

We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and…

Logic · Mathematics 2016-01-19 Mohammad Golshani

Some results from arguments of research dealt with R. Raczka are exposed and extended. In particular new arguments are brought in favor of the conjecture, formulated with him, that both space-time and momentum may be conformally…

High Energy Physics - Theory · Physics 2010-12-13 Paolo Budinich

We introduce an abstract framework for forcing over a free Suslin tree with suborders of products of forcings which add some structure to the tree using countable approximations. The main ideas of this framework are consistency, separation,…

Logic · Mathematics 2025-01-20 John Krueger , Sarka Stejskalova

We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there…

Logic · Mathematics 2016-09-06 William J. Mitchell

Explicit solutions of the non-constant semi-dynamical reflection equation are constructed, together with suitable parametrizations of their structure matrices. Considering the semi-dynamical reflection equation with rational non-constant…

Quantum Algebra · Mathematics 2009-11-13 J. Avan , C. Zambon

We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in 2014.…

Spectral Theory · Mathematics 2022-03-31 Tanay Wakhare , Charles R. Johnson

Hellsten \cite{MR2026390} proved that when $\kappa$ is $\Pi^1_n$-indescribable, the \emph{$n$-club} subsets of $\kappa$ provide a filter base for the $\Pi^1_n$-indescribability ideal, and hence can also be used to give a characterization of…

Logic · Mathematics 2020-01-31 Brent Cody , Victoria Gitman , Chris Lambie-Hanson