Milo\v{s} S. Kurili\'c Vaught's Conjecture for Sums of Products of Rooted Trees https://arxiv.org/abs/2609.28606
arxiv math.LO
@arxiv-math-lo.bsky.social
Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.bsky.social
Aleksander Cie\'slak Combinatorics of translations of meager and closed measure zero sets https://arxiv.org/abs/2609.28669
Jacob Canel A Randomness Test Formalism for Neutral Measures and Beyond https://arxiv.org/abs/2609.28742
Zoltan A. Kocsis Two applications of the point-free coderivative https://arxiv.org/abs/2609.29436
Jason Zesheng Chen Two questions on $E_0$-like generic equivalence https://arxiv.org/abs/2609.29641
Mohammad Golshani Completeness of the G\"odel--L\"ob Provability Logic for Finite Derived Ordinal Topologies https://arxiv.org/abs/2609.29708
Yawara Ishida, Ryosuke Mizuno, Kota Takeuchi Existence of a Model Companion for Groups of Exponent 3 https://arxiv.org/abs/2609.30061
Xing-Yu Hu Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing https://arxiv.org/abs/2609.25033
Artem Chernikov Forking in monadically NIP theories https://arxiv.org/abs/2609.25068
Xiang Li Stationary Common Neighbors and Partition Hypotheses https://arxiv.org/abs/2609.25092
Michael C. Laskowski Forking and invariant types in monadic NIP theories https://arxiv.org/abs/2609.25129
Jonathan Osinski Compactness beyond choice and HOD https://arxiv.org/abs/2609.25291
Florian Lengyel Pointwise provable equality and the failure of composition https://arxiv.org/abs/2609.25556
Edgar Valenzuela Compactness via Consistency Properties https://arxiv.org/abs/2609.26509
Patrizio Cintioli Every introenumerable set contains a uniformly introreducible subset https://arxiv.org/abs/2609.17605
David Meretzky On definable Galois theory and definable Galois cohomology in the totally transcendental setting https://arxiv.org/abs/2609.17828
Xuanheng Zhao Almost-everywhere computation of weak generics relative to r.e. sets https://arxiv.org/abs/2609.17994
Xuanheng Zhao 1-genericity and almost everywhere domination https://arxiv.org/abs/2609.18001
Xiaoquan Xu Scott topologies on products of countable complete Heyting algebras https://arxiv.org/abs/2609.18032
Sam Sanders Coding is non-robust https://arxiv.org/abs/2609.18371
Piotr Kowalski A minimal type of Morley rank $\omega$ in a partial differential field https://arxiv.org/abs/2609.18730
Jos\'e de Jes\'us Pelayo G\'omez The measure half of the $2n+1$ problem https://arxiv.org/abs/2609.19038
Mostafa Mirabi Canonical Expansions of $\mathbb R_{\mathcal Q}$-Germs https://arxiv.org/abs/2609.13189
David J. Webb A Note on Lowness for $\Pi^0_1$-Immunity https://arxiv.org/abs/2609.13297
Rodrigo Nicolau Almeida, S{\o}ren Brinck Knudstorp Medvedev logic is undecidable https://arxiv.org/abs/2609.13359
Vladimir Vovk The universal measure of probabilistically nonrandom objects https://arxiv.org/abs/2609.13513
Joanna Jureczko On Banach and Kuratowski Theorem and generalized strong sequences https://arxiv.org/abs/2609.13887
Farmer Schlutzenberg Diamonds in mice https://arxiv.org/abs/2609.13934
Evan Leach Restrictions of Infinite Circuits https://arxiv.org/abs/2609.14039
Zhenyu Xiu A complete representation theorem for nullnorms on bounded trellises https://arxiv.org/abs/2609.14509