Logic

Authors and titles for November 2016

[26] arXiv:1611.05818 [pdf, other]

Title: The random members of a $Π^0_1$ class

Douglas Cenzer, Christopher P. Porter

Subjects: Logic (math.LO)

[27] arXiv:1611.06090 [pdf, other]

Title: Some Model Theory of Hypergeometric and Pfaffian Functions

Ricardo Bianconi

Comments: Presented at the workshop "Logic and Applications: in honour to Francisco Miraglia by the occasion of his 70th birthday", September, 16-17, 2016, at the University of São Paulo, SP, Brazil

Subjects: Logic (math.LO)

[28] arXiv:1611.06383 [pdf, other]

Title: On a generalized Fraïssé limit construction

Shuhei Masumoto

Comments: 23 pages

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

[29] arXiv:1611.06735 [pdf, other]

Title: Non-deterministic Semantics for Dynamic Topological Logic

David Fernández-Duque

Subjects: Logic (math.LO)

[30] arXiv:1611.06929 [pdf, other]

Title: The intuitionistic temporal logic of dynamical systems

David Fernández-Duque

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3 (July 20, 2018) lmcs:3280

Subjects: Logic (math.LO)

[31] arXiv:1611.07362 [pdf, other]

Title: An o-minimal Szemerédi-Trotter theorem

Saugata Basu, Orit E. Raz

Comments: 15 pages. Final version to appear in The Quarterly Journal of Mathematics

Subjects: Logic (math.LO); Computational Geometry (cs.CG); Combinatorics (math.CO)

[32] arXiv:1611.07380 [pdf, other]

Title: Quasiminimal abstract elementary classes

Sebastien Vasey

Comments: 17 pages

Journal-ref: Archive for Mathematical Logic 57 (2018), nos. 3-4, 299-315

Subjects: Logic (math.LO)

[33] arXiv:1611.08140 [pdf, other]

Title: Cichon's Diagram for uncountable cardinals

Joerg Brendle, Andrew Brooke-Taylor, Sy-David Friedman, Diana Montoya

Subjects: Logic (math.LO)

[34] arXiv:1611.08143 [pdf, other]

Title: Cofinalities of Marczewski-like ideals

Joerg Brendle, Yurii Khomskii, Wolfgang Wohofsky

Subjects: Logic (math.LO)

[35] arXiv:1611.08150 [pdf, other]

Title: Maximal trees

Joerg Brendle

Subjects: Logic (math.LO)

[36] arXiv:1611.08152 [pdf, other]

Title: Q

Joerg Brendle

Subjects: Logic (math.LO)

[37] arXiv:1611.08680 [pdf, other]

Title: Randomized feasible interpolation and monotone circuits with a local oracle

Jan Krajicek

Comments: Preliminary version November 2016

Journal-ref: J. of Mathematical Logic, Vol.18., No. 2, 1850012 (2018)

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

[38] arXiv:1611.08988 [pdf, other]

Title: On $α$-largeness and the Paris-Harrington principle in $\mathrm{RCA}_0$ and $\mathrm{RCA}_0^{\displaystyle{*}}$

Florian Pelupessy

Comments: 11 pages

Subjects: Logic (math.LO)

[39] arXiv:1611.09560 [pdf, other]

Title: A duality for involutive bisemilattices

Stefano Bonzio, Andrea Loi, Luisa Peruzzi

Comments: 21 pages

Subjects: Logic (math.LO)

[40] arXiv:1611.09589 [pdf, other]

Title: On a symmetrization of hemiimplicative semilattices

José Luis Castiglioni, Hernán Javier San Martín

Comments: 15 pages

Subjects: Logic (math.LO)

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

Title: Noncommutative Cantor-Bendixson derivatives and scattered $C^*$-algebras

Saeed Ghasemi, Piotr Koszmider

Comments: minor corrections

Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); General Topology (math.GN); Logic (math.LO)

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

Title: All or nothing: toward a promise problem dichotomy for constraint problems

Lucy Ham, Marcel Jackson

Comments: Updated from version 1 to include new results. Updated from version 2 by some amendments and streamlined arguments

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

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

Title: Closure and Nonclosure Properties of the Compressible and Rankable Sets

Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery

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

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

Title: Cubical Type Theory: a constructive interpretation of the univalence axiom

Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg

Comments: To be published in the post-proceedings of the 21st International Conference on Types for Proofs and Programs, TYPES 2015

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

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

Title: Universal Algebraic Methods for Constraint Satisfaction Problems

Clifford Bergman, William DeMeo

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:2568

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

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

Title: Computational Interpretations of Markov's principle

Matteo Manighetti

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

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

Title: Lipschitz structure and minimal metrics on topological groups

Christian Rosendal

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

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

Title: Kolmogorov complexity and generalized length functions

Cameron Fraize, Christopher P. Porter

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

[49] arXiv:1611.06101 (cross-list from cs.GT) [pdf, other]

Title: Dependent Types for Extensive Games

Pierre Lescanne (LIP)

Subjects: Computer Science and Game Theory (cs.GT); Logic (math.LO)

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

Title: Balanced independent sets in graphs omitting large cliques

Claude Laflamme, Andres A. Lopez, Daniel T. Soukup, Robert Woodrow

Comments: 23 pages, minor changes, version submitted to JCTB

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