Logic

Authors and titles for June 2014

[26] arXiv:1406.4251 [pdf, other]

Title: Semi-Good Frames with Amalgamation and Tameness in lambda^+

Adi Jarden

Comments: arXiv admin note: substantial text overlap with arXiv:0901.0852

Subjects: Logic (math.LO)

[27] arXiv:1406.4384 [pdf, other]

Title: Decidable fragments of the Simple Theory of Types with Infinity and NF

Anuj Dawar, Thomas Forster, Zachiri McKenzie

Comments: 19 pages

Journal-ref: Notre Dame J. Formal Logic 58, no. 3 (2017), 433-451

Subjects: Logic (math.LO)

[28] arXiv:1406.4635 [pdf, other]

Title: Continuous structures of quantum circuits

Aleksander Ivanov

Comments: 15 pages

Subjects: Logic (math.LO)

[29] arXiv:1406.4786 [pdf, other]

Title: On the existence of a connected component of a graph

Kirill Gura, Jeffry L. Hirst, Carl Mummert

Comments: 25 pages, 3 figures. Versions 2 and 3 include additional results related to Weihrauch reducibility

Journal-ref: Computability, vol. 4, no. 2, pp. 103-117, 2015

Subjects: Logic (math.LO)

[30] arXiv:1406.4875 [pdf, other]

Title: Saturation and elementary equivalence of C*-algebras

Christopher J. Eagle, Alessandro Vignati

Comments: 36 pages. Version 4 is rewritten for clarity in several places

Journal-ref: Journal of Functional Analysis 269 (2015) pp. 2631-2664

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[31] arXiv:1406.5242 [pdf, other]

Title: Games and elementary equivalence of $\rm II_1$ factors

Isaac Goldbring, Thomas Sinclair

Comments: 13 pages; final version to appear in the Pacific Journal of Mathematics

Journal-ref: Pacific J. Math. 278 (2015) 103-118

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[32] arXiv:1406.5700 [pdf, other]

Title: A dichotomy for some elementarily generated modal logics

Stanislav Kikot

Subjects: Logic (math.LO)

[33] arXiv:1406.5724 [pdf, other]

Title: Ranks on the Baire class $ξ$ functions

Márton Elekes, Viktor Kiss, Zoltán Vidnyánszky

Journal-ref: Trans. Amer. Math. Soc. 368 (2016) 8111-8143

Subjects: Logic (math.LO)

[34] arXiv:1406.5980 [pdf, other]

Title: Tameness and frames revisited

Will Boney, Sebastien Vasey

Comments: 36 pages

Journal-ref: The Journal of Symbolic Logic 82 (2017), no. 3, 995-1021

Subjects: Logic (math.LO)

[35] arXiv:1406.6007 [pdf, other]

Title: Approximate subgroups

Jean-Cyrille Massicot, Frank Olaf Wagner (ICJ)

Subjects: Logic (math.LO)

[36] arXiv:1406.6268 [pdf, other]

Title: Type theoretical databases

Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak

Subjects: Logic (math.LO); Databases (cs.DB)

[37] arXiv:1406.6386 [pdf, other]

Title: An introduction to multiple gaps

Antonio Avilés

Subjects: Logic (math.LO)

[38] arXiv:1406.6411 [pdf, other]

Title: The conjugacy problem for automorphism groups of countable homogeneous structures

Samuel Coskey, Paul Ellis

Journal-ref: Mathematical logic quarterly 62(6):580-589, 2016

Subjects: Logic (math.LO)

[39] arXiv:1406.6546 [pdf, other]

Title: A "classification" of congruence primal arithmetical algebras

Shohei Izawa

Comments: 15 pages

Subjects: Logic (math.LO); Category Theory (math.CT); Rings and Algebras (math.RA)

[40] arXiv:1406.6579 [pdf, other]

Title: Realizability of Univalence: Modest Kan complexes

Wouter Pieter Stekelenburg

Comments: This paper has been replaced by 'Constructive Simplicial Homotopy'

Subjects: Logic (math.LO); Category Theory (math.CT)

[41] arXiv:1406.6706 [pdf, other]

Title: Simple Type Theory with Undefinedness, Quotation, and Evaluation

William M. Farmer

Comments: This research was supported by NSERC

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[42] arXiv:1406.7132 [pdf, other]

Title: Boolean Dependence Logic and Partially-Ordered Connectives

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema

Comments: 41 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[43] arXiv:1406.7158 [pdf, other]

Title: Model Complete Expansions of the Real Field by Modular Functions and Forms

Ricardo Bianconi

Comments: 14 pages, 1 figure

Journal-ref: South American Journal of Logic, Vol. 1, n. 1, pp. 321-335, 2015

Subjects: Logic (math.LO)

[44] arXiv:1406.7166 [pdf, other]

Title: A note on drastic product logic

Stefano Aguzzoli, Matteo Bianchi, Diego Valota

Comments: 11 pages, 3 figures

Subjects: Logic (math.LO)

[45] arXiv:1406.7402 [pdf, other]

Title: Smoothness of bounded invariant equivalence relations

Krzysztof Krupiński, Tomasz Rzepecki

Comments: 29 pages

Journal-ref: J. Symbolic Logic 81.1 (2016), pp. 326-356

Subjects: Logic (math.LO)

[46] arXiv:1406.7413 [pdf, other]

Title: Subsystems and regular quotients of C-systems

Vladimir Voevodsky

Subjects: Logic (math.LO)

[47] arXiv:1406.7492 [pdf, other]

Title: Andrews' Type Theory with Undefinedness

William M. Farmer

Comments: This research was supported by NSERC. arXiv admin note: text overlap with arXiv:1406.6706

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[48] arXiv:1406.7544 [pdf, other]

Title: Borel chromatic number of closed graphs

Dominique Lecomte (IMJ), Miroslav Zeleny

Comments: The proof of the main lemma has been changed, and the main result is now better than in the previous version

Subjects: Logic (math.LO); General Topology (math.GN)

[49] arXiv:1406.7615 [pdf, other]

Title: Binary simple homogeneous structures are supersimple with finite rank

Vera Koponen

Subjects: Logic (math.LO)

[50] arXiv:1406.7702 [pdf, other]

Title: Variety theorem for algebras with fuzzy order

Vilem Vychodil

Journal-ref: Fuzzy Sets and Systems 303 (2016), 114-127

Subjects: Logic (math.LO)