Logic

Authors and titles for October 2012

[1] arXiv:1210.0101 [pdf, other]

Title: What properties of numbers are needed to model accelerated observers in relativity?

Gergely Székely

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1209.3492, arXiv:1204.1773

Journal-ref: In: Jean-Yves B\'eziau, D\'ecio Krause and Jonas R. Becker Arenhart (eds.) Conceptual Clarifications: Tributes to Patrick Suppes (1922-2014). College Publications, pp. 161-174. (2015), http://www.collegepublications.co.uk/tributes/?00028

Subjects: Logic (math.LO); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

[2] arXiv:1210.0240 [pdf, other]

Title: Remarks on quotient algebras

Ryszard Frankiewicz, Sławomir Szczepaniak

Subjects: Logic (math.LO)

[3] arXiv:1210.0404 [pdf, other]

Title: Convexly orderable groups and valued fields

Joseph Flenner, Vincent Guingona

Comments: 17 pages

Subjects: Logic (math.LO)

[4] arXiv:1210.0679 [pdf, other]

Title: Prime types and geometric completeness

Jean Berthet

Comments: 26 pages

Subjects: Logic (math.LO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[5] arXiv:1210.0697 [pdf, other]

Title: Inside the Muchnik Degrees I: Discontinuity, Learnability, and Constructivism

Kojiro Higuchi, Takayuki Kihara

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

[6] arXiv:1210.1259 [pdf, other]

Title: The Rule of Global Necessitation

Samuel A. Alexander

Comments: 21 pages

Subjects: Logic (math.LO)

[7] arXiv:1210.1651 [pdf, other]

Title: Arithmetic Nullstellensatz and Nonstandard Methods

Haydar Göral (ICJ)

Subjects: Logic (math.LO)

[8] arXiv:1210.2008 [pdf, other]

Title: Quasiminimal structures and excellence

Martin Bays, Bradd Hart, Tapani Hyttinen, Meeri Kesälä, Jonathan Kirby

Comments: Detail added to proof of 5.2; publication info added

Journal-ref: Bulletin of the London Mathematical Society, 46(1): 155-163, 2014

Subjects: Logic (math.LO)

[9] arXiv:1210.2051 [pdf, other]

Title: Anomalous Vacillatory Learning

Achilles Beros

Comments: 6 Pages

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

[10] arXiv:1210.2552 [pdf, other]

Title: Ample Hierarchy

Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler

Comments: Section 7 contains more information about ranks

Subjects: Logic (math.LO)

[11] arXiv:1210.2793 [pdf, other]

Title: Some model theory of fibrations and algebraic reductions

Rahim Moosa, Anand Pillay

Comments: Substantially revised and augmented. A new section applying the results to differentially closed fields has been added; title, abstract, and introduction are new, and several new examples are added. 14 pages

Subjects: Logic (math.LO); Complex Variables (math.CV)

[12] arXiv:1210.3258 [pdf, other]

Title: Corrigendum to the paper: Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations

Omar Leon Sanchez

Comments: .A small error in the paper is corrected

Subjects: Logic (math.LO)

[13] arXiv:1210.3304 [pdf, other]

Title: Practical intractability: a critique of the hypercomputation movement

Aran Nayebi

Comments: To appear in Minds and Machines

Journal-ref: Minds and Machines, 24(3): 275-305, August 2014

Subjects: Logic (math.LO); Emerging Technologies (cs.ET); Quantum Physics (quant-ph)

[14] arXiv:1210.3787 [pdf, other]

Title: Many Normal Measures

Shimon Garti

Comments: 12 pages

Journal-ref: Notre Dame J. Formal Logic 55, no. 3 (2014), 349-357

Subjects: Logic (math.LO)

[15] arXiv:1210.4043 [pdf, other]

Title: Distributions of countable models of theories with continuum many types

Roman A. Popkov, Sergey V. Sudoplatov

Subjects: Logic (math.LO)

[16] arXiv:1210.4049 [pdf, other]

Title: Algebras of distributions for binary semi-isolating formulas of a complete theory

Sergey V. Sudoplatov

Comments: 35 pages. arXiv admin note: text overlap with arXiv:1205.3473

Subjects: Logic (math.LO)

[17] arXiv:1210.4220 [pdf, other]

Title: Degrees that are not degrees of categoricity

Bernard A. Anderson, Barbara F. Csima

Comments: 10 pages. Minor revisions

Journal-ref: Notre Dame J. Formal Logic 57, no. 3 (2016), 389-398

Subjects: Logic (math.LO)

[18] arXiv:1210.4479 [pdf, other]

Title: Dp-minimality: invariant types and dp-rank

Pierre Simon

Comments: New section added on dp-rank and the appendix with Sergei Starchenko is now a separate paper

Journal-ref: J. Symbolic Logic, Volume 79-4 (2014) 1025--1045

Subjects: Logic (math.LO)

[19] arXiv:1210.4692 [pdf, other]

Title: Randomness, pseudorandomness and models of arithmetic

Pavel Pudlak

Subjects: Logic (math.LO)

[20] arXiv:1210.4809 [pdf, other]

Title: On provability logics with linearly ordered modalities

Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten

Subjects: Logic (math.LO)

[21] arXiv:1210.4937 [pdf, other]

Title: From Bi-immunity to Absolute Undecidability

Laurent Bienvenu (LIAFA), Rupert Hölzl (LIAFA), Adam R. Day

Subjects: Logic (math.LO)

[22] arXiv:1210.5603 [pdf, other]

Title: One Dimensional T.T.T Structures

Daniel Lowengrub

Comments: 26 pages

Subjects: Logic (math.LO)

[23] arXiv:1210.5658 [pdf, other]

Title: Homotopy type theory and Voevodsky's univalent foundations

Álvaro Pelayo, Michael A. Warren

Comments: 48 pages, 14 figures

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

[24] arXiv:1210.5675 [pdf, other]

Title: Convergence on surreals

István Mezö

Comments: 4 pages

Subjects: Logic (math.LO)

[25] arXiv:1210.5757 [pdf, other]

Title: On groups and fields interpretable in torsion-free hyperbolic groups

Chloé Perin, Anand Pillay, Rizos Sklinos, Katrin Tent

Comments: 12 pages

Subjects: Logic (math.LO); Group Theory (math.GR)