pith. sign in

archive

Every paper Pith has read. Search by title, abstract, or pith.

407 papers in math.LO · page 3

  1. math.LO 2026-05-05 reviewed
    Free-set and rainbow theorems extend to barriers

    Free sets, thin sets and rainbows for barriers

    Lorenzo Carlucci +1

  2. math.LO 2026-05-04 reviewed
    Set theory model yields graph on reals beyond countable projective functions

    Locally countable graphs of second projective class not generated by countably many projective functions

    Vladimir Kanovei +1

  3. math.LO 2026-05-04 reviewed
    Model yields Π¹₂ equivalence relation without projective generators

    Locally countable graphs of second projective class not generated by countably many projective functions

    Vladimir Kanovei +1

  4. math.LO 2026-05-04 reviewed
    Model of set theory yields Π¹₂ graph not generated by projective functions

    Locally countable graphs of second projective class not generated by countably many projective functions

    Vladimir Kanovei +1

  5. math.LO 2026-05-04 reviewed
    Model yields Π¹₂ equivalence relation not generated by projective functions

    Locally countable graphs of second projective class not generated by countably many projective functions

    Vladimir Kanovei +1

  6. math.LO 2026-05-04 reviewed
    Some c.e

    A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees

    Patrizio Cintioli

  7. math.AG 2026-05-04 reviewed
    K-holomorphic functions characterized by real-part analyticity

    $K$-holomorphic functions with definable real part

    Antonio Carbone +1

  8. math.LO 2026-05-04 reviewed
    Universal theories capture extension satisfiability in finitary logics

    More on expressibility of satisfiability in submodels and extensions

    Nikolai L. Poliakov +1

  9. cs.IT 2026-05-04 reviewed
    Certain subsets of rationals allow computable tests with finite errors

    Computability Limits of Sequential Hypothesis Testing

    Amir Leshem

  10. cs.LO 2026-05-04 reviewed
    Ecumenical systems preserve Glivenko's logic translations

    Glivenko's theorems from an ecumenical perspective

    Luiz Carlos Pereira +2

  11. cs.LO 2026-05-04 reviewed
    Lean 4 counter-model blocks Spinoza Prop V even with substantive PSR

    Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV

    Yuki Nakamura

  12. cs.LO 2026-05-04 reviewed
    Lean counter-models refute full PSR-reducibility of Spinoza Prop V

    Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV

    Yuki Nakamura

  13. math.LO 2026-05-02 reviewed
    EML expressions yield only computable reals

    Inexpressibility in Exp-Minus-Log

    Mark Carney

  14. cs.AI 2026-05-02 reviewed
    Why this fact holds instead of that one in DL

    Rethinking Explanations: Formalizing Contrast in Description Logics

    Yasir Mahmood +3

  15. cs.LO 2026-05-01 reviewed
    Categorical univalence does not imply function extensionality

    Univalence without function extensionality

    Evan Cavallo +1

  16. math.LO 2026-05-01 reviewed
    Categoricity in one nonzero arithmetic degree implies it in all

    Categoricity without Power

    Jun le Goh +1

  17. math.LO 2026-05-01 reviewed
    Lexicographic orders on ^α2 classified for countable partition arrows

    Infinite-Exponent Partition Relations on Higher Analogues of the Real Line

    Lyra A. Gardiner +2

  18. math.LO 2026-05-01 reviewed
    Intuitionistic common knowledge gets complete cyclic calculi

    Intuitionistic Common Knowledge

    Lukas Zenger

  19. math.NT 2026-05-01 reviewed
    Non-standard analysis extends transcendence criteria via infinite primes

    Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes

    Tomoki Mihara

  20. math.LO 2026-04-30 reviewed
    Primitive recursive selector verifies every consistency instance for strong theories

    Uniformity of Consistency in Arithmetic and G\"odel's Second Incompleteness Theorem: Ein M\"archen

    Harald Grobner

  21. math.LO 2026-04-30 reviewed
    Abstention restricts guaranteed coverage to avoid hallucinations

    Hallucination, abstention, and computable inseparability

    Takuma Imamura

  22. math.LO 2026-04-30 reviewed
    Abstention restricts safe answer domains in formal systems

    Hallucination, abstention, and computable inseparability

    Takuma Imamura

  23. cs.LO 2026-04-30 reviewed
    Coalition Logic gains explicit inability as negated ability

    A Logic of Inability

    Shanxia Wang

  24. math.LO 2026-04-30 reviewed
    VC-density in group pairs bounded by twice the parameter count

    VC-Density in Divisible Oriented Abelian Groups and Their Pairs

    Ebru Nayir +1

  25. cs.CC 2026-04-30 reviewed
    Consistency implications may control simulations in arithmetic theories

    Toward a Characterization of Simulation Between Arithmetic Theories

    Hunter Monroe

  26. math.LO 2026-04-30 reviewed
    Computable étale spaces match maps into overt-discrete spaces

    A note on computable \'{e}tale spaces

    Matthew de Brecht

  27. math.LO 2026-04-29 reviewed
    Hilbert inner product needs exp(1/ε) samples for stability

    A note on quantitative stability in Hilbert spaces

    Yifan Jing

  28. math.LO 2026-04-29 reviewed
    Ramsey property eliminates maximal almost disjoint families

    Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects

    Jialiang He +2

  29. math.LO 2026-04-29 reviewed
    Necessary conditions govern Pfaffian solutions of algebraic ODEs

    Special classes of functions

    James Freitag +2

  30. math.LO 2026-04-28 reviewed
    Formulas in F_q((Q)) reduce to one existential polynomial equation

    Elimination results for tame fields with finite residue fields

    Sylvy Anscombe +1

  31. math.RA 2026-04-28 reviewed
    Three DGA equivalence problems shown to be undecidable

    Undecidability problems for semifree DG algebras

    Ciprian Manolescu +1

  32. math.LO 2026-04-28 reviewed
    Finite Kripke models embed into arithmetic via provability predicates

    Finite Kripke models and provability interpretations in quantified modal logic

    Haruka Kogure +1

  33. math.LO 2026-04-28 reviewed
    S^1_2 stays consistent with EXP not in P/poly

    From G\"odel incompleteness to the consistency of circuit lower bounds

    Albert Atserias +1

  34. math.LO 2026-04-27 reviewed
    Inferential omega-rule gives arithmetic a unique model

    Carnapian Frameworks and Categoricity of Arithmetic via Inferential $\omega$-logics

    John T. Baldwin +1

  35. cs.AI 2026-04-27 reviewed
    Monads unify classical, fuzzy and probabilistic semantics in ULLER

    NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework

    Daniel Romero Schellhorn +1

  36. math.LO 2026-04-27 reviewed
    NTP2 expansions preserve constructibility of definable sets

    NTP2 topological structures

    Pablo and\'ujar Guerrero

  37. math.LO 2026-04-27 reviewed
    Almost free algebras make isomorphism polynomial-time decidable

    Almost free algebras: from the word problem to elimination of quantifiers

    Yifan Jia +2

  38. math.LO 2026-04-25 reviewed
    Closed Ramsey numbers for ω·n+1 lie between ω^4 and ω^5

    On closed Ramsey numbers of small countable ordinals

    Necdet Duman +4

  39. cs.LO 2026-04-25 reviewed
    Games match Kripke semantics for constructive mu-calculus

    The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems

    Leonardo Pacheco

  40. math.LO 2026-04-25 reviewed
    Multiple topologies give complete semantics for intuitionistic modal logics

    Polytopological Semantics for Intuitionistic Modal Logics

    Juan P. Aguilera +2

  41. math.LO 2026-04-23 reviewed
    Craig interpolation proven for the six open extensions of S4

    Interpolation above S4

    Simon Santschi +1

  42. math.LO 2026-04-23 reviewed
    Definable well-order equates projective and ordinary chromatic numbers

    Projective Chromatic Numbers

    Adrian Rettich +1

  43. math.LO 2026-04-23 reviewed
    Restricted class logics match large cardinals

    Model theory of class-sized logics

    Jonathan Osinski +1

  44. math.CT 2026-04-22 reviewed
    Stone dualities link modal frames to spaces with binary relations

    Topological Dualities for Modal Algebras

    Matthew Collinson

  45. math.LO 2026-04-22 reviewed
    Fraïssé structure has universal automorphism group without extensible age

    An unusual example of a universal automorphism group

    Rob Sullivan +1

  46. math.GR 2026-04-22 reviewed
    Generic automorphisms of stable groups are supertight

    On generic and supertight automorphisms

    Piotr Kowalski +1

  47. math.AG 2026-04-21 reviewed
    Corrections to auxiliary propositions preserve main motivic theorems

    Corrigendum to `Evaluation of motivic functions, non-nullity, and integrability in fibers', Advances in Mathematics, Vol. 409, Part A, Paper No. 108635, 29 pages, doi:10.1016/j.aim.2022.108635 (2022)

    Raf Cluckers +1

  48. math.LO 2026-04-21 reviewed
    Model separates boldface Σ¹₃ uniformization from lightface Σ¹₄

    On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uniformization

    Stefan Hoffelner

  49. math.LO 2026-04-20 reviewed
    QLETF+ is sound and complete for six-valued semantics

    Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth

    Abilio Rodrigues +1

  50. cs.LO 2026-04-20 reviewed
    Reachability rules capture domain conditions in nested sequents for modal logics

    Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules

    Tim S. Lyon +1