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

Logic

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

[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]
[51]  arXiv:2107.02923 (cross-list from math.GR) [pdf, other]
Title: Complexity and randomness in the Heisenberg groups (and beyond)
Subjects: Group Theory (math.GR); Logic (math.LO); Probability (math.PR)
[52]  arXiv:2107.03362 (cross-list from math.AC) [pdf, other]
Title: The automorphism group of a valued field of generalised formal power series
Comments: To appear in: J. Algebra
Subjects: Commutative Algebra (math.AC); Logic (math.LO)
[53]  arXiv:2107.03643 (cross-list from math.NT) [pdf, ps, other]
Title: A Pila--Wilkie theorem for Hensel minimal curves
Comments: 17 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Logic (math.LO)
[54]  arXiv:2107.04250 (cross-list from math.CO) [pdf, ps, other]
Title: Borel chain conditions of Borel posets
Authors: Ming Xiao
Subjects: Combinatorics (math.CO); Logic (math.LO)
[55]  arXiv:2107.05547 (cross-list from math.CO) [pdf, ps, other]
Title: Elekes-Szabó for groups, and approximate subgroups in weak general position
Subjects: Combinatorics (math.CO); Logic (math.LO)
[56]  arXiv:2107.05806 (cross-list from math.OA) [pdf, ps, other]
Title: On regular $^*$-algebras of bounded linear operators: A new approach towards a theory of noncommutative Boolean algebras
Authors: Michiya Mori
Comments: 39 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO); Rings and Algebras (math.RA)
[57]  arXiv:2107.07747 (cross-list from math.GN) [pdf, ps, other]
Title: Zero-dimensional $σ$-homogeneous spaces
Comments: 22 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[58]  arXiv:2107.09263 (cross-list from math.DS) [pdf, ps, other]
Title: Local entropy theory and descriptive complexity
Subjects: Dynamical Systems (math.DS); Logic (math.LO)
[59]  arXiv:2107.09997 (cross-list from math.GR) [pdf, ps, other]
Title: Groups of finite Morley rank with a generically multiply transitive action on an abelian group
Comments: To appear in \textit{Model Theory}. The manuscript will undergo copy editing, typesetting, and review of the resulting proof before it is published
Journal-ref: Model Th. 1 (2022) 1-14
Subjects: Group Theory (math.GR); Logic (math.LO)
[60]  arXiv:2107.11586 (cross-list from math.GN) [pdf, ps, other]
Title: On the scope of the Effros theorem
Authors: Andrea Medini
Comments: 10 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[61]  arXiv:2107.11834 (cross-list from math.FA) [pdf, ps, other]
Title: Independence, infinite dimension, and operators
Comments: 11 pages
Subjects: Functional Analysis (math.FA); Logic (math.LO)
[62]  arXiv:2107.12925 (cross-list from math.HO) [pdf, ps, other]
Title: The Price of Mathematical Scepticism
Authors: Paul Blain Levy
Comments: Accepted for publication in Phiilosophia Mathematica. 17 pages plus bibliography
Subjects: History and Overview (math.HO); Logic (math.LO)
[63]  arXiv:2107.13989 (cross-list from math.CT) [pdf, ps, other]
Title: Inner automorphisms of presheaves of groups
Authors: Jason Parker
Comments: 35 pages
Subjects: Category Theory (math.CT); Group Theory (math.GR); Logic (math.LO)
[64]  arXiv:2107.14010 (cross-list from math.OA) [pdf, ps, other]
Title: A quantum complexity approach to the Kirchberg Embedding Problem
Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO)
[65]  arXiv:2107.14031 (cross-list from math.CT) [pdf, ps, other]
Title: Doctrines, modalities and comonads
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[66]  arXiv:2107.14198 (cross-list from math.RA) [pdf, ps, other]
Title: Twist structures and Nelson conuclei
Subjects: Rings and Algebras (math.RA); Logic (math.LO)
[67]  arXiv:2107.14760 (cross-list from math.DS) [pdf, ps, other]
Title: The spectral form of Koopman representations of the group of measurable functions with values in the circle
Subjects: Dynamical Systems (math.DS); Logic (math.LO); Representation Theory (math.RT); Spectral Theory (math.SP)
[68]  arXiv:2107.00086 (cross-list from cs.LO) [pdf, ps, other]
Title: An extended and more practical mwp flow analysis
Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)
[69]  arXiv:2107.00097 (cross-list from cs.PL) [pdf, ps, other]
Title: An implementation of flow calculus for complexity analysis (tool paper)
Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)
Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[70]  arXiv:2107.01594 (cross-list from cs.LO) [pdf, other]
Title: A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
Comments: 30 pages. arXiv admin note: text overlap with arXiv:2001.07655
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[71]  arXiv:2107.01998 (cross-list from cs.LO) [pdf, ps, other]
Title: Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Authors: Tim S. Lyon
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[72]  arXiv:2107.06042 (cross-list from cs.LO) [pdf, other]
Title: Finite Model Property and Bisimulation for LFD
Authors: Raoul Koudijs
Comments: 15 pages, submitted for GandALF 2021 conference
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[73]  arXiv:2107.06150 (cross-list from cs.LO) [pdf, ps, other]
Title: From Identity to Difference: A Quantitative Interpretation of the Identity Type
Authors: Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[74]  arXiv:2107.08349 (cross-list from cs.LO) [pdf, other]
Title: Proof Search on Bilateralist Judgments over Non-deterministic Semantics
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[75]  arXiv:2107.12475 (cross-list from cs.LO) [pdf, other]
Title: On the hardness of knowing busy beaver values BB(15) and BB(5,4)
Comments: 12 pages, 5 figures, code and machines available at this https URL
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); 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)