Tootfinder

https://pixelfed.social/p/midtsveen/845362298842614379

Hierarchies within TFNP: building blocks and collapses
Surendra Ghentiyala, Zeyong Li
https://arxiv.org/abs/2507.21550 https://arxiv.org/pdf/2507.21550

Hierarchies within TFNP: building blocks and collapses
We initiate the study of complexity classes $\mathsf{A^B}$ where $\mathsf{A}$ and $\mathsf{B}$ are both $\mathsf{TFNP}$ subclasses. For example, we consider complexity classes of the form $\mathsf{PPP^{PPP}}$, $\mathsf{PPAD^{PPA}}$, and $\mathsf{PPA^{PLS}}$. We define complete problems for such classes, and show that they belong in $\mathsf{TFNP}$. These definitions require some care, since unlike a class like $\mathsf{PPA^{NP}}$, where the $\mathsf{NP}$ oracle defines a function, in $\mathsf{P…

#Linux #Penguin

"…the long arc of history has never been kind to those who rule by force rather than persuasion."
https://www.meidasplus.com/p/court-victory-masks-political-freefall

Court Victory Masks Political Freefall
As the President basks in Supreme Court victories and executive power grabs, his core supporters are peeling away—and the consequences may be deeper than he thinks.

A Universe with a $\Delta^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $\Pi^1_n$-Uniformization
Stefan Hoffelner
https://arxiv.org/abs/2506.21778

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
This paper details the construction of a universe where $Π^1_3$-uniformization is true, the Continuum Hypothesis holds yet it possesses a $Δ^1_3$-definable well-order of its reals. The method can be lifted to canonical inner models with finitely many Woodin cardinals to produce universes of $\mathsf{CH}$, $Π^1_n$-uniformization and where additionally a $Δ^1_n$-definable well-order of the reals exist.

#LiberaPay

Special interest mode activated, time for some French while I’m totally zoned out!
⭐ Read more here: #Autistic

I've updated my #Introductions post with some new hashtags!
📌 Pinned Introduction
https://social.linux.pizza/@midtsveen/114672309461436816

Honestly? I couldn’t care less! I’m living my loudest, proudest queer fantasy right now and absolutely loving it! 🏳️‍🌈💖✨
https://pixelfed.social/p/midtsveen/844676788557967111

My new webpage is live!
Check it out here: #Autistic!