More Like this

1. More definable combinatorics around the first and second uncountable cardinals

   https://doi.org/10.1142/S0219061322500295  

   Chan, William; Jackson, Stephen; Trang, Nam (December 2023, Journal of Mathematical Logic)

   Assume [Formula: see text]. If [Formula: see text] is an ordinal and X is a set of ordinals, then [Formula: see text] is the collection of order-preserving functions [Formula: see text] which have uniform cofinality [Formula: see text] and discontinuous everywhere. The weak partition properties on [Formula: see text] and [Formula: see text] yield partition measures on [Formula: see text] when [Formula: see text] and [Formula: see text] when [Formula: see text]. The following almost everywhere continuity properties for functions on partition spaces with respect to these partition measures will be shown. For every [Formula: see text] and function [Formula: see text], there is a club [Formula: see text] and a [Formula: see text] so that for all [Formula: see text], if [Formula: see text] and [Formula: see text], then [Formula: see text]. For every [Formula: see text] and function [Formula: see text], there is an [Formula: see text]-club [Formula: see text] and a [Formula: see text] so that for all [Formula: see text], if [Formula: see text] and [Formula: see text], then [Formula: see text]. The previous two continuity results will be used to distinguish the cardinalities of some important subsets of [Formula: see text]. [Formula: see text]. [Formula: see text]. [Formula: see text]. It will also be shown that [Formula: see text] has the Jónsson property: For every [Formula: see text], there is an [Formula: see text] with [Formula: see text] so that [Formula: see text]. 

   more » « less
2. Games with filters I

   https://doi.org/10.1142/S021906132450003X  

   Foreman, Matthew; Magidor, Menachem; Zeman, Martin (August 2023, Journal of Mathematical Logic)

   Chong, Chita; Feng, Qi; Slaman, Theodore_A; Woodin, W_Hugh (Ed.)

   This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call Welch games. Player II having a winning strategy in the Welch game of length [Formula: see text] on [Formula: see text] is equivalent to weak compactness. Winning the game of length [Formula: see text] is equivalent to [Formula: see text] being measurable. We show that for games of intermediate length [Formula: see text], II winning implies the existence of precipitous ideals with [Formula: see text]-closed, [Formula: see text]-dense trees. The second part shows the first is not vacuous. For each [Formula: see text] between [Formula: see text] and [Formula: see text], it gives a model where II wins the games of length [Formula: see text], but not [Formula: see text]. The technique also gives models where for all [Formula: see text] there are [Formula: see text]-complete, normal, [Formula: see text]-distributive ideals having dense sets that are [Formula: see text]-closed, but not [Formula: see text]-closed. 

   more » « less
3. Computing cohomology groups that classify bundles of strongly self-absorbing C∗-algebras

   https://doi.org/10.1142/S1793525324500110  

   Dadarlat, Marius; McClure, James E; Pennig, Ulrich (March 2024, Journal of Topology and Analysis)

   Locally trivial bundles of [Formula: see text]-algebras with fiber [Formula: see text] for a strongly self-absorbing [Formula: see text]-algebra [Formula: see text] over a finite CW-complex [Formula: see text] form a group [Formula: see text] that is the first group of a cohomology theory [Formula: see text]. In this paper, we compute these groups by expressing them in terms of ordinary cohomology and connective [Formula: see text]-theory. To compare the [Formula: see text]-algebraic version of [Formula: see text] with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological [Formula: see text]-theory. 

   more » « less
4. Macroscopic scalar curvature and codimension 2 width

   https://doi.org/10.1142/S1793525323500024  

   Alpert, Hannah; Balitskiy, Alexey; Guth, Larry (December 2024, Journal of Topology and Analysis)

   We show that a complete [Formula: see text]-dimensional Riemannian manifold [Formula: see text] with finitely generated first homology has macroscopic dimension [Formula: see text] if it satisfies the following “macroscopic curvature” assumptions: every ball of radius [Formula: see text] in [Formula: see text] has volume at most [Formula: see text], and every loop in every ball of radius [Formula: see text] in [Formula: see text] is null-homologous in the concentric ball of radius [Formula: see text]. 

   more » « less
5. Good polynomials for locally recoverable codes: Classification results, asymptotics, and exact formulae

   https://doi.org/10.1142/S0219498825410178  

   Darwish, Mohamed O; Jaindungarwal, Anuvrat; Micheli, Giacomo; Vaghasiya, Divyesh; Zhao, Shujun (March 2025, Journal of Algebra and Its Applications)

   Let [Formula: see text] be a prime power and [Formula: see text]. In this paper we complete the classification of good polynomials of degree [Formula: see text] that achieve the best possible asymptotics (with an explicit error term) for the number of totally split places. Moreover, for degrees up to [Formula: see text], we provide an explicit lower bound and an asymptotic estimate for the number of totally split places of [Formula: see text]. Finally, we prove the general fact that the number [Formula: see text] of [Formula: see text] for which [Formula: see text] splits obeys a linear recurring sequence. For any [Formula: see text], this allows for the computation of [Formula: see text] for large [Formula: see text] by only computing a recurrence sequence over [Formula: see text]. 

   more » « less