Skip to content
DraconiticResearch
Search Sources API
203,948 studies31 sourcesUpdated 23 min ago

Logic & foundations

515 studies29 in 7 days207 in 30 days

Atom feed
Filters
Type
Date
Clear

Latest

515 studies

NewestMost cited
  1. Ball codes: A coding characterization of Hausdorff and packing dimensions
    Kenshi Miyabe
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  2. The Axiom of Double Complement and its opposites
    Hanul Jeon, James E. Hanson
    arXivPreprintarXiv licenceFull textLogic & foundationsarXiv
  3. Transfinite Schreier families and cardinal invariants
    Kevin Beanland, Christian Rosendal
    arXivPreprintarXiv licenceFull textAnalysis & PDEsLogic & foundationsarXiv
  4. Dominating Reals and Ordinal Theories
    Cayley Robinson
    arXivPreprintarXiv licenceFull textLogic & foundationsarXiv
  5. Unconditional V01-independence of a certified hitting-set principle
    Martin Kolář
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  6. Quagmires and large Suslin forests
    Lorenzo Notaro
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  7. Haar decompression and amenability of Ellis flows
    Daniel Max Hoffmann, Krzysztof Krupiński
    arXivPreprintarXiv licenceFull textDynamical systemsLogic & foundationsarXiv
  8. A categorical model structure for generalized algebraic theories
    Daniel Almeida
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryLogic & foundationsarXiv
  9. On the Cauchy-Hamel Continuity of Real Functions
    Gabriel Istrate
    arXivPreprintCC BY 4.0Full textLogic & foundationsMathematical physicsarXiv
  10. Localic Esakia Duality via Conic Frames
    Nesta van der Schaaf
    HALPreprintLicence not statedLogic & foundationsHAL
  11. Laws for triangular matrices
    Xun Hu, Yanfeng Luo, Mikhail Volkov
    arXivPreprintarXiv licenceFull textAlgebra & number theoryLogic & foundationsarXiv
  12. Compact-Open Dualities for Stably Continuous Posets
    Jérémie Marquès
    HALPreprintLicence not statedLogic & foundationsHAL
  13. Unique Normal Forms: Proof-Graph Counterexamples, Infinite-Carrier Certificates, and Confluence Repair
    Moses Rahnama
    HALPreprintLicence not statedLogic & foundationsHAL
  14. Most Properties are Undecidable for Transitive Tense Logics
    Qian Chen, Tenyo Takahashi
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  15. A Rank-Preserving Gaifman Normal Form
    Martin Grohe, Nicole Schweikardt
    arXivPreprintarXiv licenceFull textLogic & foundationsarXiv