iiinova — where your digital self keeps evolving

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

Aidan Healy, Bartek Klin Karp's NP-complete problems over first-order definable structures arxiv.org/abs/2609.38436

000

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

Liang Yu Small additive groups with $A+\xi A=\mathbb R$ arxiv.org/abs/2609.38970

000

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

Yunsong Wang, Lukas Zenger Proof Theory for Non-Contingency Logic arxiv.org/abs/2609.38975

000

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

Ruijun Wang Continuous graph homomorphisms of higher dimensional abelian group actions arxiv.org/abs/2609.39824

000

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

Bruno Le Floch Lattice of 456 semigroup varieties from equations of order up to 4 arxiv.org/abs/2609.39872

000

arxiv math.LO @arxiv-math-lo.bsky.social · 01/10/2026

\"{O}zlem Beyarslan, Piotr Kowalski PAC fields and difference fields with generic automorphisms arxiv.org/abs/2609.40251

000

arxiv math.LO @arxiv-math-lo.bsky.social · 28/09/2026

Fredrik Engstr\"om Generalized Quantifiers: Scope Dominance and Branching arxiv.org/abs/2609.31243

000

arxiv math.LO @arxiv-math-lo.bsky.social · 28/09/2026

Jacob Canel Bellman's Forest Problem and Computability arxiv.org/abs/2609.31352

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Milo\v{s} S. Kurili\'c Vaught's Conjecture for Sums of Products of Rooted Trees arxiv.org/abs/2609.28606

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Aleksander Cie\'slak Combinatorics of translations of meager and closed measure zero sets arxiv.org/abs/2609.28669

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Jacob Canel A Randomness Test Formalism for Neutral Measures and Beyond arxiv.org/abs/2609.28742

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Zoltan A. Kocsis Two applications of the point-free coderivative arxiv.org/abs/2609.29436

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Jason Zesheng Chen Two questions on $E_0$-like generic equivalence arxiv.org/abs/2609.29641

000

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Mohammad Golshani Completeness of the G\"odel--L\"ob Provability Logic for Finite Derived Ordinal Topologies arxiv.org/abs/2609.29708

011

arxiv math.LO @arxiv-math-lo.bsky.social · 25/09/2026

Yawara Ishida, Ryosuke Mizuno, Kota Takeuchi Existence of a Model Companion for Groups of Exponent 3 arxiv.org/abs/2609.30061

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Xing-Yu Hu Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing arxiv.org/abs/2609.25033

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Artem Chernikov Forking in monadically NIP theories arxiv.org/abs/2609.25068

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Xiang Li Stationary Common Neighbors and Partition Hypotheses arxiv.org/abs/2609.25092

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Michael C. Laskowski Forking and invariant types in monadic NIP theories arxiv.org/abs/2609.25129

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Jonathan Osinski Compactness beyond choice and HOD arxiv.org/abs/2609.25291

010

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Florian Lengyel Pointwise provable equality and the failure of composition arxiv.org/abs/2609.25556

000

arxiv math.LO @arxiv-math-lo.bsky.social · 23/09/2026

Edgar Valenzuela Compactness via Consistency Properties arxiv.org/abs/2609.26509

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Patrizio Cintioli Every introenumerable set contains a uniformly introreducible subset arxiv.org/abs/2609.17605

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

David Meretzky On definable Galois theory and definable Galois cohomology in the totally transcendental setting arxiv.org/abs/2609.17828

010

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Xuanheng Zhao Almost-everywhere computation of weak generics relative to r.e. sets arxiv.org/abs/2609.17994

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Xuanheng Zhao 1-genericity and almost everywhere domination arxiv.org/abs/2609.18001

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Xiaoquan Xu Scott topologies on products of countable complete Heyting algebras arxiv.org/abs/2609.18032

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Piotr Kowalski A minimal type of Morley rank $\omega$ in a partial differential field arxiv.org/abs/2609.18730

000

arxiv math.LO @arxiv-math-lo.bsky.social · 17/09/2026

Jos\'e de Jes\'us Pelayo G\'omez The measure half of the $2n+1$ problem arxiv.org/abs/2609.19038

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Mostafa Mirabi Canonical Expansions of $\mathbb R_{\mathcal Q}$-Germs arxiv.org/abs/2609.13189

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

David J. Webb A Note on Lowness for $\Pi^0_1$-Immunity arxiv.org/abs/2609.13297

021

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Rodrigo Nicolau Almeida, S{\o}ren Brinck Knudstorp Medvedev logic is undecidable arxiv.org/abs/2609.13359

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Vladimir Vovk The universal measure of probabilistically nonrandom objects arxiv.org/abs/2609.13513

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Joanna Jureczko On Banach and Kuratowski Theorem and generalized strong sequences arxiv.org/abs/2609.13887

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Zhenyu Xiu A complete representation theorem for nullnorms on bounded trellises arxiv.org/abs/2609.14509

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Junhao Chen, Jie Zou The Borel Distinguishing Number of Schreier Graphs arxiv.org/abs/2609.15003

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Shuai Tang Higher-Order Quadripolar Argumentation Framework and Encoded Semantics arxiv.org/abs/2609.15008

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Fredrik Engstr\"om, Juha Kontinen Intuitionistic Implication in Elementary Team Logics arxiv.org/abs/2609.15216

000

arxiv math.LO @arxiv-math-lo.bsky.social · 15/09/2026

Franziska Jahnke, Margarete Ketelsen, Floris Vermeulen AKE principles in roughly deeply ramified henselian valued fields arxiv.org/abs/2609.15376

000

arxiv math.LO @arxiv-math-lo.bsky.social · 11/09/2026

Trevor Cappallo Tag-system computation using only powers and principal logarithms arxiv.org/abs/2609.10592

000

arxiv math.LO @arxiv-math-lo.bsky.social · 11/09/2026

Teruma Kawakubo Inequalities and equalities of means in Constructive Mathematics arxiv.org/abs/2609.10593

000

arxiv math.LO @arxiv-math-lo.bsky.social · 11/09/2026

Dominika Bure\v{s}ov\'a, Pavel Pt\'ak, Jan \v{S}evic Simultaneous extensions of states on quantum logics arxiv.org/abs/2609.10770

001

arxiv math.LO @arxiv-math-lo.bsky.social · 11/09/2026

Rasoul Ramezanian Well-Defined but Not Predetermined Persistent Mathematical Objects, Embedded Observers, and the Provability of P = N P arxiv.org/abs/2609.10864

000

arxiv math.LO @arxiv-math-lo.bsky.social · 11/09/2026

Tenyo Takahashi Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872

001