Logic

Authors and titles for November 2013

[1] arXiv:1311.0303 [pdf, other]

Title: Easton functions and supercompactness

Brent Cody, Sy-David Friedman, Radek Honzik

Subjects: Logic (math.LO)

[2] arXiv:1311.0363 [pdf, other]

Title: About the range property for H

René David, Karim Nour (LAMA - Equipe LIMD - Université de Savoie, Le Bourget du Lac)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (January 21, 2014) lmcs:849

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

[3] arXiv:1311.0499 [pdf, other]

Title: First order theory of cyclically ordered groups

Michèle Giraudet, Gérard Leloup, Francois Lucas (LAREMA)

Subjects: Logic (math.LO)

[4] arXiv:1311.0724 [pdf, other]

Title: Propagation of partial randomness

Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama

Comments: 27 pages. A version of this paper will appear in Annals of Pure and Applied Logic

Subjects: Logic (math.LO)

[5] arXiv:1311.0772 [pdf, other]

Title: Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic

James H. Schmerl

Comments: This version is a complete revision of the previous version. The main result of this version greatly improves the main result of the earlier version

Subjects: Logic (math.LO)

[6] arXiv:1311.0814 [pdf, other]

Title: The foundation axiom and elementary self-embeddings of the universe

Ali Sadegh Daghighi, Mohammad Golshani, Joel David Hamkins, Emil Jeřábek

Comments: 25 pages. Discussion and commentary concerning this article can be made at this http URL. Version 2 has minor changes and a change in title

Journal-ref: Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (S. Geschke, B. L\"owe, and P. Schlicht, eds.), College Publications, London, 2014, pp. 89--112

Subjects: Logic (math.LO)

[7] arXiv:1311.0945 [pdf, other]

Title: Matrix product is many-sorted algebra

Shohei Izawa

Comments: 23 pages

Subjects: Logic (math.LO)

[8] arXiv:1311.1026 [pdf, other]

Title: The coloring existence theorem revisited

Saharon Shelah

Subjects: Logic (math.LO)

[9] arXiv:1311.1029 [pdf, other]

Title: Problems in number theory from busy beaver competition

Pascal Michel

Comments: 35 pages

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 14, 2015) lmcs:1611

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

[10] arXiv:1311.1424 [pdf, other]

Title: A sheafification theorem for doctrines

Fabio Pasquali

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

[11] arXiv:1311.1682 [pdf, other]

Title: A Simple Proof of the Fourier Inversion Theorem Using Nonstandard Analysis

Tristram de Piro

Subjects: Logic (math.LO); Analysis of PDEs (math.AP)

[12] arXiv:1311.1865 [pdf, other]

Title: The decomposability problem for torsion-free abelian groups is analytic complete

Kyle Riggs

Subjects: Logic (math.LO)

[13] arXiv:1311.1897 [pdf, other]

Title: Logique mathématique et linguistique formelle

Christian Retoré (LaBRI, INRIA Bordeaux - Sud-Ouest)

Comments: Transcription d'une "leçon de mathématique d'aujourd'hui" donnée le 7 juillet 2011, in French

Journal-ref: Le\c{c}ons de math\'ematiques d'aujourd'hui, G\'eraud S\'enizergues (Ed.) (2013) 24

Subjects: Logic (math.LO); Computation and Language (cs.CL)

[14] arXiv:1311.1912 [pdf, other]

Title: Complete independence of an axiom system for central translations

Jesse Alama

Comments: 10 pages. Submitted to Note di Matematica

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

[15] arXiv:1311.1915 [pdf, other]

Title: Sentence complexity of theorems in Mizar

Jesse Alama

Comments: 11 pages. Submitted to the Journal of Automated Reasoning special issue on the 40th anniversary of the Mizar system

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

[16] arXiv:1311.1917 [pdf, other]

Title: Toward a structure theory for Lorenzen dialogue games

Jesse Alama

Comments: 20 pages. Expanded version of an informal presentation given at CiE 2010 (Computability in Europe)

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

[17] arXiv:1311.2010 [pdf, other]

Title: Natural Factors of the Medvedev Lattice Capturing IPC

Rutger Kuyper

Journal-ref: Archive for Mathematical Logic 53(7), 2014, 865-879

Subjects: Logic (math.LO)

[18] arXiv:1311.2178 [pdf, other]

Title: Topological completeness of logics above S4

Guram Bezhanisevili, David Gabelaia, Joel Lucero-Bryan

Subjects: Logic (math.LO)

[19] arXiv:1311.2225 [pdf, other]

Title: On uncountable hypersimple unidimensional theories

Ziv Shami

Subjects: Logic (math.LO)

[20] arXiv:1311.2501 [pdf, other]

Title: A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems

Jan Krajicek

Comments: the final version accepted to the this http URL

Journal-ref: Proceedings of the AMS, 143(11), (2015), pp.4951-4965

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[21] arXiv:1311.2683 [pdf, other]

Title: Strong solvability and residual finiteness for finitely decidable varieties

Ralph McKenzie, Matthew Smedberg

Subjects: Logic (math.LO)

[22] arXiv:1311.2690 [pdf, other]

Title: Bounding essential arities of term operations in finitely decidable varieties

Matthew Smedberg

Subjects: Logic (math.LO)

[23] arXiv:1311.3013 [pdf, other]

Title: Fast-collapsing theories

Samuel Alexander

Comments: 14 pages, 1 figure. Amendment to correct bibliography

Journal-ref: Studia Logica 103(1), 2015, pp.53-73

Subjects: Logic (math.LO)

[24] arXiv:1311.3058 [pdf, other]

Title: On special partial types and weak canonical bases in simple theories

Ziv Shami

Subjects: Logic (math.LO)

[25] arXiv:1311.3168 [pdf, other]

Title: The Foundations of Mathematics in the Physical Reality

D. H. Homan

Comments: 15 pages

Subjects: Logic (math.LO)