We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 18 Oct 2017

[1]  arXiv:1710.06309 [pdf, ps, other]
Title: A group version of stable regularity
Comments: 6 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[2]  arXiv:1710.06187 [pdf, ps, other]
Title: System Description: Russell - A Logical Framework for Deductive Systems
Authors: Dmitry Vlasov
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[3]  arXiv:1710.06181 [pdf, ps, other]
Title: Proof Search Algorithm in Pure Logical Framework
Authors: Dmitry Vlasov
Subjects: Logic (math.LO)
[4]  arXiv:1710.06137 [pdf, ps, other]
Title: Universal-homogeneous structures are generic
Comments: 8 pages
Subjects: Logic (math.LO); General Topology (math.GN); Group Theory (math.GR); Probability (math.PR)
[5]  arXiv:1710.06128 [pdf, other]
Title: Countable infinitary theories admitting an invariant measure
Comments: 32 pages
Subjects: Logic (math.LO); Probability (math.PR)

Tue, 17 Oct 2017

[6]  arXiv:1710.05889 [pdf, ps, other]
Title: Omitting Types and the Baire Category Theorem
Comments: 17 pages
Subjects: Logic (math.LO); General Topology (math.GN)
[7]  arXiv:1710.05809 [pdf, ps, other]
Title: Vaught's Two-Cardinal Theorem and Quasi-Minimality in Continuous Logic
Authors: Victoria Noquez
Comments: 21 pages
Subjects: Logic (math.LO)
[8]  arXiv:1710.05743 [pdf, ps, other]
Title: Woodin for strong compactness cardinals
Comments: 19 pages
Subjects: Logic (math.LO)
[9]  arXiv:1710.05599 [pdf, other]
Title: Complexity of the interpretability logic IL
Comments: 26 pages, 1 figure
Subjects: Logic (math.LO)
[10]  arXiv:1710.05138 [pdf, ps, other]
Title: Homogeneous 3-dimensional permutation structures
Authors: Samuel Braunfeld
Subjects: Logic (math.LO); Combinatorics (math.CO)
[11]  arXiv:1710.05079 [pdf, ps, other]
Title: A complexity problem for Borel graphs
Subjects: Logic (math.LO)
[12]  arXiv:1710.05296 (cross-list from math.GN) [pdf, ps, other]
Title: Products of CW complexes
Comments: 14 pages
Subjects: General Topology (math.GN); Algebraic Topology (math.AT); Logic (math.LO)

Fri, 13 Oct 2017

[13]  arXiv:1710.04256 [pdf, ps, other]
Title: Categories of Models of R-Mingle
Subjects: Logic (math.LO)

Thu, 12 Oct 2017

[14]  arXiv:1710.04171 [pdf, ps, other]
Title: VC-dimension of short Presburger formulas
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[15]  arXiv:1710.04022 [pdf, ps, other]
Title: Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation
Subjects: Logic (math.LO)
[16]  arXiv:1710.04002 [pdf, other]
Title: Polishness of some topologies related to automata (Extended version)
Authors: Olivier Finkel (1), Olivier Carton (2), Dominique Lecomte (1) ((1) IMJ-PRG, (2) IRIF)
Comments: This paper is an extended version of a paper which appeared in the proceedings of the 26th EACSL Annual Conference on Computer Science and Logic, CSL 2017. The main addition with regard to the conference paper consists in the study of the B\"uchi topology and of the Muller topology in the case of a space of trees, which now forms Section 3.4
Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Wed, 11 Oct 2017

[17]  arXiv:1710.03586 [pdf, ps, other]
Title: Strong Compactness and the Ultrapower Axiom
Authors: Gabriel Goldberg
Subjects: Logic (math.LO)
[18]  arXiv:1710.03353 [pdf, ps, other]
Title: Existentially generated subfields of large fields
Authors: Sylvy Anscombe
Comments: 12 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[19]  arXiv:1710.03304 [pdf, ps, other]
Title: Algebraic relations between solutions of Painlevé equations
Authors: James Freitag
Comments: This manuscript replaces and greatly expands a portion of arXiv:1608.04756
Subjects: Logic (math.LO)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)