Logic

Authors and titles for math.LO in Apr 2016

[1]  arXiv:1604.00083 [pdf, ps, other]

Title: The fine structure of operator mice

Authors: Farmer Schlutzenberg, Nam Trang

Comments: 46 pages. Changes in this version: The assumption of DC_R has been removed from Theorem 3.36. The definition of Lp^F has been removed. The terminology "F-opm" has been abbreviated with "F-pm". Some other small changes

Subjects: Logic (math.LO)

[2]  arXiv:1604.00358 [pdf, ps, other]

Title: An example of a Fraïssé class without a Katětov functor

Authors: Jan Grebík

Comments: 6 pages

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

[3]  arXiv:1604.00481 [pdf, ps, other]

Title: The higher sharp I: on $M_1^\#$

Authors: Yizheng Zhu

Comments: 21 pages, split into four parts

Subjects: Logic (math.LO)

[4]  arXiv:1604.00777 [pdf, ps, other]

Title: Categories: How I Learned to Stop Worrying and Love Two Sorts

Authors: Willem Conradie, Sabine Frittella, Michele Piazzai, Apostolos Tzimoulis, Alessandra Palmigiano, Nachoem M. Wijnberg

Comments: References updated

Journal-ref: LNCS, volume 10388, pages 92 - 109, 2017

Subjects: Logic (math.LO)

[5]  arXiv:1604.00879 [pdf, ps, other]

Title: Supersimplicity and countable reducts of a unidimensional hypersimple theory

Authors: Ziv Shami

Comments: arXiv admin note: text overlap with arXiv:0909.4946, arXiv:1311.2225

Subjects: Logic (math.LO)

[6]  arXiv:1604.01374 [src]

Title: The Line Graph of the Universal Homogeneous Triangle-free Graph

Authors: Andres Aranda

Comments: The main theorem is false

Subjects: Logic (math.LO)

[7]  arXiv:1604.01386 [pdf, ps, other]

Title: The finite representation property fails for composition and intersection

Authors: Roger D. Maddux

Subjects: Logic (math.LO)

[8]  arXiv:1604.01564 [pdf, ps, other]

Title: Diagonal supercompact Radin forcing

Authors: Omer Ben-Neria, Chris Lambie-Hanson, Spencer Unger

Comments: 19 pages

Subjects: Logic (math.LO)

[9]  arXiv:1604.01621 [pdf, ps, other]

Title: Olson Order of Quantum Observables

Authors: Anatolij Dvurečenskij

Subjects: Logic (math.LO); Mathematical Physics (math-ph); Functional Analysis (math.FA)

[10]  arXiv:1604.02196 [pdf, ps, other]

Title: Fine's Theorem on First-Order Complete Modal Logics

Authors: Robert Goldblatt

Journal-ref: In 'Metaphysics, Meaning and Modality. Themes from Kit Fine', edited by Mircea Dumitru, Oxford University Press 2020, pp. 316-334

Subjects: Logic (math.LO)

[11]  arXiv:1604.02228 [pdf, ps, other]

Title: Jump operations for Borel graphs

Authors: Adam R. Day, Andrew S. Marks

Journal-ref: J. Symb. Log 82 (2018), 13-28

Subjects: Logic (math.LO)

[12]  arXiv:1604.02473 [pdf, ps, other]

Title: Gruff Ultrafilters

Authors: David Fernández-Bretón, Michael Hrušák

Comments: 12 pages + 1 extra page at the end with a corrigendum concerning Theorems 4.2 and 4.3, please refer to this corrigendum before citing said theorems

Journal-ref: Topology and its Applications 210 (2016), 355-365 (article); Topology and its Applications 231 (2017), 430-431 (corrigendum)

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

[13]  arXiv:1604.02607 [pdf, ps, other]

Title: Gödel's Notre Dame Course

Authors: Milos Adzic, Kosta Dosen

Comments: 18 pages. minor additions, arXiv admin note: text overlap with arXiv:1604.03078

Subjects: Logic (math.LO); History and Overview (math.HO)

[14]  arXiv:1604.02757 [pdf, ps, other]

Title: Gödel on Deduction

Authors: Kosta Dosen, Milos Adzic

Comments: 25 pages

Subjects: Logic (math.LO); History and Overview (math.HO)

[15]  arXiv:1604.03054 [pdf, ps, other]

Title: Oppositions in a line segment

Authors: Alexandre Costa-Leite

Comments: This is the version accepted for publication (South American Journal of Logic, 2018)

Subjects: Logic (math.LO)

[16]  arXiv:1604.03078 [pdf, ps, other]

Title: Gödel's Natural Deduction

Authors: Kosta Dosen, Milos Adzic

Comments: 22 pages

Subjects: Logic (math.LO); History and Overview (math.HO)

[17]  arXiv:1604.03137 [pdf, ps, other]

Title: Measures and slaloms

Authors: Piotr Borodulin-Nadzieja, Tanmay Inamdar

Comments: 25 pages

Subjects: Logic (math.LO)

[18]  arXiv:1604.03452 [pdf, ps, other]

Title: Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Authors: Ka-Yue Cheng

Comments: 10 pages

Subjects: Logic (math.LO)

[19]  arXiv:1604.03568 [pdf, ps, other]

Title: On non-separable growths of omega supporting measures

Authors: Piotr Borodulin-Nadzieja, Tomasz Żuchowski

Comments: 14 pages

Subjects: Logic (math.LO)

[20]  arXiv:1604.03581 [pdf, ps, other]

Title: Existentially closed fields with finite group actions

Authors: Daniel Max Hoffmann, Piotr Kowalski

Subjects: Logic (math.LO)

[21]  arXiv:1604.03841 [pdf, ps, other]

Title: Type decomposition in NIP theories

Authors: Pierre Simon

Comments: Several improvements made following the referee report

Subjects: Logic (math.LO)

[22]  arXiv:1604.03851 [pdf, other]

Title: Constructive reflection principles for regular theories

Authors: Henrik Forssell, Peter LeFanu Lumsdaine

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

[23]  arXiv:1604.04003 [pdf, ps, other]

Title: Non-standard cohomology for equivariant sheaves: The role of generic models

Authors: Gabriel Padilla, Andres Villaveces

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1304.2477

Subjects: Logic (math.LO)

[24]  arXiv:1604.04227 [pdf, ps, other]

Title: On a paraconsistentization functor in the category of consequence structures

Authors: Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H.B. Dias

Comments: This new version includes corrections and a change in the order of propositions

Subjects: Logic (math.LO)

[25]  arXiv:1604.04230 [pdf, ps, other]

Title: Multiple Recurrence and Algorithmic Randomness

Authors: Rodney G. Downey, Satyadev Nandakumar, Andre Nies

Comments: arXiv admin note: text overlap with arXiv:1602.04432

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