Related papers: Two-cardinal derived topologies, indescribability …
We call a subset of an ordinal $\lambda$ recognizable if it is the unique subset $x$ of $\lambda$ for which some Turing machine with ordinal time and tape, which halts for all subsets of $\lambda$ as input, halts with the final state $0$.…
Abundant second-order maximally conformally superintegrable Hamiltonian systems are re-examined, revealing their underlying natural Weyl structure and offering a clearer geometric context for the study of St\"ackel transformations (also…
We consider the domino problem on Schreier graphs of self-similar groups, and more generally their monadic second-order logic. On the one hand, we prove that if the group is bounded then the graph's monadic second-order logic is decidable.…
In the second paper of this series we extend our Bayesian reanalysis of the evidence for a cosmic variation of the fine structure constant to the semi-parametric modelling regime. By adopting a mixture of Dirichlet processes prior for the…
We show that: 1. Rothberger bounded subgroups of sigma-compact groups are characterized by Ramseyan partition relations. 2. For each uncountable cardinal $\kappa$ there is a ${\sf T}_0$ topological group of cardinality $\kappa$ such that…
Cardinal functions provide valuable insight into the topological properties of spaces, helping to analyze and compare spaces in terms of their covering, convergence and separation properties. This paper focuses on investigating cardinal…
We extend the notion of rational points and cohomological obstructions on varieties to categories fibred in groupoids. We also establish the generalized theory of descent by torsors. Then we interpret the obstruction given by the second…
This article is meant as a mathematical appendix or comment on [BT]. We first consider the notion of transcritical bifurcations of fixed points of general area-preserving maps, and then adress some questions related to [BT] on bifurcation…
We continue the study from \cite{BrendleFreidmanMontoya, vandervlugtlocalizationcardinals} of localization cardinals $\mfb_\kappa(\in^*)$ and $\mfd_\kappa(\in^*)$ and their variants at regular uncountable $\kappa$. We prove that if $\kappa$…
We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
We present the theorem which determines, by a permutation, the cardinal ordering of fixed points for any orbit of a period doubling cascade. The inverse permutation generates the orbit and the symbolic sequence of the orbit is obtained as a…
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…
Recent evidence indicates that the abundance of recurring elementary interaction patterns in complex networks, often called subgraphs or motifs, carry significant information about their function and overall organization. Yet, the…
We introduce two families of inequalities. Large ensemble decoupling is connected to the continuous restriction phenomenon. Tight decoupling is connected to the discrete Restriction conjecture for the sphere. Our investigation opens new…
We study the existence of critical points of stable stationary solutions to reaction-diffusion problems on topological tori. Stable nonconstant stationary solutions are often called patterns. We construct topological tori and patterns with…
In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of…
There are several existing algorithms that under appropriate assumptions can reliably identify a subset of the underlying causal relationships from observational data. This paper introduces the first computationally feasible score-based…
Mappings between models may be obtained by unitary transformations with preservation of the spectra but in general a change in the states. Non- canonical transformations in general also change the statistics of the operators involved. In…
We discuss the rainbow Ramsey theorems at limit cardinals and successors of singular cardinals, addressing some questions in \cite{MR2354904} and \cite{MR2902230}. In particular, we show for inaccessible $\kappa$,…