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

Logic

Authors and titles for math.LO in Apr 2020

[ total of 102 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-102 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2004.00174 [pdf, ps, other]
Title: On a question of Slaman and Steel
Subjects: Logic (math.LO)
[2]  arXiv:2004.00228 [pdf, ps, other]
Title: Ultralocally Closed Clones
Comments: 26 pages, 2 figures
Subjects: Logic (math.LO)
[3]  arXiv:2004.00952 [pdf, ps, other]
Title: Counterfactuals and dependencies on causal teams: expressive power and deduction systems
Subjects: Logic (math.LO)
[4]  arXiv:2004.00989 [pdf, ps, other]
Title: Lattices of Intermediate Theories via Ruitenburg's Theorem
Subjects: Logic (math.LO)
[5]  arXiv:2004.01510 [pdf, ps, other]
Title: Semantics of Computable Physical Models
Comments: 29 pages, 1 figure; section 1 revised, other more minor revisions, "complete neighborhood models" now called "complete basic neighborhood models", article formatting changed
Subjects: Logic (math.LO)
[6]  arXiv:2004.01515 [pdf, ps, other]
Title: A note on Löwenheim-Skolem cardinals
Authors: Toshimichi Usuba
Subjects: Logic (math.LO)
[7]  arXiv:2004.01649 [pdf, other]
Title: Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination
Authors: Vera Koponen
Comments: This version of the article corrects an embarrassing typo in the journal version (in Theoretical Computer Science) of the article, as well as some other typos. The main correction is that '1 - e^{-cn}' in Theorem 3.15 in the journal version has been replaced with 'e^{-cn}' (which is the intended expression) in this version
Journal-ref: Theoretical Computer Science, Vol. 848 (2020) 1-27
Subjects: Logic (math.LO)
[8]  arXiv:2004.01674 [pdf, ps, other]
Title: On The Model Of Hyperrational Numbers With Selective Ultrafilter
Subjects: Logic (math.LO)
[9]  arXiv:2004.02111 [pdf, other]
Title: Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
Comments: 7 pages, accepted for publication and presentation at the 59th IEEE Conference on Decision and Control
Subjects: Logic (math.LO)
[10]  arXiv:2004.02125 [pdf, ps, other]
Title: On the number of independent orders
Subjects: Logic (math.LO)
[11]  arXiv:2004.02316 [pdf, other]
Title: Descriptive Chromatic Numbers of Locally Finite and Everywhere Two Ended Graphs
Authors: Felix Weilacher
Comments: 14 pages, 2 figures
Subjects: Logic (math.LO)
[12]  arXiv:2004.02448 [pdf, ps, other]
Title: A limitation on the KPT interpolation
Authors: Jan Krajíček
Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (August 12, 2020) lmcs:6708
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[13]  arXiv:2004.02844 [pdf, ps, other]
Title: Complexity of majorants
Authors: Alexander Shen
Subjects: Logic (math.LO); Information Theory (cs.IT)
[14]  arXiv:2004.02851 [pdf, ps, other]
Title: Key developments in algorithmic randomness
Subjects: Logic (math.LO)
[15]  arXiv:2004.03062 [pdf, ps, other]
Title: Indiscernible Subspaces and Minimal Wide Types
Authors: James Hanson
Comments: 10 pages; this preprint has been absorbed into arXiv:2011.00610; some errors have been corrected in both
Subjects: Logic (math.LO); Functional Analysis (math.FA)
[16]  arXiv:2004.03404 [pdf, ps, other]
Title: Multi-Dimensional Interpretations of Presburger Arithmetic in Itself
Comments: Submitted to the JLC. arXiv admin note: text overlap with arXiv:1709.07341
Subjects: Logic (math.LO)
[17]  arXiv:2004.03813 [pdf, other]
Title: Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$
Comments: 34 pages
Subjects: Logic (math.LO)
[18]  arXiv:2004.04189 [pdf, ps, other]
Title: Disjoint type graphs with no short odd cycles
Comments: 6 pages. Unpublished note
Subjects: Logic (math.LO)
[19]  arXiv:2004.05431 [pdf, ps, other]
Title: Propositional proof systems and fast consistency provers
Authors: Joost J. Joosten
Journal-ref: Notre Dame Journal of Formal Logic, 48 (3), 381-398; 2007
Subjects: Logic (math.LO)
[20]  arXiv:2004.05592 [pdf, ps, other]
Title: Remarks around the non-existence of difference-closure
Authors: Zoé Chatzidakis
Comments: Submitted
Subjects: Logic (math.LO)
[21]  arXiv:2004.05593 [pdf, ps, other]
Title: A note on the non-existence of prime models of theories of pseudo-finite fields
Authors: Zoé Chatzidakis
Comments: Submitted
Subjects: Logic (math.LO)
[22]  arXiv:2004.05936 [pdf, ps, other]
Title: Cores over Ramsey structures
Comments: 9 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[23]  arXiv:2004.06206 [pdf, ps, other]
Title: Pseudocompactness and the Uniform Metastability Principle in Model Theory
Subjects: Logic (math.LO)
[24]  arXiv:2004.06398 [pdf, ps, other]
Title: The closed fragment of IL is PSPACE hard
Journal-ref: Elsevier, Electronic Notes in Theoretical Computer Science, Volume 278 (47-54), 2011
Subjects: Logic (math.LO)
[25]  arXiv:2004.06411 [pdf, ps, other]
Title: Effective cylindrical cell decompositions for restricted sub-Pfaffian sets
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[ total of 102 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-102 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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