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

Logic

Authors and titles for math.LO in Sep 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:2109.12189 [pdf, ps, other]
Title: Un principe d'Ax-Kochen-Ershov imaginaire
Comments: 61 pages
Subjects: Logic (math.LO)
[52]  arXiv:2109.12486 [pdf, ps, other]
Title: Realizations of countable Borel equivalence relations
Comments: 92 pages; added compact realization for aperiodic part of shift
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[53]  arXiv:2109.12600 [pdf, ps, other]
Title: Abstract evolution systems
Comments: 21 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
[54]  arXiv:2109.12615 [pdf, ps, other]
Title: New Results on Congruence Boolean Lifting Property
Authors: George Georgescu
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[55]  arXiv:2109.12642 [pdf, ps, other]
Title: Shearing in some simple rank one theories
Comments: [MiSh:1221] . This manuscript grew out of what was originally the last section of 1810.09604v2
Subjects: Logic (math.LO)
[56]  arXiv:2109.12721 [pdf, other]
Title: On the Pettis-Johnstone theorem for localic groups
Authors: Ruiyuan Chen
Comments: 12 pages
Subjects: Logic (math.LO)
[57]  arXiv:2109.13133 [pdf, ps, other]
Title: Rich groups, weak second order logic, and applications
Comments: This a mainly expository paper, the final version of which appeared as a contribution to the book "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Journal-ref: "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Subjects: Logic (math.LO); Group Theory (math.GR)
[58]  arXiv:2109.14513 [pdf, ps, other]
Title: $C_p$-Theory for Model Theorists
Subjects: Logic (math.LO)
[59]  arXiv:2109.14745 [pdf, ps, other]
Title: On the independence of Robinson's set of axioms for propositional calculus
Authors: Benoît Jubin
Comments: 3 pages; v3: addendum with one table
Subjects: Logic (math.LO)
[60]  arXiv:2109.14877 [pdf, ps, other]
Title: Constructing models of small ordered theories with maximal countable spectrum
Comments: 21 pages
Subjects: Logic (math.LO)
[61]  arXiv:2109.15073 [pdf, other]
Title: Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[62]  arXiv:2109.15080 [pdf, ps, other]
Title: Robustness of non-computability
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[63]  arXiv:2109.15165 [pdf, ps, other]
Title: Euclidean numbers and numerosities
Subjects: Logic (math.LO)
[64]  arXiv:2109.04291 (cross-list from math.CT) [pdf, ps, other]
Title: Syntax and Consequence Relations -- A Categorical Perspective
Authors: Lingyuan Ye
Comments: 32 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[65]  arXiv:2109.04591 (cross-list from math.CO) [pdf, ps, other]
Title: Combinatorial properties of non-archimedean convex sets
Comments: 22 pages
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Logic (math.LO)
[66]  arXiv:2109.05458 (cross-list from math.GN) [pdf, ps, other]
Title: Games characterizing certain families of functions
Comments: 11 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[67]  arXiv:2109.07286 (cross-list from math.GN) [pdf, ps, other]
Title: What makes a Stone topological algebra profinite
Comments: arXiv admin note: text overlap with arXiv:1910.03674
Subjects: General Topology (math.GN); Logic (math.LO)
[68]  arXiv:2109.08064 (cross-list from math.CT) [pdf, ps, other]
Title: Dialectica Logical Principles
Comments: 15 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[69]  arXiv:2109.09230 (cross-list from math.NT) [pdf, ps, other]
Title: Not Pfaffian
Authors: James Freitag
Subjects: Number Theory (math.NT); Logic (math.LO)
[70]  arXiv:2109.10823 (cross-list from math.GN) [pdf, ps, other]
Title: The double density spectrum of a topological space
Comments: 16 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[71]  arXiv:2109.12682 (cross-list from math.OA) [pdf, ps, other]
Title: The Connes Embedding Problem: A guided tour
Authors: Isaac Goldbring
Comments: 74 pages. First draft. Comments very, very welcome (and very much appreciated)
Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)
[72]  arXiv:2109.13750 (cross-list from math.RT) [pdf, ps, other]
Title: Strictly atomic modules in definable categories
Authors: Mike Prest
Subjects: Representation Theory (math.RT); Logic (math.LO); Rings and Algebras (math.RA)
[73]  arXiv:2109.14123 (cross-list from math.CT) [pdf, ps, other]
Title: Regular Calculi I: Graphical Regular Logic
Subjects: Category Theory (math.CT); Logic (math.LO)
[74]  arXiv:2109.03721 (cross-list from cs.LO) [pdf, other]
Title: Conjectures, Tests and Proofs: An Overview of Theory Exploration
Authors: Moa Johansson (Chalmers University of Technology), Nicholas Smallbone (Chalmers University of Technology)
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 1-16
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Logic (math.LO)
[75]  arXiv:2109.07218 (cross-list from cs.LO) [pdf, other]
Title: Limitations of the Invertible-Map Equivalences
Subjects: Logic in Computer Science (cs.LO); 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, 2201, contact, help  (Access key information)