Logic

Authors and titles for math.LO in Apr 2014

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

Title: Boole's Method I. A Modern Version

Authors: Stanley Burris, H.P. Sankappanavar

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

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

Title: On Pocrims and Hoops

Authors: Rob Arthan, Paulo Oliva

Comments: 37 pages

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

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

Title: Extentability of Automorphisms of Generic Substructures

Authors: Aristotelis Panagiotopoulos

Comments: 21 pages

Subjects: Logic (math.LO)

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

Title: Canonical forking in AECs

Authors: Will Boney, Rami Grossberg, Alexei Kolesnikov, Sebastien Vasey

Comments: 33 pages

Journal-ref: Annals of Pure and Applied Logic 167 (2016), no. 7, 590-613

Subjects: Logic (math.LO)

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

Title: Type-amalgamation properties and polygroupoids in stable theories

Authors: John Goodrick, Byunghan Kim, Alexei Kolesnikov

Comments: 37 pages

Subjects: Logic (math.LO)

[6]  arXiv:1404.1586 [pdf, ps, other]

Title: Weak and local versions of measurability

Authors: Paolo Lipparini

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

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

Title: On Martin's Pointed Tree Theorem

Authors: Rupert Hölzl, Frank Stephan, Liang Yu

Subjects: Logic (math.LO)

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

Title: Absoluteness via Resurrection

Authors: Giorgio Audrito, Matteo Viale

Comments: 34 pages

Subjects: Logic (math.LO)

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

Title: Normal numbers and limit computable Cantor series

Authors: Achilles A. Beros, Konstantinos A. Beros

Comments: 5 pages

Journal-ref: Notre Dame J. Formal Logic 58, no. 2 (2017), 215-220

Subjects: Logic (math.LO)

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

Title: A complicated family of trees with omega + 1 levels

Authors: Saharon Shelah

Subjects: Logic (math.LO)