2026-10-06 | | Total: 15
Descriptive set theorists often refer to elements of the Baire space, $\mathcal{N} = {}^ωω$, as ``reals.'' In this expository article, we present mathematical justification for this practice and highlight the advantages of working with $\mathcal{N}$ over $\mathbb{R}$ in the context of descriptive set theory.
We construct a nonmicroscopic $G_δ$ subset of the real line all of whose compact subsets are microscopic, answering a question of Zindulka and Nowakowski. We first obtain such a set in the standard Cantor space by coding branches of a finitely branching tree together with suitable choices of marked nodes. The coding of the branches ensures that the resulting set is not microscopic, while the marked nodes allow us to construct covers showing that every compact subset is microscopic. The example is then transferred from the Cantor space to the real line by the binary-expansion map.
We show that whenever $G$ is a finitely generated group with the rapid decay property (property RD), then the norm on the reduced group C*-algebra $C^*_r(G)$ is computable if (and only if) $G$ has solvable word problem. We also give an example of a finitely presented group $G$ with solvable word problem for which the norm on $C^*_r(G)$ is not computable.
Answering a question of Thomas Sinclair, we show that the standard presentation of the reduced group C*-algebra $C^*_r(G)$ of an infinite hyperbolic group $G$ is computable. The main ingredient in proving this result is showing that the Gromov boundary $\partial G$ of $G$ admits a computably compact metric presentation for which the natural action of $G$ on $\partial G$ is computable.
We generalise the $σ$-ideal $\mathcal E$ generated by the closed Lebesgue null subsets of the Cantor space ${}^ω2$ to the context of higher Cantor spaces ${}^κ2$ for an uncountable cardinal $κ$ satisfying $κ=κ^{<κ}$. We introduce candidates for a higher closed null ideal based on slaloms on partitions of $κ$ into sets of size ${<}κ$, and study their combinatorial properties. We also give some relations between the cardinal invariants of the higher closed null ideals and other cardinal characteristics.
We show that for each countable ordinal $α$, there is a $\mathbfΔ^0_α$ operator that, for all $A$ of Scott rank at most $α$, takes copies of $T_A$ to copies of $A$, where $T_A$ is the tree of tuples corresponding to $A$. For finite $α$, we show that this is best possible. The proof that there is a $\mathbfΔ^0_α$ operator uses Harrington's method of workers. The sharpness result, for finite $n$, uses recent work of Harrison-Trainor on ``unfriendly jump inversion.''
We show that unlike $\textsf{PFA}$, $\textsf{MA}_{ω_{1}}$ is consistent with the existence of $2^{ω_{1}}$-many Countryman lines which pairwise contain no uncountable isomorphic or reverse-isomorphic suborders. This clarifies an issue regarding the claim that $\textsf{MA}_{ω_{1}}$ implies that there is a finite basis for the Countryman lines. The family of Countryman lines comes from a family of $2^{ω_{1}}$-many coherent trees which pairwise contain no club-isomorphic subtrees. To prove this, we first construct such a family of trees using $\diamondsuit$, and then we iterate ccc forcings while preserving this property.
We study which structural results about Aronszajn trees require the Proper Forcing Axiom and which require only MA(aleph1). In particular, we show that MA(aleph1) is consistent with the existence of 2^aleph1 pairwise non-club-isomorphic coherent A-trees.
It was recently shown by Paolini and Shelah, with another proof by Laskowski and Ulrich, that torsion-free abelian groups are Borel complete. This means that isomorphism for torsion-free abelian groups is as complicated as possible, so that torsion-free abelian groups do not admit any meaningful complete isomorphism invariants. We give a proof following the ideas of the Paolini-Shelah argument but with several expository advantages. In particular, the combinatorial part of the argument is much simplified. We make use of the ideas of this proof to show that there is a torsion-free abelian group with no computable copy but with a copy computable from every non-computable set. This answers a long-standing question of Downey and Goncharov.
Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set $Π$ of prime numbers, the $Π$-extension property is equivalent to the $Π$-LERF. As a consequence of known results, the odd-extension property is then equivalent to the EPPA for finite tournaments. To study the $Π$-extension property, we reformate the property using the concepts of EP problems and $Π$-solutions. We then show that the existence of a $Π$-solution for an EP problem depends entirely on its fundamental group. In particular, when the fundamental group is trivial or cyclic, the EP problem has a $Π$-solution for any $Π$. These extend some known results of Huang, Pawliuk, Sabok and Wise [HPSW19]. We give examples of EP problems without nilpotent-solutions; they witness that the $p$-extension property and the $p$-LERF fail for any prime $p$. Then we consider a special kind of EP problems whose fundamental groups have two generators. We show that any 1-weakly wandering problem has a $Π$-solution for any $Π$. For 2-weakly wandering problems, we show that they all have odd-solutions and we completely characterize those without nilpotent-solutions.
We provide a modern overview of several forcing methods in bounded arithmetic and compare them with forcing in set theory. We specifically discuss the countable forcing framework of Atserias and Muller, the restricted ultrapowers of Bydzovsky and Muller, and forcing with random variables developed by Krajicek. We illustrate these forcing arguments by reviewing the Paris--Wilkie forcing and by giving a self-contained construction of the shallow PHP model constructed by Krajicek. We observe that, from a formal point of view, Krajicek's forcing with uncountable structures can be interpreted in the framework of Atserias and Muller after a countable collapse using an LS argument. We further observe that the countable restricted ultrapowers of Bydzovsky and Muller, used to obtain models of the theory $T_{PV}$, can also be interpreted in this framework. This part serves as a primer on modern forcing methods in bounded arithmetic. In the next part, we discuss the analogies and differences between forcing in arithmetic and set theory. We embed Krajicek's Boolean-valued models into generic extensions of models of set theory, observing that the set-theoretic forcing framework can be used to interpret forcing in arithmetics. In our interpretation, set theory offers a convenient method for formalizing forcing arguments with uncountable structures. We end with a question whether analogies with set theory can facilitate the discovery of new uncountable partial orders for arithmetic.
We prove that NIP nilrings of bounded nilexponent are nilpotent. We also deduce that NIP $ω$-categorical $n$-Engel Lie algebras of characteristic $p>n$ are nilpotent, yielding a case of the Lie algebra analogous of Wilson conjecture for $ω$-categorical groups.
In this note, we prove a stronger version of the Kővári-Sós-Turán theorem for partition-wise $k$-stable $r$-hypergraphs. More precisely, we show that for every $k,r\in\mathbb{N}_{\geq 2}$ there is $η=η(r,k)>0$ such that if $H=(V;E)$ is a partition-wise $k$-stable $r$-uniform $K^{(r)}_{t,\ldots,t}$-free hypergraph with $|V|=n$, then $|E| = O_{r,k,t}(n^{r-η})$. Crucially, $η$ is independent of $t$. The proof follows the pseudofinite regime used by Chernikov and Starchenko to prove an analogous version of Erdős-Hajnal for stable hypergraphs.
We study finite Laver algebras, the generalizations of Laver tables on sets of cardinality not of the form $2^n$. We characterize the conditions under which projections and embeddings between Laver algebras exist and show that there are $2^{\aleph_0}$ pairwise non-isomorphic direct limits of finite Laver algebras.
We introduce \emph{sub-connectivity logic}, denoted by $\textsf{FOscon}$, an extension of first-order logic for graphs with a specified set $Z$ of admissible edges. Its additional atom $\textsf{scon}(x,y;\bar z)$ asserts that $x$ and $y$ are connected by a path using only edges of $Z$ and avoiding the vertices in $\bar z$. Our main structural result states that, for every weakly sparse graph class $\mathscr C$, the class of all expansions of graphs in $\mathscr C$ by rooted spanning forest orders has bounded twin-width if and only if $\mathscr C$ excludes a fixed minor. When $\mathscr C$ excludes a fixed minor, we can also compute an additional linear order that preserves bounded twin-width in polynomial time. We translate $\textsf{FOscon}$ into first-order logic over an expansion by a depth-first spanning forest order of the admissible-edge graph. Combining this translation with our structural result, we obtain a model checking algorithm for $\textsf{FOscon}$ with running time $f(|φ|,h(G))\cdot |G|^c$, where $f$ is computable, $c$ is an absolute constant, and $h(G)$ is the Hadwiger number of $G$. The translation and model-checking algorithm extend to binary relational structures, with the Hadwiger number measured on the Gaifman graph. For a graph class $\mathscr C$ let $\mathscr C_Z:=\{(G,Z):G\in\mathscr C,\ Z\subseteq E(G)\}$. We show that for every weakly sparse graph class $\mathscr C$, the class $\mathscr C_Z$ is monadically dependent for $\textsf{FOscon}$ if and only if $\mathscr C$ excludes a fixed minor. For monotone classes that admit efficient minor encodings, a corresponding hardness result makes this frontier computationally tight. We give applications to combinatorial reconfiguration and solution discovery problems, and study a guarded extension of $\textsf{FOscon}$ motivated by database queries.