Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.32078

Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements

Michel Gaspar
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study filter-Laver forcing on omegaxomega with successor sets containing final quadrants. The observation retaining the minimum coordinate and orientation is a complete projection. Its finite nontrivial hidden-label quotients are Cohen, whereas the full offset quotient has Boolean density equal to the ground-model dominating number dV . For the associated grid-meager ideal I_box, we prove cov(I_box) = add(M) for the usual meager ideal M, and obtain further cardinal bounds. We also analyze threshold games, oracle degrees and the distinction between positive and filter-large certificate sets: recurrent filter-large acceptance admits refinements whose every branch succeeds. As an arithmetic application, we prove Wilfs inequality c \leq 13e for numerical semigroups with thirteen elements below the conductor c, where eis the embedding dimension. A complete arithmetic proof, including a bounded exact computation, is given in the appendix. Its terminating certificate procedures supply a computable quadrant tree and uniform refinements for every forcing condition. Finite support kernels describe persistence of the registered proofs; arithmetic absoluteness explains precisely why forcing organizes these certificates without replacing their arithmetic justification.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michel Gaspar. 2026-09-25. Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements. https://arxiv.org/abs/2609.32078

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Shelah's Main Gap and the generalized Borel-reducibility

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-classifiable theory, then the isomorphism of models of $T'$ is strictly above the isomorphism of models of $T$ with respect to Borel-reducibility. We also show that the following can be forced: for any countable first-order theory in a countable vocabulary, $T$, the isomorphism of models of $T$ is either analytic co-analytic, or analytically-complete.

math.LO↗
arXiv2026

Minimal and intrinsic topologies on monoids of elementary embeddings

To every $ω$-categorical structure $\mathrm{Aut}M$ one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\mathrm{Aut}(M)$ of its automorphisms and the topological monoid $\mathrm{EEmb}(M)$ of its elementary embeddings, both equipped with the topology of pointwise convergence $τ_{\mathrm{pw}}$. We investigate the relation of $τ_{\mathrm{pw}}$ to other topologies on these spaces: in particular, when $τ_{\mathrm{pw}}$ is minimal, i.e. does not admit any strictly coarser Hausdorff semigroup topology. A common method to prove minimality of $τ_{\mathrm{pw}}$ on $\mathrm{EEmb}(M)$ is to show that it coincides with the algebraically defined semigroup Zariski topology $τ_{\mathrm{Z}}$. We show that $τ_{\mathrm{pw}}$ differs from $τ_{\mathrm{Z}}$ on $\mathrm{EEmb}(M)$ whenever $\mathrm{Aut}(M)$ has a non-trivial centre. In spite of this, we then prove that whenever algebraic closure on $M$ is modular, $τ_{\mathrm{pw}}$ is minimal on $\mathrm{EEmb}(M)$. This covers, for example, countable vector spaces and projective spaces over finite fields. Turning to $\mathrm{Aut}(M)$, we describe the semigroup topologies coarser than $τ_{\mathrm{pw}}$ on the automorphism groups of structures for which algebraic independence satisfies independent 3-amalgamation. We conclude by proving that for the real and the rational Urysohn space and sphere, the metric pointwise topology $τ_{\mathrm{mp}}$ is minimal on $\mathrm{EEmb}(M)$, equals $τ_{\mathrm{Z}}$, and is strictly coarser than $τ_{\mathrm{pw}}$.

math.LO↗
arXiv2026

Quasi-Polish spaces and spaces of filters in second-order arithmetic

The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\mathbfΠ_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we formalize these structures within second-order arithmetic and conduct a systematic reverse mathematical analysis of the transitions between them.

math.LO↗