iiinova — where your digital self keeps evolving

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

Ruiyuan Chen, Anush Tserunyan, Robin Tucker-Drob Finite index extensions of treeable equivalence relations are treeable arxiv.org/abs/2610.08986

000

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

Gabriel Fernandes Amenable C-sequences and ineffability in L arxiv.org/abs/2610.09086

000

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

Hongyu Zhu The Type $\omega$-Vaught's Conjecture for $\omega$-stable Theories arxiv.org/abs/2610.09314

000

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

Yi Wang Coanalytic subfields of the reals of every Hausdorff dimension arxiv.org/abs/2610.09707

000

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

Raf Cluckers From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting arxiv.org/abs/2610.09852

000

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

Joseph M. Shunia On Integer-Division Bases for the Kalm\'ar Elementary Functions arxiv.org/abs/2610.09975

000

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

Maxim Vishnikin On omega-powers of infinite difference rank arxiv.org/abs/2610.10089

000

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

David J. Smith Points and their multiples on curves in powers of simple abelian varieties arxiv.org/abs/2610.10209

000

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