$μ$-complete Souslin trees on $μ^+$

Menachem Kojman

DOI: https://doi.org/10.48550/arXiv.math/9209204

1992-09-10

Abstract:We prove that $\mu=\mu^{<\mu}$, $2^\mu=\mu^+$ and ``there is a non reflecting stationary subset of $\mu^+$ composed of ordinals of cofinality $<\mu$'' imply that there is a $\mu$-complete Souslin tree on $\mu^+$.

Logic

What problem does this paper attempt to address?

Full Souslin trees at small cardinals

Assaf Rinot,Shira Yadai,Zhixing You

2024-02-29

Abstract: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 Mahlo cardinal. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be $\aleph_3$ many full $\aleph_2$-trees such that the product of any countably many of them is an $\aleph_2$-Souslin tree.

Logic
Repeated X-ray Flaring Activity in Sagittarius A*

Guillaume Belanger,Andrea Goldwurm,Fulvio Melia,Farah Yusef-Zadeh,Philippe Ferrando,Delphine Porquet,Nicolas Grosso,Robert Warwick

DOI: https://doi.org/10.1086/497624

2005-08-19

Abstract:Investigating the spectral and temporal characteristics of the X-rays coming from Sagittarius A* (Sgr A*) is essential to our development of a more complete understanding of the emission mechanisms in this supermassive black hole located at the center of our Galaxy. Several X-ray flares with varying durations and spectral features have already been observed from this object. Here we present the results of two long XMM-Newton observations of the Galactic nucleus carried out in 2004, for a total exposure time of nearly 500 ks. During these observations we detected two flares from Sgr A* with peak 2-10 keV luminosities about 40 times (L ~ 9x10^34 erg s−1) above the quiescent luminosity: one on 2004 March 31 and another on 2004 August 31. The first flare lasted about 2.5 ks and the second about 5 ks. The combined fit on the Epic spectra yield photon indeces of about 1.5 and 1.9 for the first and second flare respectively. This hard photon index strongly suggests the presence of an important population of non-thermal electrons during the event and supports the view that the majority of flaring events tend to be hard and not very luminous.

Astrophysics
On the rigidity of Souslin trees and their generic branches

Hossein Lamei Ramandi

2023-06-18

Abstract:We show it is consistent that there is a Souslin tree $S$ such that after forcing with $S$, $S$ is Kurepa and for all clubs $C \subset \omega_1$, $S\upharpoonright C$ is rigid. This answers Fuchs's questions in Club degrees of rigidity and almost Kurepa trees. Moreover, we show it is consistent with $\diamondsuit$ that for every Souslin tree there is a dense $X \subset S$ which does not have a copy of $S$. This is related to a question due to Baumgartner.

Logic
Tree algebras and bisimulation-invariant MSO on finite graphs

Thomas Colcombet,Amina Doumane,Denis Kuperberg

2024-07-21

Abstract:We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a question that had remained open for several decades. The proof goes by translating the question to an algebraic framework, and showing that the languages of regular trees that are recognized by finitary tree algebras whose sorts zero and one are finite are the regular ones, ie. the ones expressible in mu-calculus. This corresponds for trees to a weak form of the key translation of Wilke algebras to omega-semigroup over infinite words, and was also a missing piece in the algebraic theory of regular languages of infinite trees since twenty years.

Logic in Computer Science
On $\mathscr{H}$-complete topological semilattices

S. Bardyla,O. Gutik

DOI: https://doi.org/10.48550/arXiv.1301.1152

2013-01-07

General Topology

Abstract:In the paper we describe the structure of $\mathscr{AH}$-completions and $\mathscr{H}$-completions of the discrete semilattices $(\mathbb{N},\min)$ and $(\mathbb{N},\max)$. We give an example of an $\mathscr{H}$-complete topological semilattice which is not $\mathscr{AH}$-complete. Also we construct an $\mathscr{H}$-complete topological semilattice of cardinality $\lambda$ which has $2^\lambda$ many open-and-closed continuous homomorphic images which are not $\mathscr{H}$-complete topological semilattices. The constructed examples give a negative answer to Question 17 from the paper J. W. Stepp, {\it Algebraic maximal semilattices}. Pacific J. Math. {\bf 58}:1 (1975), 243-248.
Aronszajn trees and maximality -- Part 2

Omer Ben-Neria,Menachem Magidor,Jouko Väänänen

2023-05-13

Abstract:Assuming the consistency of a weakly compact cardinal above a regular uncountable cardinal $\mu$, we prove the consistency of the existence of a wide $\mu^+$-Aronszajn tree, i.e. a tree of height and cardinality $\mu^+$ with no branches of length $\mu^+$, into which every wide $\mu^+$-Aronszajn tree can be embedded.

Logic
Demystifying $μ$

Bahareh Afshari,Graham E. Leigh,Guillermo Menéndez Turata

2024-01-02

Abstract:We develop the theory of illfounded and cyclic proof systems in the context of the modal $\mu$-calculus. A fine analysis of provability and admissibility bridges the finitary, cyclic and illfounded notions of proof for this logic and re-enforces the subtlety of two important normal form theorems: guardedness and disjunctiveness.

Logic,Logic in Computer Science
Maximal models up to the first measurable in ZFC

John T. Baldwin,Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.2111.01709

2021-11-03

Abstract:Theorem: There is a {\em complete sentence} $\phi$ of $L_{\omega_1,\omega}$ such that $\phi$ has maximal models in a set of cardinals $\lambda$ that is cofinal in the first measurable $\mu$ while $\phi$ has no maximal models in any $\chi \geq \mu$.

Logic
On MU-homology of connective models of higher Real K-theories

Christian Carrick,Michael A. Hill

2024-11-05

Abstract:We use the slice filtration to study the $MU$-homology of the fixed points of connective models of Lubin--Tate theory studied by Hill--Hopkins--Ravenel and Beaudry--Hill--Shi--Zeng. We show that, unlike their periodic counterparts $EO_n$, the $MU$ homology of $BP^{((G))}\langle m\rangle^G$ usually fails to be even and torsion free. This can only happen when the height $n=m|G|/2$ is less than $3$, and in the edge case $n=2$, we show that this holds for $tmf_0(3)$ but not for $tmf_0(5)$, and we give a complete computation of the $MU_*MU$-comodule algebra $MU_*tmf_0(3)$.

Algebraic Topology
On the $μ$-ordinary locus of a Shimura variety

Xuhua He,Sian Nie

DOI: https://doi.org/10.48550/arXiv.1705.08846

2017-06-12

Abstract:In this paper, we study the $\mu$-ordinary locus of a Shimura variety with parahoric level structure. Under the axioms in \cite{HR}, we show that $\mu$-ordinary locus is a union of some maximal Ekedahl-Kottwitz-Oort-Rapoport strata introduced in \cite{HR} and we give criteria on the density of the $\mu$-ordinary locus.

Algebraic Geometry,Number Theory,Representation Theory
The vanishing levels of a tree

Assaf Rinot,Shira Yadai,Zhixing You

2023-09-27

Abstract:We initiate the study of the spectrum $Vspec(\kappa)$ of sets that can be realized as the vanishing levels $V(T)$ of a normal $\kappa$-tree $T$. The latter is an invariant in the sense that if $T$ and $T'$ are club-isomorphic, then the symmetric difference of $V(T)$ and $V(T')$ is nonstationary. Additional features of this invariant imply that $Vspec(\kappa)$ is closed under finite unions and intersections. The set $V(T)$ must be stationary for an homogeneous normal $\kappa$-Aronszajn tree $T$, and if there exists a special $\kappa$-Aronszajn tree, then there exists one $T$ that is homogeneous and satisfies $V(T)=\kappa$ (modulo clubs). It is consistent (from large cardinals) that there is an $\aleph_2$-Souslin tree, and yet $V(T)$ is co-stationary for every $\aleph_2$-tree $\mathbf T$. Both $V(T)=\emptyset$ and $V(T)=\kappa$ (modulo clubs) are shown to be feasible using $\kappa$-Souslin trees even at some large cardinal close to a weakly compact. It is also possible to have a family of $2^\kappa$ many $\kappa$-Souslin trees for which the corresponding family of vanishing levels forms an antichain modulo clubs.

Logic
Complete $\mathcal{L}_{ω_1,ω}$-Sentences with Maximal Models in Multiple Cardinalities

John Baldwin,Ioannis Souldatos

DOI: https://doi.org/10.48550/arXiv.1508.06620

2018-08-09

Abstract:In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $L_{\omega_1,\omega}$-sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of $\kappa$ we construct sentences with maximal models in $\kappa$ and in one of $\kappa^+, \kappa^\omega, 2^\kappa$ and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.

Logic
$L(\mathbb{R})$ with Determinacy Satisfies the Suslin Hypothesis

William Chan,Stephen Jackson

DOI: https://doi.org/10.48550/arXiv.1803.08201

2018-03-22

Logic

Abstract:The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In particular, if $L(\mathbb{R}) \models \mathsf{AD}$, then $L(\mathbb{R})$ satisfies the Suslin hypothesis, which answers a question of Foreman.
Game semantics for the constructive $μ$-calculus

Leonardo Pacheco

2024-10-01

Abstract:We define game semantics for the constructive $\mu$-calculus and prove its equivalence to bi-relational semantics. As an application, we use the game semantics to prove that the $\mu$-calculus collapses to modal logic over the modal logic $\mathsf{IS5}$. We then show the completeness of $\mathsf{IS5}$ extended with fixed-point operators.

Logic,Logic in Computer Science
$μ$-Clubs OF $P_κ(λ)$ : Paradise on earth

Pierre Matet

DOI: https://doi.org/10.48550/arXiv.2308.14773

2023-08-28

Abstract:If $V = L$, and $\mu$, $\kappa$ and $\lambda$ are three infinite cardinals with $\mu = {\rm cf} (\mu) < \kappa = {\rm cf}(\kappa) \leq \lambda$, then, as shown in \cite{Heaven}, the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (\lambda^{< \kappa})$ are isomorphic if and only if ${\rm cf} (\lambda) \not= \mu$. Now in $L$, $\lambda^{< \kappa}$ equals $u (\kappa, \lambda)$ (the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$) equals $\lambda$ if ${\rm cf} (\lambda) \geq \kappa$, and $\lambda^+$ otherwise. We show that, in ZFC, there are many triples $(\mu, \kappa, \lambda)$ for which ($u (\kappa, \lambda) > \lambda$ and) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic.

Logic
Sullivan completions

Yves Felix,Steve Halperin

DOI: https://doi.org/10.48550/arXiv.1904.08712

2019-04-18

Abstract:The Sullivan construction associates to each path connected space or connected simplicial set, $X$, a special cdga, its minimal model $(\land V,d)$, and to each such cdga $\land W$ its geometric realisation $\langle \land W\rangle$. The composite of these constructions is the Sullivan completion, $X_{\mathbb Q}$, of $X$. In this paper we give a survey of the main properties of Sullivan completions, and include explicit examples.

Algebraic Topology
Saturation of reduced products

Ben De Bondt,Ilijas Farah,Alessandro Vignati

2024-01-23

Abstract:We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fréchet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not $\aleph_2$-saturated otherwise (regardless of whether the Continuum Hypothesis holds). This implies that $M$ is isomorphic to an ultrapower (associated with an ultrafilter on $\mathbb N$) if its theory is stable, even if the CH fails. We also improve a result of Farah and Shelah and prove that there is a forcing extension in which such reduced product $M$ is isomorphic to an ultrapower if and only if the theory of $M$ is stable. All of these conclusions apply for reduced products associated with $F_\sigma$ ideals or more general layered ideals. We also prove that a reduced product associated with the asymptotic density zero ideal $\mathcal Z_0$, or any other analytic P-ideal that is not $F_\sigma$, is not even $\aleph_1$-saturated if its theory is unstable.

Logic
Completeness of systems of inner functions

Nazar Miheisi

2024-07-22

Abstract:For two inner functions $\vartheta,\varphi\in H^\infty$, we give a simple sufficient condition for the system $\vartheta^m,\; \varphi^n$, $m,n\in\mathbb{Z}$, to be complete in the weak-$^*$ topology of $L^\infty(\mathbb{T})$. To be precise, we show that this system is complete whenever there is an arc $I$ of the unit circle $\mathbb{T}$ such that $\vartheta$ is univalent on $I$ and $\varphi$ is univalent on $\mathbb{T}\setminus I$. As an application of this result, we describe a class of analytic curves $\Gamma$ such that $(\Gamma, \mathcal{X})$ is a Heisenberg uniqueness pair, where $\mathcal{X}$ is the lattice cross $\{(m,n)\in\mathbb{Z}^2:\, mn=0\}$. Our main result extends a theorem of Hedenmalm and Montes-Rodríguez for atomic inner functions with one singularity.

Functional Analysis,Complex Variables
An almost Kurepa Suslin tree with strongly non-saturated square

John Krueger,Eduardo Martinez Mendoza

2024-06-15

Abstract: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 there exists a strongly almost disjoint family of $\omega_2$-many uncountable downwards closed subtrees of $T$. In this article we construct a c.c.c. forcing which adds a Suslin tree together with a family of $\omega_2$-many strongly almost disjoint automorphisms of it (and thus the square of the Suslin tree is strongly non-saturated). To achieve this goal, we introduce a new idea called $\rho$-separation, which is an adaptation to the finite context of the notion of separation which was recently introduced by Stejskalová and the first author for the purpose of adding automorphisms of a tree with a forcing with countable conditions.

Logic
Asymptotic Classes of Trees and $\aleph_0$-categoricity

Mostafa Mirabi

2023-07-16

Abstract:This paper focuses on the characterization of $\aleph_0$-categorical theories of trees in the following sense: for any $\aleph_0$-cateorical theory $T$ of trees there is a tree plan $\Gamma$ such that $T=Th(\Gamma(\omega))$ where $\Gamma(\omega)$ is the generic model of a Fraïssé class $\mathbf{K}(\Gamma)$ obtained from the tree plan $\Gamma$. Also, it is shown that $\mathbf{K}(\Gamma)$ forms an asymptotic class, and its model-theoretic properties have been studied. Moreover, it is demonstrated that asymptotic classes of finite trees yield $\aleph_0$-categorical ultraproducts, and a characterization of supersimple, finite rank trees, using the notion of tree plan, is provided.

Logic

$μ$-complete Souslin trees on $μ^+$

Full Souslin trees at small cardinals

Repeated X-ray Flaring Activity in Sagittarius A*

On the rigidity of Souslin trees and their generic branches

Tree algebras and bisimulation-invariant MSO on finite graphs

On $\mathscr{H}$-complete topological semilattices

Aronszajn trees and maximality -- Part 2

Demystifying $μ$

Maximal models up to the first measurable in ZFC

On MU-homology of connective models of higher Real K-theories

On the $μ$-ordinary locus of a Shimura variety

The vanishing levels of a tree

Complete $\mathcal{L}_{ω_1,ω}$-Sentences with Maximal Models in Multiple Cardinalities

$L(\mathbb{R})$ with Determinacy Satisfies the Suslin Hypothesis

Game semantics for the constructive $μ$-calculus

$μ$-Clubs OF $P_κ(λ)$ : Paradise on earth

Sullivan completions

Saturation of reduced products

Completeness of systems of inner functions

An almost Kurepa Suslin tree with strongly non-saturated square

Asymptotic Classes of Trees and $\aleph_0$-categoricity