Logic

Authors and titles for August 2016

[26] arXiv:1608.04913 [pdf, other]

Title: When an Equivalence Relation with All Borel Classes will be Borel Somewhere?

William Chan, Menachem Magidor

Subjects: Logic (math.LO)

[27] arXiv:1608.05065 [pdf, other]

Title: The uniform Martin's conjecture for many-one degrees

Takayuki Kihara, Antonio Montalbán

Subjects: Logic (math.LO)

[28] arXiv:1608.05160 [pdf, other]

Title: Reverse mathematics of the relativised fast growing hierarchy

Florian Pelupessy

Subjects: Logic (math.LO)

[29] arXiv:1608.05691 [pdf, other]

Title: On a class of maximality principles

Daisuke Ikegami, Nam Trang

Subjects: Logic (math.LO)

[30] arXiv:1608.05726 [pdf, other]

Title: PFA and guessing models

Nam Trang

Subjects: Logic (math.LO)

[31] arXiv:1608.06006 [pdf, other]

Title: A preservation theorem for theories without the tree property of the first kind

Jan Dobrowolski, Hyeungjoon Kim

Journal-ref: Mathematical Logic Quarterly (63), 536-543, 2017

Subjects: Logic (math.LO)

[32] arXiv:1608.06400 [pdf, other]

Title: A special case of quasiminimality

Gareth Boxall

Comments: 4 pages

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

[33] arXiv:1608.06727 [pdf, other]

Title: Definable tree property for uncountable regular cardinals

Mohammad Golshani, Mostafa Mirabi

Subjects: Logic (math.LO)

[34] arXiv:1608.07656 [pdf, other]

Title: On the structure of certain valued fields

Junguk Lee, Wan Lee

Comments: 25 pages, no figures, accepted version

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

[35] arXiv:1608.07703 [pdf, other]

Title: Unsound Inferences Make Proofs Shorter

Juan P. Aguilera, Matthias Baaz

Comments: 21 pages. July 2017 preprint

Journal-ref: J. symb. log. 84 (2019) 102-122

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

[36] arXiv:1608.08246 [pdf, other]

Title: Relations between randomness deficiencies

Gleb Novikov

Subjects: Logic (math.LO)

[37] arXiv:1608.08421 [pdf, other]

Title: Pure patterns of order 2

Gunnar Wilken

Comments: corrected Theorem 4.2 with according changes in section 3 (mainly Definition 3.3), results unchanged. The manuscript was edited, aligned with reference [14] (moving former Lemma 3.5 there), and argumentation was revised, with minor corrections in (the proof of) Theorem 4.2; results unchanged. Updated revised preprint; to appear in the APAL (2017)

Journal-ref: Annals of Pure and Applied Logic (2017)

Subjects: Logic (math.LO)

[38] arXiv:1608.08438 [pdf, html, other]

Title: Revisiting virtual difference ideals

Zoé Chatzidakis, Ehud Hrushovski

Comments: Contains an erratum to Z. Chatzidakis, E. Hrushovski, Y. Peterzil, Model theory of difference fields, II: Periodic ideals and the trichotomy in all characteristics, Proceedings of the London Math. Society(3) 85 (2002), 257 - 311

Journal-ref: Model Th. 3 (2024) 285-304

Subjects: Logic (math.LO)

[39] arXiv:1608.00533 (cross-list from cs.LO) [pdf, other]

Title: Decision and optimization problems in the Unreliable-Circuit Logic

J. Rasga, C. Sernadas, P. Mateus, A. Sernadas

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

[40] arXiv:1608.00682 (cross-list from math.OA) [pdf, other]

Title: Robinson forcing and the quasidiagonality problem

Isaac Goldbring, Thomas Sinclair

Comments: final version

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

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

Title: Invariant random subgroups and action versus representation maximality

Peter J. Burton, Alexander S. Kechris

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

[42] arXiv:1608.01845 (cross-list from math.GR) [pdf, other]

Title: Maximal hyperbolic towers and weight in the theory of free groups

Benjamin Brück

Comments: 22 pages, 5 figures; v2: several minor changes following the referee's report, to appear in the Mathematical Proceedings of the Cambridge Philosophical Society

Journal-ref: Math. Proc. Camb. Phil. Soc. 170 (2021) 479-498

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

[43] arXiv:1608.02085 (cross-list from math.GR) [pdf, other]

Title: An axiomatizable profinite group with infinitely many open subgroups of index 2

Or Ben Porath, Mark Shusterman

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

[44] arXiv:1608.02935 (cross-list from math.GN) [pdf, other]

Title: Fixed point free homeomorphisms of the complex plane

Nikolaos E. Sofronidis

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

[45] arXiv:1608.03146 (cross-list from math.GN) [pdf, other]

Title: SPM Bulletin 39

Boaz Tsaban

Comments: Boaz Tsaban is an editor of this bulletin

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

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

Title: Thick, syndetic, and piecewise syndetic subsets of Fraïssé structures

Andy Zucker

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

[47] arXiv:1608.04301 (cross-list from cs.LO) [pdf, other]

Title: Validity and Entailment in Modal and Propositional Dependence Logics

Miika Hannula

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (April 26, 2019) lmcs:4215

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

[48] arXiv:1608.05969 (cross-list from math.FA) [pdf, other]

Title: Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions

Laurentiu Leustean, Vlad Radu, Andrei Sipos

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

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

Title: Orientations of graphs with uncountable chromatic number

Dániel T. Soukup

Comments: 25 pages, revised version prepared for publication in the Journal of Graph Theory

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

[50] arXiv:1608.07163 (cross-list from cs.LO) [pdf, other]

Title: Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR

David Cerna

Comments: Remains too incomplete and I would like to avoid future reference to this work

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