Logic

Authors and titles for February 2015

[1] arXiv:1502.00573 [pdf, other]

Title: Quantifier elimination in C*-algebras

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, other]

Title: On products of elementarily indivisible structures

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, other]

Title: Undecidable problems for propositional calculi with implication

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

Tapani Hyttinen, Kaisa Kangas

Subjects: Logic (math.LO)

[5] arXiv:1502.01042 [pdf, other]

Title: On model theory of covers of algebraically closed fields

Tapani Hyttinen, Kaisa Kangas

Subjects: Logic (math.LO)

[6] arXiv:1502.02165 [pdf, other]

Title: Restrictions on Forcings That Change Cofinalities

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, other]

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

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

Robert Barham

Comments: Part 1 of 3

Subjects: Logic (math.LO)

[9] arXiv:1502.02545 [pdf, other]

Title: A Note on Always Decidable Propositional Forms

Merlin Carl

Subjects: Logic (math.LO)

[10] arXiv:1502.02864 [pdf, other]

Title: An extensional Kleene realizability semantics for the Minimalist Foundation

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

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

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

Robert Barham

Comments: Part 3 of 3

Subjects: Logic (math.LO)

[14] arXiv:1502.03299 [pdf, other]

Title: Modal definability based on {\L}ukasiewicz validity relations

Bruno Teheux

Subjects: Logic (math.LO)

[15] arXiv:1502.03613 [pdf, other]

Title: More than bargained for in Reverse Mathematics

Sam Sanders

Subjects: Logic (math.LO)

[16] arXiv:1502.03615 [pdf, other]

Title: Searching through the reals

Sam Sanders

Subjects: Logic (math.LO)

[17] arXiv:1502.03618 [pdf, other]

Title: Uniform and nonstandard existence in Reverse Mathematics

Sam Sanders

Subjects: Logic (math.LO)

[18] arXiv:1502.03621 [pdf, other]

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

Sam Sanders

Subjects: Logic (math.LO)

[19] arXiv:1502.03622 [pdf, other]

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

Sam Sanders

Comments: 38 pages, To appear in 'Computability'

Subjects: Logic (math.LO)

[20] arXiv:1502.03709 [pdf, other]

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

Ludovic Patey

Comments: 31 pages

Subjects: Logic (math.LO)

[21] arXiv:1502.03785 [pdf, other]

Title: Any FIP real computes a 1-generic

Peter Cholak, Rod Downey, Greg Igusa

Comments: submitted, revised after referee report

Subjects: Logic (math.LO)

[22] arXiv:1502.03885 [pdf, other]

Title: On decidable algebraic fields

Moshe Jarden, Alexandra Shlapentokh

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

[23] arXiv:1502.04144 [pdf, other]

Title: Superstability in Tame Abstract Elementary Classes

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, other]

Title: Definably amenable NIP groups

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, other]

Title: Tukey reduction among analytic directed orders

Sławomir Solecki

Subjects: Logic (math.LO)

[26] arXiv:1502.04429 [pdf, other]

Title: Recent developments in finite Ramsey theory: foundational aspects and connections with dynamics

Sławomir Solecki

Subjects: Logic (math.LO)

[27] arXiv:1502.04513 [pdf, other]

Title: VC-sets and generic compact domination

Pierre Simon

Comments: 15 pages

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

[28] arXiv:1502.05002 [pdf, other]

Title: Distance structures for generalized metric spaces

Gabriel Conant

Comments: 30 pages

Journal-ref: Ann. Pure Appl. Logic 168 (2017), no. 3, 622-650

Subjects: Logic (math.LO)

[29] arXiv:1502.05228 [pdf, other]

Title: Relative commutants of strongly self-absorbing C*-algebras

Ilijas Farah, Bradd Hart, Mikael Rørdam, Aaron Tikuisis

Comments: Some minor corrections

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

[30] arXiv:1502.05500 [pdf, other]

Title: On partial orderings having precalibre-$\aleph_1$ and fragments of Martin's axiom

Joan Bagaria, Saharon Shelah

Comments: arXiv admin note: substantial text overlap with arXiv:1404.2776

Subjects: Logic (math.LO)

[31] arXiv:1502.05512 [pdf, other]

Title: Proof Systems and Models for the First-Order Primal Logic

Alexandra Podgaits

Comments: 17 pages

Subjects: Logic (math.LO)

[32] arXiv:1502.05563 [pdf, other]

Title: Le probl\`eme intensionnel de la quantification chez Hilbert (The intensional problem of quantification in Hilbert)

Jean Petitot

Comments: 34 pages, in French

Subjects: Logic (math.LO)

[33] arXiv:1502.05632 [pdf, other]

Title: Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic

Raine Rönnholm

Comments: Extended version of a paper published in Annals of Pure and Applied Logic 169 (3), 177-215

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

[34] arXiv:1502.05898 [pdf, other]

Title: A transcendental view on the continuum: Woodin's conditional platonism

Jean Petitot

Comments: 43 pages

Journal-ref: Le continu math\'ematique. Nouvelles conceptions, nouveaux enjeux (M. De Glas ed.), Intellectica, 51, 1 (2009) 93-133

Subjects: Logic (math.LO)

[35] arXiv:1502.06021 [pdf, other]

Title: A point on fixpoints in posets

Frédéric Blanqui (INRIA Paris-Rocquencourt)

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

[36] arXiv:1502.06436 [pdf, other]

Title: $R$-analytic functions

Tobias Kaiser

Comments: Final version; to appear at Archive for Mathematical Logic

Subjects: Logic (math.LO)

[37] arXiv:1502.06467 [pdf, other]

Title: Integration and Cell Decomposition in $P$-minimal Structures

Pablo Cubides Kovacsics, Eva Leenknegt

Comments: 22 pages

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

[38] arXiv:1502.06521 [pdf, other]

Title: Model Theory of Compact Complex Manifolds with an Automorphism

Martin Bays, Martin Hils, Rahim Moosa

Comments: A slight misformulation in the statement of the abelian group configuration in the published version has been corrected

Journal-ref: Trans. Amer. Math. Soc. 369 (2017), no. 6, 4485-4516

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

[39] arXiv:1502.06907 [pdf, other]

Title: Congruence Boolean Lifting Property

George Georgescu, Claudia Mureşan

Comments: 30 pages

Subjects: Logic (math.LO)

[40] arXiv:1502.07470 [pdf, other]

Title: On Foreman's maximality principle

Mohammad Golshani, Yair Hayut

Comments: The proof of Lemma 6.3 has changed, and the large cardinal assumption used in earlier version is reduced

Subjects: Logic (math.LO)

[41] arXiv:1502.07701 [pdf, other]

Title: Problems on neat embeddings solved by rainbow constructions and Monk algebras

Tarek Sayed Ahmed

Comments: arXiv admin note: substantial text overlap with arXiv:1408.3282

Subjects: Logic (math.LO)

[42] arXiv:1502.07769 [pdf, other]

Title: Polymorphism clones of homogeneous structures (Universal homogeneous polymorphisms and automatic homeomorphicity)

Christian Pech, Maja Pech

Comments: 38 pages, revised and extended version

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

[43] arXiv:1502.07884 [pdf, other]

Title: Characterising Modal Definability of Team-Based Logics via the Universal Modality

Katsuhiko Sano, Jonni Virtema

Comments: 30 pages. This is a preprint of a journal article to appear in Annals of Pure and Applied Logic. The preprint combines and extends two conference papers arXiv:1502.07884v1 and arXiv:1606.05140. The title of this preprint is changed to reflect this

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

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

Title: Bar recursion in classical realisability : dependent choice and continuum hypothesis

Jean-Louis Krivine

Comments: 11 pages

Journal-ref: Proceedings CSL 2016 LIPIcs vol. 62 pp. 25:1--25:11 (2016)

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

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

Title: An in-between "implicit" and "explicit" complexity: Automata

Clément Aubert (LACL)

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

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

Title: Selective versions of chain condition-type properties

Leandro Aurichi, Santi Spadaro, Lyubomyr Zdomskyy

Comments: Comments are welcome

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

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

Title: Grafting Hypersequents onto Nested Sequents

Roman Kuznets, Björn Lellmann

Journal-ref: Logic Journal of the IGPL, Volume 24(3):375-423, June 2016

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

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

Title: Classificatory Sorites, Probabilistic Supervenience, and Rule-Making

Damir D. Dzhafarov, Ehtibar N. Dzhafarov

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

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

Title: Discrete metric spaces: structure, enumeration, and $0$-$1$ laws

Dhruv Mubayi, Caroline Terry

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

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

Title: Towards a Complexity-through-Realisability Theory

Thomas Seiller

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO); Operator Algebras (math.OA)

[51] arXiv:1502.01389 (cross-list from math.AG) [pdf, other]

Title: On Transformations in the Painlev\'e Family

Joel Nagloo

Journal-ref: Journal de Math\'ematiques Pures et Appliqu\'ees, 107 (2017) 784-795

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

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

Title: Rigorous Deductive Argumentation for Socially Relevant Issues

Robert Dustin Wehr

Comments: PhD Thesis. 130 pages

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

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

Title: The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

Dag Normann (University of Oslo)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 16, 2015) lmcs:1174

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

[54] arXiv:1502.02714 (cross-list from math.NT) [pdf, other]

Title: On definitions of polynomials over function fields of positive characteristi

Alexandra Shlapentokh

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

[55] arXiv:1502.03036 (cross-list from math.AG) [pdf, other]

Title: A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

Raf Cluckers, Florent Martin

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

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

Title: The exp-log normal form of types

Danko Ilik

Journal-ref: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Pages 387-399. Paris, France -- January 15 - 21, 2017

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

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

Title: Ramsey Classes: Examples and Constructions

Manuel Bodirsky

Comments: 47 pages, 4 figures. Survey article for the 25th British Combinatorial Conference, Warwick. v3 fixes an issue related with infinite signatures, and improves the presentation of the proof of Theorem 6.4

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

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

Title: Finitary semantics of linear logic and higher-order model-checking

Charles Grellois, Paul-André Melliès

Comments: 12 pages, submitted

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

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

Title: Nonclassifiability of UHF $L^p$-operator algebras

Eusebio Gardella, Martino Lupini

Comments: 10 pages

Journal-ref: Proc. Amer. Math. Soc. 144 (2016), no. 5, 2081-2091

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

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

Title: Bimodal logics with a `weakly connected' component without the finite model property

Agi Kurucz

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

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

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

Title: On the relative proof complexity of deep inference via atomic flows

Anupam Das (École Normale Supérieure de Lyon (ENS Lyon), France)

Comments: 27 pages, 2 figures, full version of conference paper

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 6, 2015) lmcs:735

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

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

Title: Operator space and operator system analogs of Kirchberg's nuclear embedding theorem

Martino Lupini

Comments: 12 pages

Journal-ref: J. Math. Anal. Appl. 431 (2015), no. 1, 47-56

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

[63] arXiv:1502.06759 (cross-list from quant-ph) [pdf, other]

Title: Quantum Measurements from a Logical Point of View

Olivier Brunet

Comments: In Proceedings QPL 2015, arXiv:1511.01181

Journal-ref: EPTCS 195, 2015, pp. 84-95

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata

T. Lin

Comments: This paper is no interesting today from the author's viewpoint, so withdrawn

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)