Logic

Authors and titles for November 2014

[1] arXiv:1411.0084 [pdf, other]

Title: On embedding certain partial orders into the P-points under RK and Tukey reducibility

Dilip Raghavan, Saharon Shelah

Comments: 21 pages, submitted

Subjects: Logic (math.LO)

[2] arXiv:1411.0120 [pdf, html, other]

Title: On n-dependence

Artem Chernikov, Daniel Palacin, Kota Takeuchi

Comments: 22 pages; v.2: corrected a small issue in the published version of the paper, in the proof of (3) implies (2) of Theorem 5.4

Journal-ref: Notre Dame J. Formal Logic, Volume 60, Number 2 (2019), 195-214

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

[3] arXiv:1411.0327 [pdf, other]

Title: On Schauder Equivalence Relations

Xin Ma

Subjects: Logic (math.LO)

[4] arXiv:1411.0510 [pdf, other]

Title: A model theoretic study of right-angled buildings

Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler

Comments: A number of small typos found by typesetter corrected

Journal-ref: J. Eur. Math. Soc. 19, 2017, 3091-3141

Subjects: Logic (math.LO)

[5] arXiv:1411.0732 [pdf, other]

Title: Using almost-everywhere theorems from analysis to study randomness

Kenshi Miyabe, André Nies, Jing Zhang

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

Subjects: Logic (math.LO)

[6] arXiv:1411.0794 [pdf, other]

Title: Reduced products of metric structures: a metric Feferman-Vaught theorem

Saeed Ghasemi

Comments: in Journal of Symbolic Logic, 2016

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

[7] arXiv:1411.1029 [pdf, other]

Title: An overview of type theories

Nino Guallart

Comments: Conference: Philosophy of Science in the 21st Century: Challenges and Tasks, Faculdade de Ciências da Universidade de Lisboa (Portugal), December 2013

Subjects: Logic (math.LO)

[8] arXiv:1411.1096 [pdf, other]

Title: Subcompletions of representable relation algebras

Roger D. Maddux

Comments: 22 pages, presented as Subcompletions of atomic representable relational algebras, Invited Talk, at the Workshop on Lattices and Relations, 12 September 2012, Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands

Journal-ref: Algebra Univers. (2018) 79: 20

Subjects: Logic (math.LO)

[9] arXiv:1411.1106 [pdf, other]

Title: Determinacy of Refinements to the Difference Hierarchy of Co-analytic Sets

Chris Le Sueur

Comments: 40 pages

Subjects: Logic (math.LO)

[10] arXiv:1411.1202 [pdf, other]

Title: Many symmetrically indivisible structures

Nadav Meir

Comments: 10 pages

Journal-ref: Math. Log. Quart. 61, No. 4 - 5, 341 - 346 (2015)

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

[11] arXiv:1411.1592 [pdf, other]

Title: The complexity of satisfaction problems in reverse mathematics

Ludovic Patey

Comments: 19 pages

Subjects: Logic (math.LO)

[12] arXiv:1411.1599 [pdf, other]

Title: Degrees bounding principles and universal instances in reverse mathematics

Ludovic Patey

Comments: 23 pages

Subjects: Logic (math.LO)

[13] arXiv:1411.1736 [pdf, other]

Title: The local universes model: an overlooked coherence construction for dependent type theories

Peter LeFanu Lumsdaine, Michael A. Warren

Comments: 36 pages. Definition of "pseudo-stable" corrected from earlier version. To appear in ACM Transactions on Computational Logic

Journal-ref: ACM Trans. Comput. Log., Vol. 16 Issue 3 (July 2015), no. 23

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

[14] arXiv:1411.2062 [pdf, other]

Title: A note on regular De Morgan semi-Heyting algebras

Hanamantagouda P. Sankappanavar

Comments: 14 pages, 2 figures

Subjects: Logic (math.LO)

[15] arXiv:1411.2551 [pdf, other]

Title: Indestructibility properties of remarkable cardinals

Yong Cheng, Victoria Gitman

Comments: 21 pages. Commentary concerning this article can be made at this http URL

Subjects: Logic (math.LO)

[16] arXiv:1411.2682 [pdf, other]

Title: The General Universal Property of the Propositional Truncation

Nicolai Kraus

Comments: v1: 27 pages; v2: 34 pages, improved notation, improved presentation in general, added figures to improve readability, added proof for the finite cases, corrected conjecture; to appear in the post-proceedings of TYPES'14 (LIPIcs); v3: fixed the statement of Lemma 2.1

Journal-ref: TYPES 2014, Leibniz International Proceedings in Informatics (LIPIcs), vol 39, 2015

Subjects: Logic (math.LO)

[17] arXiv:1411.2987 [pdf, other]

Title: Omitting types in logic of metric structures

Ilijas Farah, Menachem Magidor

Comments: Numerous improvements

Subjects: Logic (math.LO)

[18] arXiv:1411.3144 [pdf, other]

Title: Copies of the Random Graph: the 2-localization

Miloš S. Kurilić, Stevo Todorčević

Comments: 17 pages

Journal-ref: Ann. Pure Appl. Logic, 167,8 (2016) 649-662

Subjects: Logic (math.LO)

[19] arXiv:1411.3262 [pdf, other]

Title: A Ramsey theorem on semigroups and a general van der Corput lemma

Anush Tserunyan

Comments: Changes in definitions that make the statements a bit more general and the flow of proofs smoother

Journal-ref: Journal of Symbolic Logic, vol. 81 (2016), no. 2, pp. 718--741

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

[20] arXiv:1411.3629 [pdf, other]

Title: Lectures on the Epsilon Calculus

Richard Zach

Subjects: Logic (math.LO)

[21] arXiv:1411.4066 [pdf, other]

Title: Fraïssé limits of C*-algebras

Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini

Comments: 19 pages. Final submitted version

Journal-ref: J. Symb. Log. 81 (2016), no. 2, 755-773

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

[22] arXiv:1411.4481 [pdf, other]

Title: An order-theoretic characterization of the Howard-Bachmann-hierarchy

Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann

Comments: 46 pages

Subjects: Logic (math.LO)

[23] arXiv:1411.4820 [pdf, other]

Title: Reducts of the Generic Digraph

Lovkush Agarwal

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

[24] arXiv:1411.4857 [pdf, other]

Title: Why Do We Believe Theorems?

Andrzej Pelc

Subjects: Logic (math.LO)

[25] arXiv:1411.4987 [pdf, other]

Title: A general view of the algebraic semantics of Łukasiewicz logic with product

Serafina Lapenta, Ioana Leustean

Subjects: Logic (math.LO)

[26] arXiv:1411.5008 [pdf, other]

Title: Strongly minimal pseudofinite structures

Anand Pillay

Comments: 11 pages

Subjects: Logic (math.LO)

[27] arXiv:1411.5134 [pdf, other]

Title: Gowers' Ramsey Theorem with multiple operations and dynamics of the homeomorphism group of the Lelek fan

Dana Bartošová, Aleksandra Kwiatkowska

Comments: accepted to Journal of Combinatorial Theory, Series A

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

[28] arXiv:1411.5591 [pdf, other]

Title: Constructive Set Theory from a Weak Tarski Universe

Cesare Gallozzi

Comments: 96 pages

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

[29] arXiv:1411.5874 [pdf, other]

Title: On the logical strengths of partial solutions to mathematical problems

Laurent Bienvenu, Ludovic Patey, Paul Shafer

Comments: 43 pages

Subjects: Logic (math.LO)

[30] arXiv:1411.6129 [pdf, other]

Title: Mitchell-style forcing, with small working parts and collections of models as side conditions, and gap-one simplified morasses

Charles Morgan

Subjects: Logic (math.LO)

[31] arXiv:1411.6253 [pdf, other]

Title: On the (non) superstable part of the free group

Chloé Perin, Rizos Sklinos

Comments: 6 pages

Subjects: Logic (math.LO)

[32] arXiv:1411.6321 [pdf, other]

Title: Bounding the Number of Maximal Torsion Cosets on Subvarieties of Algebraic Tori

Tristram de Piro, Chris Smyth, Iskander Aliev

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

[33] arXiv:1411.6452 [pdf, other]

Title: Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power

Tomáš Kroupa, Bruno Teheux

Comments: Accepted to Journal of Logic and Computation

Journal-ref: Journal of Logic and Computation 27(1):129-154, 2017

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

[34] arXiv:1411.6844 [pdf, other]

Title: On the quantifier complexity of definable canonical henselian valuations

Arno Fehm, Franziska Jahnke

Comments: 17 pages

Subjects: Logic (math.LO)

[35] arXiv:1411.6846 [pdf, other]

Title: Diagonally non-computable functions and fireworks

Laurent Bienvenu, Ludovic Patey

Comments: 22 pages

Subjects: Logic (math.LO)

[36] arXiv:1411.6864 [pdf, other]

Title: End-extensions of models of weak arithmetic from complexity-theoretic containments

Leszek Aleksander Kołodziejczyk

Comments: 19 pages

Subjects: Logic (math.LO)

[37] arXiv:1411.7087 [pdf, other]

Title: Consistency proof of a fragment of PV with substitution in bounded arithmetic

Yoriyuki Yamagata

Comments: Submitted version

Journal-ref: The Journal of Symbolic Logic, Volume 83, Issue 3 (2018), pp. 1063-1090

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

[38] arXiv:1411.7164 [pdf, other]

Title: ZF+DC+AX$_4$

Saharon Shelah

Comments: version of 2016

Journal-ref: Arch. Math. Logic, 55(1-2), (2016), 239-294

Subjects: Logic (math.LO)

[39] arXiv:1411.7516 [pdf, other]

Title: A Meta-Logic of Inference Rules: Syntax

Alex Citkin

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

[40] arXiv:1411.7636 [pdf, other]

Title: Changing a semantics: opportunism or courage?

H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili, I. Németi

Comments: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 2014

Journal-ref: In: The life and work of Leon Henkin. Essays on his contributions. Editors: Maria Manzano, Ildiko Sain and Enrique Alonso., Studies in Universal Logic, Springer, 2014, pp.307-337

Subjects: Logic (math.LO)

[41] arXiv:1411.7645 [pdf, other]

Title: Imaginaries in bounded pseudo real closed fields

Samaria Montenegro

Subjects: Logic (math.LO)

[42] arXiv:1411.7654 [pdf, other]

Title: Pseudo real closed field, pseudo p-adically closed fields and NTP2

Samaria Montenegro

Journal-ref: Annals of Pure and Applied Logic, 2016

Subjects: Logic (math.LO)

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

Title: Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Bjørn Kjos-Hanssen (University of Hawaii at Manoa), Paul Kim Long V. Nguyen (University of Hawaii at Manoa), Jason Rute (Pennsylvania State University)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 18, 2014) lmcs:978

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

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

Title: Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice

Thomas Powell

Comments: 25 pages

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

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

Title: The classification problem for finitely generated operator systems and spaces

Martín Argerami, Samuel Coskey, Mehrdad Kalantar, Matthew Kennedy, Martino Lupini, Marcin Sabok

Comments: v2: 32 pages. Minor corrections in Section 4

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

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

Title: Easy/Hard Transition in k-SAT

Bernd R. Schuh

Comments: 11 pages, 6 figures

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

[47] arXiv:1411.3221 (cross-list from math.RT) [pdf, other]

Title: Representation embeddings, interpretation functors and controlled wild algebras

Lorna Gregory, Mike Prest

Comments: More results added

Subjects: Representation Theory (math.RT); Logic (math.LO); Rings and Algebras (math.RA)

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

Title: On the complexity of finding falsifying assignments for Herbrand disjunctions

Pavel Pudlak

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

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

Title: A rate of asymptotic regularity for the Mann iteration of $κ$-strict pseudo-contractions

Daniel Ivan, Laurentiu Leustean

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

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

Title: Generators of projective MV-algebras

Francesco Lacava, Donatop Saeli

Subjects: Rings and Algebras (math.RA); Logic (math.LO)