2024-10-29 | | Total: 8
How many permutations are needed so that every infinite-coinfinite set of natural numbers with asymptotic density can be rearranged to no longer have the same density? We prove that the density number $\mathfrak{dd}$, which answers this question, is equal to the least size of a non-meager set of reals, $\mathsf{non} (\mathcal{M})$. The same argument shows that a slight modification of the rearrangement number $\mathfrak{rr}$ of~\cite{BBBHHL20} is equal to $\mathsf{non} (\mathcal{M})$, and similarly for a cardinal invariant related to large-scale topology introduced by Banakh~\cite{Ba23}, thus answering a question of the latter. We then consider variants of $\mathfrak{dd}$ given by restricting the possible densities of the original set and / or of the permuted set, providing lower and upper bounds for these cardinals and proving consistency of strict inequalities. We finally look at cardinals defined in terms of relative density and of asymptotic mean, and relate them to the rearrangement numbers of~\cite{BBBHHL20}.
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames.
We prove conservativity results for weak Kőnig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form $\forall X\exists!Y\psi$ with arithmetical $\psi$). In particular, we show that $\mathsf{WKL}_0$ is conservative over $\mathsf{RCA}_0$ for well-ordering principles. We also show that compactness (which characterizes weak Kőnig's lemma) is dispensable for certain results about continuous functions with isolated singularities.
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cut rule for most of these sequent calculi. We also demonstrate the equivalence of these calculi to their corresponding axiomatic systems, thereby confirming their soundness and completeness with respect to neighbourhood semantics.
We examine the Zermelo Fraenkel set theory with Choice (ZFC) enhanced by one of the (structural) reflection principles down to a small cardinal and/or Recurrence Axioms defined below. The strongest forms of reflection principles spotlight the three scenarios in which the size of the continuum is either $\aleph_1$, or $\aleph_2$, or very large, while the maximal setting of Recurrence Axioms points to the set-theoretic universe with the continuum of size $\aleph_2$. We discuss that both the Reflection Principles and Recurrence Axioms can be construed as preferable candidates of the extension of ZFC in terms of the criteria of Gödel's Program. From this view point, the maximal possible (consistent) combination of these principles and axioms, or even some natural strengthening of the combination (which we want to call ``Laver-generic Maximum'' (LGM)) may be considered as the ultimate extension of ZFC (of course ``ultimate'' only for now -- because of the Incompleteness Theorems): LGM resolves the size of the continuum to be $\aleph_2$ and integrates practically all known statements consistent with ZFC in itself either as its consequences (as it is the case with Martin's Maximum$^{++}$) or as theorems holding in many grounds of the universe (as it is the case with Cichoń's Maximum).
Q-points are cofinal in the RK-ordering under several mild hypotheses.
Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard mathematics where equations cannot be even written, in the sense they are not formulas. The proof of those claims is very simple, almost obvious. I use this framework to suggest a way to deal with certain notions of indiscernibility between `objects', with special emphasis on some aspects of quantum mechanics. Finally I compare this approach to quasi-set theory, an unnecessarily complicated formal work designed to deal with violation of Leibniz Principle of the Identity of Indiscernibles.
Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vopěnka's principle. In this article, we prove that each of the following statements is equivalent to an axiom of lower consistency strength than Vopěnka's principle, known as weak Vopěnka's principle: (a) Localization with respect to any class of maps exists in the homotopy category of simplicial sets; (b) Localization with respect to any class of maps exists in the homotopy category of spectra; (c) Localization with respect to any class of morphisms exists in any presentable $\infty$-category; (d) Every full subcategory closed under products and fibres in a triangulated category with locally presentable models is reflective. Our results are established using Wilson's 2020 solution to a long-standing open problem concerning the relative consistency of weak Vopěnka's principle within the large-cardinal hierarchy.