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-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 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: To appear 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: Introduction and Characterization
Comments: The final version of the article has been submitted to Bulletin of the Section of Logic
Subjects: Logic (math.LO)
[35]  arXiv:2107.10817 [pdf, ps, other]
Title: Team Semantics and Independence Notions in Quantum Physics
Subjects: Logic (math.LO)
[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)
[46]  arXiv:2107.14329 [pdf, ps, other]
Title: On pp elimination and stability in a continuous setting
Comments: 18 pages A few corrections are made and examples added. And a translation with the usual version of continuous logic is given
Subjects: Logic (math.LO)
[47]  arXiv:2107.14439 [pdf, ps, other]
Title: Borel equivalence relations induced by actions of tsi Polish groups
Authors: Jan Grebík
Subjects: Logic (math.LO)
[48]  arXiv:2107.14718 [pdf, ps, other]
Title: On the continuous gradability of the cut-point orders of $\mathbb R$-trees
Authors: Sam Adam-Day
Comments: 22 pages, 4 figures
Journal-ref: In: Topology and its Applications 306 (2022)
Subjects: Logic (math.LO); General Topology (math.GN)
[49]  arXiv:2107.00207 (cross-list from math.HO) [pdf, ps, other]
Title: A two-track tour of Cauchy's Cours
Authors: Mikhail G. Katz
Comments: 12 pages, to appear in Mathematics Today of the Institute of Mathematics and its Applications
Journal-ref: Mathematics Today 57 (2021), no. 4, 154-158
Subjects: History and Overview (math.HO); Logic (math.LO)
[50]  arXiv:2107.00250 (cross-list from math.PR) [pdf, ps, other]
Title: De Finetti for mathematics undergraduates
Authors: Daniele Mundici
Subjects: Probability (math.PR); Combinatorics (math.CO); Logic (math.LO)
[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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