We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in Jul 2021, skipping first 25

[ total of 78 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-55 | 56-65 | ... | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]
[26]  arXiv:2107.09339 [pdf, ps, other]
Title: Usuba's principle $UB_λ$ can fail at singular cardinals
Comments: Paper number 1216 second author
Subjects: Logic (math.LO)
[27]  arXiv:2107.09866 [pdf, ps, other]
Title: A note on derivatives, expansions and $Π^1_1$-ranks
Comments: arXiv admin note: text overlap with arXiv:2107.09263
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[28]  arXiv:2107.10033 [pdf, ps, other]
Title: Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy
Comments: 11 pages
Journal-ref: Logic, Rationality, and Interaction. LORI 2021 (eds. S. Ghosh and T. Icard). Lecture Notes in Computer Science, vol. 13039, pp. 1-13
Subjects: Logic (math.LO)
[29]  arXiv:2107.10128 [pdf, ps, other]
Title: The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Subjects: Logic (math.LO)
[30]  arXiv:2107.10349 [pdf, ps, other]
Title: Dynamic Cantor Derivative Logic
Comments: Appears in Computer Science Logic (CSL) 2022 Proceedings
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[31]  arXiv:2107.10470 [pdf, ps, other]
Title: Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$
Comments: Better version
Subjects: Logic (math.LO)
[32]  arXiv:2107.10540 [pdf, ps, other]
Title: Counting finite linearly ordered involutive bisemilattices
Journal-ref: Lecture Notes in Computer Science, vol 11194, 2018
Subjects: Logic (math.LO); Combinatorics (math.CO)
[33]  arXiv:2107.10543 [pdf, ps, other]
Title: A topos for continuous logic
Subjects: Logic (math.LO); Category Theory (math.CT)
[34]  arXiv:2107.10768 [pdf, ps, other]
Title: Lindenbaum-type Logical Structures
Comments: The final version of the article has been submitted to Logica Universalis. This version contains some major revisions and expansions
Subjects: Logic (math.LO)
[35]  arXiv:2107.10817 [pdf, ps, other]
Title: Team Semantics and Independence Notions in Quantum Physics
Subjects: Logic (math.LO)
[ total of 78 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-55 | 56-65 | ... | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2209, contact, help  (Access key information)