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)

[26] arXiv:1210.5759 [pdf, other]

Title: On idealized versions of $\pr_1(μ^+,μ^+,μ^+,\cf(μ))$

Todd Eisworth

Subjects: Logic (math.LO)

[27] arXiv:1210.5854 [pdf, other]

Title: The fundamentals of relations language mathematics

V. Ye. Mitroshin

Comments: 5 pages, 2 figures

Subjects: Logic (math.LO)

[28] arXiv:1210.5957 [pdf, other]

Title: Generic stability and stability

Hans Adler, Enrique Casanovas, Anand Pillay

Subjects: Logic (math.LO)

[29] arXiv:1210.6288 [pdf, other]

Title: Natural Topology

Frank Waaldijk

Comments: 174 pages, 1 illustration

Subjects: Logic (math.LO)

[30] arXiv:1210.6298 [pdf, other]

Title: Conditional computability of real functions with respect to a class of operators

Ivan Georgiev, Dimiter Skordev

Comments: Manuscript accepted for publication in the CiE 2011 post-proceedings, which will appear in Annals of Pure and Applied Logic

Journal-ref: Ann. Pure Appl. Logic 164 (2013) 550-565

Subjects: Logic (math.LO)

[31] arXiv:1210.6517 [pdf, other]

Title: A new approach to soft set through applications of cubic set

S. Abdullah, I. Khan, M. Aslam

Subjects: Logic (math.LO)

[32] arXiv:1210.6518 [pdf, other]

Title: A new generalization of fuzzy ideals in LA-semigroups

S. Abdullah, M. Atique Khan, M. Aslam

Subjects: Logic (math.LO)

[33] arXiv:1210.6538 [pdf, other]

Title: Natural Factors of the Muchnik Lattice Capturing IPC

Rutger Kuyper

Comments: Various minor corrections

Journal-ref: The Annals of Pure and Applied Logic 164(10), 2013, 1025-1036

Subjects: Logic (math.LO)

[34] arXiv:1210.6541 [pdf, other]

Title: A multiverse perspective on the axiom of constructiblity

Joel David Hamkins

Comments: 21 pages. This article expands on an argument that I made during my talk at the Asian Initiative for Infinity: Workshop on Infinity and Truth, held July 25--29, 2011 at the Institute for Mathematical Sciences, National University of Singapore. Commentary concerning this paper can be made at this http URL

Subjects: Logic (math.LO)

[35] arXiv:1210.6709 [pdf, other]

Title: Large orbits, projective Fraisse limits, and the pseudo-arc

Aleksandra Kwiatkowska

Comments: Statement of Theorem 1.7 is corrected

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

[36] arXiv:1210.7258 [pdf, other]

Title: Scales in hybrid mice over $\mathbb{R}$

Farmer Schlutzenberg, Nam Trang

Subjects: Logic (math.LO)

[37] arXiv:1210.7317 [pdf, other]

Title: Topological interpretations of provability logic

Lev Beklemishev, David Gabelaia

Comments: 36 pages

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

[38] arXiv:1210.7373 [pdf, other]

Title: Generalized Indiscernibles as Model-complete Theories

Cameron Donnay Hill

Comments: 21 pages

Subjects: Logic (math.LO)

[39] arXiv:1210.7387 [pdf, other]

Title: The generic ultrafilter added by ${(\FIN \times \FIN)}^{+}$

Dilip Raghavan

Comments: Preliminary

Subjects: Logic (math.LO)

[40] arXiv:1210.7475 [pdf, other]

Title: An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals

Alexandre Borovik, Renling Jin, Mikhail G. Katz

Comments: 17 pages, 1 figure

Journal-ref: Notre Dame J. Formal Logic 53, no. 4 (2012), 557-570

Subjects: Logic (math.LO); Functional Analysis (math.FA)

[41] arXiv:1210.7575 [pdf, other]

Title: Products of rough finite state machines

S. P. Tiwari, Shambhu Sharan

Subjects: Logic (math.LO)

[42] arXiv:1210.7576 [pdf, other]

Title: Dimension in T.T.T Structures

Daniel Lowengrub

Comments: 10 pages

Subjects: Logic (math.LO)

[43] arXiv:1210.7615 [pdf, other]

Title: Definable henselian valuations

Franziska Jahnke, Jochen Koenigsmann

Comments: 14 pages, revised version

Subjects: Logic (math.LO)

[44] arXiv:1210.7779 [pdf, other]

Title: A Perfect Set of Reals with Finite Self-Information

Ian Herbert

Comments: 21 pages

Subjects: Logic (math.LO)

[45] arXiv:1210.7882 [pdf, other]

Title: The Geometry of L^k-Canonization I: Rosiness from Efficient Constructibility

Cameron Donnay Hill

Comments: 24 pages

Subjects: Logic (math.LO)

[46] arXiv:1210.7883 [pdf, other]

Title: On Weak Elimination of Hyperimaginaries and its Consequences

Donald Brower, Cameron Donnay Hill

Comments: 16 pages

Subjects: Logic (math.LO)

[47] arXiv:1210.8362 [pdf, other]

Title: A hierarchy of clopen graphs on the Baire space

Arnold W. Miller

Subjects: Logic (math.LO)

[48] arXiv:1210.0420 (cross-list from cs.CC) [pdf, other]

Title: Essential Convexity and Complexity of Semi-Algebraic Constraints

Manuel Bodirsky (LIX, Ecole Polytechnique), Peter Jonsson (Department of Computer and System Science, Linkoepings Universitet), Timo von Oertzen (Max-Planck-Institute for Human Development)

Comments: 25 pages, 3 Figures. An extended abstract of a preliminary version of this paper appeared in the proceedings of ICALP 2009 under the title `Semilinear Program Feasibility'

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 4 (October 10, 2012) lmcs:1218

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

[49] arXiv:1210.0833 (cross-list from math.DS) [pdf, other]

Title: Closed subgroups generated by generic measure automorphisms

Slawomir Solecki

Journal-ref: Ergod. Th. Dynam. Sys. 34 (2014) 1011-1017

Subjects: Dynamical Systems (math.DS); Logic (math.LO)

[50] arXiv:1210.0859 (cross-list from math.CO) [pdf, other]

Title: Abstract approach to Ramsey theory and Ramsey theorems for finite trees

Slawomir Solecki

Subjects: Combinatorics (math.CO); Logic (math.LO)