arXiv subjects

Frank Gilson

Publications and source records attributed to Frank Gilson.

9 recordsLinked to original sources

arXiv2026

A One-Step Cascade Symmetric Model: Rank-$1$ Packets, Binary Shielding, and the Even Exact-Cardinality Profile

We introduce a one-step cascade symmetric system whose local symmetry geometry is organized by finite $ρ$-closed windows and one-step stars rather than by rowwise-independent toggles. The resulting symmetric model isolates a new $ZF + DC + \neg \mathrm{BPI}$ geometry in which rank-$1$ hereditarily symmetric reals admit a packet normalization theorem over countable $ρ$-closed supports. The technical center of the paper is the finite star-span lemma and the associated rank-$1$ packet calculus. From this we obtain a normalization theorem and a two-layer coding consequence for rank-$1$ reals (in the metatheory, via a well-orderable base of packets). We then apply the same binary fresh-support shielding pattern to prove $\neg C_2$, hence $\neg AC_{\mathrm{fin}}$, and therefore the failure of every even $C_n$ (where $C_n$ denotes the principle that every family of nonempty $n$-element sets admits a choice function). On the odd side, the present bounded packet calculus remains dyadic: support-fixed local actions factor through finite $2$-groups, bounded support-equivariant quotients of finite local orbits have power-of-two size, and trace-separated bounded rigid ternary families admit canonical selectors within a fixed finite trace window. Accordingly, the odd exact-cardinality profile remains open beyond the current local binary machinery.

math.LO↗

arXiv2026

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

We isolate the limit-stage filter construction needed for countable-support symmetric iterations built from standard successor-step symmetric systems. At successor stages we take the $\omega_1$-completion of the usual successor-stage symmetry filter. At limit stages of uncountable cofinality, countable supports are bounded and the direct-limit filter is $\omega_1$-complete by stage-bounding; at limits of cofinality $\omega$, we define the limit filter as the smallest normal $\omega_1$-complete filter extending the head-pullback generators. In all cases the resulting limit filter is normal and $\omega_1$-complete. Using these limit filters, we prove that the class of hereditarily symmetric names is closed under the operations required for ZF, that the resulting symmetric model satisfies ZF, and that over a ZFC ground it satisfies DC=DC_$\omega$. We also explain why no general class-length ZF-preservation theorem is claimed here, although specific class-length symmetric iterations may still be analyzable separately over a GBC background. As a self-contained application, we construct, for any uncountable cardinal $\kappa$ with cofinality greater than or equal to $\omega_1$, a model of ZF+DC+$\neg$AC_$\kappa(\mathcal{F})$, where $\mathcal{F}$ is a $\kappa$-indexed family of $2$-element sets of reals with no choice function. Each step of the iteration adds one unpickable pair, so the degree of AC-failure is controlled by the iteration length. We also prove that the analogous finite-support construction fails DC at the first $\omega$-limit stage, showing why $\omega_1$-complete limit filters are structurally needed for this application.

math.LO↗

arXiv2026

Explicit separation of quadratic irrationals from the middle-third Cantor set

Assuming a mild non-degeneracy condition excluding very low-level Cantor endpoints, and assuming a counting/input hypothesis for the contribution of non-deep orbit indices, we show that for the quadratic field $K=\mathbb{Q}(\alpha)$ there exist constants $A_K,B_K>0$ such that \[ \mathrm{exit}(\alpha)\ \le\ A_K\,(\log_3 H)^2 + B_K. \] Consequently, $\mathrm{dist}(\alpha,\mathcal C)\ge H^{-\kappa_K\log H}$ for some $\kappa_K>0$.

math.NT↗

arXiv2026

A countable-support symmetric iteration separating PP from AC

We construct, from a ground model of $ZFC$, a transitive symmetric model $M$ satisfying $ZF + DC + PP + AC_{wo} + \neg AC$. The construction starts with a Cohen symmetric seed model $N$ over $Add(\omega,\omega_1)$ and performs an Ord-length countable-support symmetric iteration. For fixed parameters $S:=A^\omega$ and $T:=PowerSet(S)$ (as computed in $N$), successor stages add orbit-symmetrized packages which force the localized splitting principle $PP^{\mathrm{split}}\!\restriction T$ (hence $PP\restriction T$) and the choice principle $AC_{wo}$, while preserving $DC$ and keeping $A$ non-well-orderable. A diagonal-lift/diagonal-cancellation scheme produces $\omega_1$-complete normal limit filters. A persistence argument yields $SVC^+(T)$ in M, and Ryan--Smith localization then upgrades $PP\restriction T$ and $AC_{wo}$ to $PP$.

math.LO↗

arXiv2025

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences

We analyse the logical complexity and absoluteness of natural statements about Ulam sequences, with particular emphasis on the rigidity phenomena introduced by Hinman, Kuca, Schlesinger and Sheydvasser for the family $U(1,n)$. For each pair of coprime integers $a<b$ we view the associated Ulam sequence $U(a,b)$ as a recursive subset of $\mathbb{N}$ and consider expansions of the form $(\mathbb{N},+,\mathrm{U}_{a,b})$. Our first main result is a uniform coding of Ulam sequences and of the ``interval with periodic mask'' patterns appearing in rigidity conjectures into first-order arithmetic. Using this, we show that the strong rigidity, regularity (eventual periodicity of gaps), and density statements for $U(a,b)$ are all arithmetical and lie at low levels of the arithmetical hierarchy (e.g.\ $\Sigma^0_2$ or $\Pi^0_3$). As a consequence, these statements are absolute between transitive models of $\mathrm{ZFC}$ with the same natural numbers: their truth value cannot be changed by forcing, and is independent of the Continuum Hypothesis and large cardinal axioms. We also study the expansions $(\mathbb{N},+,\mathrm{U}_{a,b})$ model-theoretically, showing that combinatorial rigidity implies tameness properties (NIP, dp-minimality, non-interpretability of multiplcation).

math.LO↗

arXiv2025

From Internal to External: Classical Models of ZF + PP + $\neg$AC

Goal. We analyze when the Partition Principle ($\mathsf{PP}$) holds without $\mathsf{AC}$ in models arising from a free finite $H$-action on Cantor space, and reconcile two standard routes to such models. Approach. Route I proceeds via a Boolean-valued presentation $\mathrm{Sh}(\mathbb{B})$ and symmetric names; Route II uses direct forcing with $\mathrm{Fn}(\mathbb{N}\times H,2)$ and finite-support automorphisms. We prove a unification theorem identifying the resulting symmetric submodels and develop a Local-to-Global Embedding Principle (LEP) for hereditarily symmetric names. Results. We prove external $\mathsf{PP}$ in the symmetric model $N$ built via Route II. From LEP we obtain that $\mathsf{PP}$ holds in the symmetric model, hence $N\models \mathsf{ZF}+\mathsf{PP}+\neg\mathsf{AC}$. Along the way, we unify the Route I/Route II presentations functorially. Limitations. Our proof exploits the countable-support stratification of $\mathrm{Fn}(\mathbb{N}\times H,2)$; extending the LEP/gluing to uncountable presentations (e.g. $\mathrm{Fn}(\kappa\times H,2)$ for $\kappa>\omega$) or, more generally, to $\kappa$-directed families of finite supports remains open.

math.LO↗

arXiv2025

Symmetric Iterations with Countable and $<\kappa$-Support: A Framework for Choiceless ZF Extensions

We develop a unified framework for iterated symmetric extensions with countable support and, more generally, with $<\kappa$-support. Set-length iterations are treated uniformly, and when the iteration template is first-order definable over a Godel-Bernays ground with Global Choice, the construction extends to class-length iterations. At limit stages with $\mathrm{cf}(\lambda)\ge\kappa$ we use direct limits; when $\mathrm{cf}(\lambda)<\kappa$ we use inverse-limit presentations via trees of conditions together with tuple-stabilizer symmetry filters. The resulting limit filters are normal and $\kappa$-complete, yielding closure of hereditarily symmetric names and preservation of $\mathrm{ZF}$. Under a $\kappa$-Baire (strategic closure) hypothesis we obtain $DC_{<\kappa}$, and under a Localization hypothesis we obtain $DC_\kappa$. In the countable-support setting we give an $\omega_1$-length construction adding reals and refuting $\mathrm{AC}$ while preserving $\mathrm{ZF}+\mathrm{DC}$, and we treat mixed products via stable pushforwards and restrictions. For singular $\kappa$, we develop the $\mathrm{cf}(\kappa)=\omega$ case using block-partition stabilizers and trees; for arbitrary singular $\kappa$ we introduce game-guided fusion of length $\mathrm{cf}(\kappa)$ and a tree-fusion master condition, obtaining singular-limit completeness, preservation of $DC_{<\kappa}$, no collapse of $\kappa$, and no new subsets of any $\lambda<\kappa$.

math.LO↗

arXiv2025

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes

We study the topos $\mathcal{E}=\mathsf{Sh}(H\ltimes 2^{\mathbb{N}})$ arising from a nontrivial finite group $H$ acting freely on Cantor space. Using a local embedding property for the relevant epimorphisms together with effective descent for monomorphisms, we show that the \emph{internal} set universe $V$ obtained from algebraic set theory (AST) inside $\mathcal{E}$ satisfies the Partition Principle. On the other hand, the quotient $q:X\to X/H$ is a small epimorphism in $\mathcal{E}$ with no section, and this yields (via the display interpretation) an internal surjection in $V$ with no internal section; hence $V\models\neg\mathsf{AC}$. In summary, $\mathcal{E}$ contains an internal model of $\mathsf{IZF}+\mathsf{PP}+\neg\mathsf{AC}$ (and if $\mathcal{E}$ is Boolean, equivalently after $\neg\neg$-sheafification, this upgrades to $\mathsf{ZF}+\mathsf{PP}+\neg\mathsf{AC}$).

math.LO↗

arXiv2025

The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4

We determine the ZF-provable modal logic of the modality $\Box_{\mathrm{sym}}$, where $\Box_{\mathrm{sym}}\varphi$ means '$\varphi$ holds in every finite symmetry-preserving iteration' of the symmetric method. We prove that the exact logic is S4. Soundness (axioms T and 4) follows from reflexivity and transitivity of the underlying accessibility relation. Exactness is obtained by (i) a non-amalgamation lemma showing that axiom (.2) fails for finite symmetry-preserving iterations (no common finite symmetry-preserving iteration above the parent), and (ii) a $p$-morphism/finite-frame realization producing, within ZF, models whose $\Box_{\mathrm{sym}}$-theory matches any finite reflexive-transitive frame.

math.LO↗