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

Logic

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

[ total of 78 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-55 | 56-65 | 66-75 | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]
[36]  arXiv:2107.10920 [pdf, ps, other]
Title: Worst case expansions of complete theories
Comments: 15 pages; to appear in Model Theory
Journal-ref: Model Th. 1 (2022) 15-30
Subjects: Logic (math.LO)
[37]  arXiv:2107.11110 [pdf, ps, other]
Title: Modular curves and their pseudo-analytic cover
Subjects: Logic (math.LO)
[38]  arXiv:2107.11266 [pdf, ps, other]
Title: Decidability of the theory of addition and the Frobenius map in rings of rational functions
Comments: 24 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC); Number Theory (math.NT)
[39]  arXiv:2107.11356 [pdf, other]
Title: Conservation theorems on semi-classical arithmetic
Comments: 32 pages
Subjects: Logic (math.LO)
[40]  arXiv:2107.11867 [pdf, ps, other]
Title: CP-generic expansions of models of Peano Arithmetic
Comments: 12 pages. Strengthened Proposition 19
Subjects: Logic (math.LO)
[41]  arXiv:2107.11888 [pdf, ps, other]
Title: Towards an untyped proof of Con(NF)
Authors: Zuhair Al-Johar
Comments: 6 pages
Subjects: Logic (math.LO)
[42]  arXiv:2107.12150 [pdf, other]
Title: Cosine and Computation
Comments: Submitted to FSTTCS 2021
Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Number Theory (math.NT)
[43]  arXiv:2107.12624 [pdf, ps, other]
Title: Three characterizations of strict coherence on infinite-valued events
Authors: Tommaso Flaminio
Journal-ref: The Review of Symbolic Logic, 13(3), 593-610, 2020
Subjects: Logic (math.LO); Probability (math.PR)
[44]  arXiv:2107.12722 [pdf, ps, other]
Title: Strong unfoldability, shrewdness and combinatorial consequences
Authors: Philipp Lücke
Comments: Accepted for publication in the "Proceedings of the American Mathematical Society". 15 pages
Subjects: Logic (math.LO)
[45]  arXiv:2107.13119 [pdf, ps, other]
Title: Reinhardt cardinals in inner models
Authors: Gabriel Goldberg
Comments: 4 pages
Subjects: Logic (math.LO)
[ total of 78 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-55 | 56-65 | 66-75 | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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