arXiv reader

math.LO

40 papers.

  1. Differential equations as difference-differential equations
    Wei Li and Thomas Scanlon · 2610.22317 · math.LO · CC BY 4.0
    23 definitions34 statements30 proofs
  2. Classification of bipartite observables III: simplicity, mixtures and quantum error correction
    Eduardo Dueñez and José Iovino · 2610.22205 · math.LO · CC BY 4.0
    2 definitions22 statements20 proofs5 problems
  3. Beth companions of finitary essentially algebraic theories
    Ivan Di Liberti and Luca Reggio · 2609.03601 · math.CT · CC BY 4.0
    11 definitions35 statements26 proofs
  4. Set-theoretic absoluteness for analysts and separable -algebras without Choice
    Bruce Blackadar and Ilijas Farah · 2602.15812 · math.OA · CC BY 4.0
    4 definitions38 statements25 proofs
  5. Compactness phenomena in HOD and the Optimality of Magidor’s Covering theorem
    Tom Benhamou, James Cummings, Yair Hayut, Gabriel Goldberg and Alejandro Poveda · 2608.24190 · math.LO · CC BY 4.0
    13 definitions42 statements23 proofs6 problems
  6. The Propositional Logic of Team Properties
    Fredrik Engström and Orvar Lorimer-Olsson · 2303.14022 · math.LO · CC BY 4.0
    26 definitions37 statements33 proofs
  7. Completeness and Incompleteness for Expanding Gödel-Löb Logics
    Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten and Sofía Santiago-Fernández · 2606.20229 · math.LO · CC BY 4.0
    12 definitions23 statements21 proofs4 problems
  8. Superabelian logics
    Petr Cintula, Filip Jankovec and Carles Noguera · 2409.20170 · math.LO · CC BY 4.0
    15 definitions28 statements18 proofs1 conjecture
  9. Hemi-Nelson algebras
    Noemí Lubomirsky, Paula Menchón and Hernán Javier San Martín · 2601.01000 · math.LO · CC BY 4.0
    10 definitions35 statements30 proofs
  10. On the Compatibility of Constructive Predicative Mathematics with Weyl’s Classical Predicativity
    Michele Contente and Maria Emilia Maietti · 2407.04161 · math.LO · CC BY 4.0
    6 definitions24 statements18 proofs
  11. Proofs that Modify Proofs, 1/2
    Henry Towsner · 2506.16491 · math.LO · CC BY 4.0
    32 definitions44 statements36 proofs
  12. Approximate Axiomatization for Differentially-Defined Functions
    André Platzer and Long Qian · 2506.08233 · cs.LO · CC BY 4.0
    15 definitions20 statements19 proofs
  13. The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
    Mohamed Aly Bouke · 2505.18850 · cs.AI · CC BY 4.0
    1 statement
  14. Grothendieck rings of ordered subgroups of \mathbb{Q}
    Neer Bhardwaj and Frodo Moonen · 2503.00440 · math.RA · CC BY 4.0
    10 statements9 proofs
  15. Pointwise Kan extensions along 2-fibrations and the 2-category of elements
    Luca Mesiti · 2302.04566 · math.CT · CC BY 4.0
    15 definitions17 statements14 proofs
  16. Categoricity and amalgamation for AEC and \kappa measurable
    Oren Kolman and Saharon Shelah · math/9602216 · math.LO · CC BY 4.0
    24 definitions49 statements47 proofs
  17. Strong partition relations below the power set: consistency, was Sierpinski right, II?
    Saharon Shelah · math/9201244 · math.LO · CC BY 4.0
    21 definitions18 statements14 proofs
  18. Surreal numbers as hyperseries
    Vincent Bagayoko and Joris van der Hoeven · 2310.14879 · math.LO · CC BY 4.0
    8 definitions49 statements38 proofs
  19. Positive Modal Logic Beyond Distributivity
    Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot and Tommaso Moraschini · 2204.13401 · math.LO · CC BY SA 4.0
    31 definitions46 statements32 proofs
  20. The Virtual Large Cardinal Hierarchy
    Stamatis Dimopoulos, Victoria Gitman and Dan Saattrup Nielsen · 2109.06079 · math.LO · CC BY 4.0
    1 proof
  21. Borel sets with large squares
    Saharon Shelah · math/9802134 · math.LO · CC BY 4.0
    8 definitions29 statements28 proofs
  22. Constructing Initial Algebras Using Inflationary Iteration
    Andrew M. Pitts and S. C. Steenkamp · 2105.03252 · math.LO · CC BY 4.0
    6 definitions13 statements11 proofs
  23. On CON(Dominating_lambda > cov_(meagre))
    Saharon Shelah · 0904.0817 · math.LO · CC BY 4.0
    13 definitions10 statements9 proofs2 problems
  24. Corrected Iteration
    Saharon Shelah · 2108.03672 · math.LO · CC BY 4.0
    30 definitions42 statements48 proofs
  25. Countable strict reverse mathematics
    Ilnur Batyrshin · 2209.00108 · math.LO · CC BY 4.0
    8 definitions17 statements16 proofs
  26. Forcing Axioms and the Definabilty of the Nonstationary Ideal on \omega_1
    Stefan Hoffelner, Paul Larson, Ralf Schindler and Liuzhen Wu · 2208.05288 · math.LO · CC BY 4.0
    6 definitions19 statements11 proofs3 problems
  27. A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts
    Prosenjit Howlader and Mohua Banerjee · 2207.11097 · math.LO · CC BY 4.0
    26 definitions75 statements45 proofs
  28. Between reduced powers and ultrapowers, II
    Ilijas Farah and Saharon Shelah · 2011.07352 · math.LO · CC BY 4.0
    8 definitions35 statements26 proofs4 problems
  29. Graphs represented by Ext
    Mohsen Asgharzadeh, Mohammad Golshani and Saharon Shelah · 2110.11143 · math.AC · CC BY 4.0
    16 definitions29 statements18 proofs1 problem1 conjecture
  30. The Elementary Theory of the Frobenius Automorphisms
    Ehud Hrushovski · math/0406514 · math.LO · CC BY 4.0
    37 definitions159 statements186 proofs1 problem
  31. Implication in finite posets with pseudocomplemented sections
    Ivan Chajda and Helmut Länger · 2108.09548 · math.LO · CC BY 4.0
    3 definitions8 statements9 proofs
  32. More on Weak Diamond
    Saharon Shelah · math/9807180 · math.LO · CC BY 4.0
    8 definitions15 statements15 proofs
  33. The Scott model of PCF in univalent type theory
    Tom de Jong · 1904.09810 · math.LO · CC BY 4.0
    30 definitions40 statements38 proofs
  34. A Categorial Equivalence for semi-Nelson algebras
    Juan Manuel Cornejo, Andrés Gallardo and Ignacio Viglizzo · 2007.14459 · math.LO · CC BY 4.0
    10 definitions21 statements9 proofs
  35. Categorical structures for type theory in univalent foundations
    Benedikt Ahrens, Peter LeFanu Lumsdaine and Vladimir Voevodsky · 1705.04310 · math.LO · CC BY 4.0
    24 definitions5 statements14 problems
  36. Equivariant division
    Prajeet Bajpai and Peter G. Doyle · 1704.04089 · math.CO · CC0 1.0
    5 statements3 problems
  37. Knots, Braids and First Order Logic
    Siddhartha Gadgil and T. V. H. Prathamesh · 1209.3562 · math.LO · CC BY 4.0
    11 definitions18 statements5 proofs
  38. Hierarchies of Subsystems of Weak Arithmetic
    Shahram Mohsenipour · 1003.2117 · math.LO · CC0 1.0
    2 definitions20 statements7 proofs
  39. K-trivials are NCR
    Antonio Montalban and Theodore A. Slaman · 0812.1600 · math.LO · CC0 1.0
    7 definitions4 statements2 proofs
  40. Fuzzy signed measure
    Jun Tanaka · 0806.0033 · math.LO · CC BY 4.0
    5 definitions5 statements3 proofs