RSS Anyway logo
HotLatestFollowingStatusAbout

arxiv.org

Sign in to follow

https://rss.arxiv.org/rss/math.LO

RSSAtomJSON
← arxiv.org
  1. 01.
    Some prospects for semiproducts and products of modal logics
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  2. 02.
    Hindman's theorem does not code $\emptyset^{(\omega)}$ in one application
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  3. 03.
    Maximal Eventually Different Families of Computable Functions
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  4. 04.
    Model theory of generic vector space endomorphisms III: Reducts
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  5. 05.
    Building trees in large fields
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  6. 06.
    On Zarankiewicz's bounds for valued vector spaces
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  7. 07.
    More on the Boolean Prime Ideal Theorem
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  8. 08.
    Conuclei on varieties of hoops
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  9. 09.
    Tree-derived ideals: Fubini iterations, limit amalgamations, and Katetov obstructions
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  10. 10.
    On $2$-stationarity of $\mathcal{P}_{\kappa}\lambda$
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 21
  11. 11.
    On the number of independent solutions of algebraic differential equations
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  12. 12.
    Model Theory of Generic Vector Space Endomorphisms II
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  13. 13.
    Truncations in languages of generalized power series and the structure of $T$-$\lambda$-spherical completions of o-minimal fields
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  14. 14.
    Distributed Continuous Aerial Surveillance by UAS Swarms Under Formal Mission Specifications
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  15. 15.
    Locatedness, Convexity, and Integrability in $\mathbb{R}^N$
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  16. 16.
    Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic II: Metric spaces and the model-theoretic uniformity principle
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  17. 17.
    Paraconsistent Dominated Convergence
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  18. 18.
    Semantics for the minimal well-determined logic
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 20
  19. 19.
    Synthetic perspectives on spaces and categories
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  20. 20.
    Monoidal bicategories, differential linear logic, and analytic functors
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  21. 21.
    A categorical formulation of Kraus' paradox
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  22. 22.
    Model Theory of Generic Vector Space Endomorphisms
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  23. 23.
    Recognition of algebraic matroids is undecidable
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  24. 24.
    Component Modalities of Quantum Logic
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 17
  25. 25.
    A proof complexity perspective on effectively zero-knowledge proofs
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16
  26. 26.
    Topological square of logic S4.1
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16
  27. 27.
    The Constant Domain Axiom in Toposes
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16
  28. 28.
    Inferentialist Game Semantics (Extended Abstract)
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16
  29. 29.
    Intuitionistic Dynamic Logic
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16
  30. 30.
    Two generalisations of sharp k-transitivity
    arxiv.org · /rss/math.LO
    ▲ 0 · Jul 16

Recent polls

whenmsitemsstatus
Jul 2117910ok
Jul 2119010ok
Jul 2117010ok
Jul 2118110ok
Jul 2118410ok