Logic

Authors and titles for math.LO in Feb 2015

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

Title: Quantifier elimination in C*-algebras

Authors: Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg, Alessandro Vignati

Comments: More improvements and bug fixes. To appear in IMRN

Subjects: Logic (math.LO); Operator Algebras (math.OA)

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

Title: On products of elementarily indivisible structures

Authors: Nadav Meir

Comments: 21 pages, minor corrections

Journal-ref: The Journal of Symbolic Logic, Volume 81, Issue 3 September 2016, pp. 951-971

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

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

Title: Undecidable problems for propositional calculi with implication

Authors: Grigoriy V. Bokov

Comments: 18 pages. arXiv admin note: text overlap with arXiv:1407.7010

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

[4]  arXiv:1502.01039 [pdf, other]

Title: Quasiminimal structures, groups and Zariski-like geometries

Authors: Tapani Hyttinen, Kaisa Kangas

Subjects: Logic (math.LO)

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

Title: On model theory of covers of algebraically closed fields

Authors: Tapani Hyttinen, Kaisa Kangas

Subjects: Logic (math.LO)

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

Title: Restrictions on Forcings That Change Cofinalities

Authors: Yair Hayut, Asaf Karagila

Comments: 8 pages; post-refereeing version

Journal-ref: Arch. Math. Logic (2016) 55: 373

Subjects: Logic (math.LO)

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

Title: Stone MV-algebras and Strongly complete MV-algebras

Authors: Jean B. Nganou

Comments: 15 pages

Subjects: Logic (math.LO)

[8]  arXiv:1502.02520 [pdf, other]

Title: The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups I : Treelike CFPOs

Authors: Robert Barham

Comments: Part 1 of 3

Subjects: Logic (math.LO)

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

Title: A Note on Always Decidable Propositional Forms

Authors: Merlin Carl

Subjects: Logic (math.LO)

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

Title: An extensional Kleene realizability semantics for the Minimalist Foundation

Authors: Maria Emilia Maietti, Samuele Maschio

Subjects: Logic (math.LO)

[11]  arXiv:1502.03219 [pdf, other]

Title: The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups II : Cone Transitive CFPOs

Authors: Robert Barham

Comments: Part 2 of 3

Subjects: Logic (math.LO)

[12]  arXiv:1502.03225 [pdf, other]

Title: Finding a field in a Zariski-like structure

Authors: Kaisa Kangas

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

Subjects: Logic (math.LO)

[13]  arXiv:1502.03237 [pdf, other]

Title: The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups III : Decorated CFPOs

Authors: Robert Barham

Comments: Part 3 of 3

Subjects: Logic (math.LO)

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

Title: Modal definability based on Łukasiewicz validity relations

Authors: Bruno Teheux

Subjects: Logic (math.LO)

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

Title: More than bargained for in Reverse Mathematics

Authors: Sam Sanders

Subjects: Logic (math.LO)

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

Title: Searching through the reals

Authors: Sam Sanders

Subjects: Logic (math.LO)

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

Title: Uniform and nonstandard existence in Reverse Mathematics

Authors: Sam Sanders

Subjects: Logic (math.LO)

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

Title: Reverse Mathematics of Brouwer's continuity theorem and related principles

Authors: Sam Sanders

Subjects: Logic (math.LO)

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

Title: The Gandy-Hyland functional and a hitherto unknown computational aspect of Nonstandard Analysis

Authors: Sam Sanders

Comments: 38 pages, To appear in 'Computability'

Subjects: Logic (math.LO)

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

Title: The weakness of being cohesive, thin or free in reverse mathematics

Authors: Ludovic Patey

Comments: 31 pages

Subjects: Logic (math.LO)

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

Title: Any FIP real computes a 1-generic

Authors: Peter Cholak, Rod Downey, Greg Igusa

Comments: submitted, revised after referee report

Subjects: Logic (math.LO)

[22]  arXiv:1502.03885 [pdf, ps, other]

Title: On decidable algebraic fields

Authors: Moshe Jarden, Alexandra Shlapentokh

Subjects: Logic (math.LO); Number Theory (math.NT)

[23]  arXiv:1502.04144 [src]

Title: Superstability in Tame Abstract Elementary Classes

Authors: Monica VanDieren

Comments: This paper has been withdrawn by the author due to a crucial error

Subjects: Logic (math.LO)

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

Title: Definably amenable NIP groups

Authors: Artem Chernikov, Pierre Simon

Comments: The introduction was reworked to make it more accessible to the general mathematical audience; the argument in Proposition 3.15 was clarified; discussion of the unique ergodicity was moved to Section 3.4, Section 4 now has no subsections; minor presentation improvements and clarifications were made throughout the article; accepted to the Journal of the American Mathematical Society

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

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

Title: Tukey reduction among analytic directed orders

Authors: Sławomir Solecki

Subjects: Logic (math.LO)