Logic

Authors and titles for math.LO in Apr 2014

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

Title: Boole's Method I. A Modern Version

Authors: Stanley Burris, H.P. Sankappanavar

Subjects: Logic (math.LO); History and Overview (math.HO)

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

Title: On Pocrims and Hoops

Authors: Rob Arthan, Paulo Oliva

Comments: 37 pages

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

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

Title: Extentability of Automorphisms of Generic Substructures

Authors: Aristotelis Panagiotopoulos

Comments: 21 pages

Subjects: Logic (math.LO)

[4]  arXiv:1404.1494 [pdf, ps, other]

Title: Canonical forking in AECs

Authors: Will Boney, Rami Grossberg, Alexei Kolesnikov, Sebastien Vasey

Comments: 33 pages

Journal-ref: Annals of Pure and Applied Logic 167 (2016), no. 7, 590-613

Subjects: Logic (math.LO)

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

Title: Type-amalgamation properties and polygroupoids in stable theories

Authors: John Goodrick, Byunghan Kim, Alexei Kolesnikov

Comments: 37 pages

Subjects: Logic (math.LO)

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

Title: Weak and local versions of measurability

Authors: Paolo Lipparini

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

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

Title: On Martin's Pointed Tree Theorem

Authors: Rupert Hölzl, Frank Stephan, Liang Yu

Subjects: Logic (math.LO)

[8]  arXiv:1404.2111 [pdf, ps, other]

Title: Absoluteness via Resurrection

Authors: Giorgio Audrito, Matteo Viale

Comments: 34 pages

Subjects: Logic (math.LO)

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

Title: Normal numbers and limit computable Cantor series

Authors: Achilles A. Beros, Konstantinos A. Beros

Comments: 5 pages

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

Subjects: Logic (math.LO)

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

Title: A complicated family of trees with omega + 1 levels

Authors: Saharon Shelah

Subjects: Logic (math.LO)

[11]  arXiv:1404.2528 [pdf, ps, other]

Title: Classification theory for accessible categories

Authors: Michael Lieberman, Jirí Rosický

Comments: 17 pages

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

[12]  arXiv:1404.2775 [pdf, ps, other]

Title: Quite free complicated abelian group, PCF and Black Boxes

Authors: Saharon Shelah

Subjects: Logic (math.LO)

[13]  arXiv:1404.2776 [src]

Title: Adding a random real number and its effect on Martin's axiom

Authors: Joan Bagaria, Saharon Shelah

Comments: Wrong proof. arXiv:1502.05500 contains the corrected version

Subjects: Logic (math.LO)

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

Title: An analogy between cardinal characteristics and highness properties of oracles

Authors: Jörg Brendle, Andrew Brooke-Taylor, Keng Meng Ng, André Nies

Comments: 28 pages; version 2 post refereeing, in particular with due credit to Rupprecht for results from his thesis of which we were previously unaware

Subjects: Logic (math.LO)

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

Title: A variant proof of Con(b<a)

Authors: Jörg Brendle, Andrew D. Brooke-Taylor

Comments: 10 pages. To appear in the proceedings of the RIMS set theory workshop 2013

Journal-ref: RIMS Ko-kyu-roku 1895 (2014) pp 16-25

Subjects: Logic (math.LO)

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

Title: Existence of optimal ultrafilters and the fundamental complexity of simple theories

Authors: M. Malliaris, S. Shelah

Comments: The revisions aim to separate the set theoretic and model theoretic aspects of the paper to make it accessible to readers interested primarily in one side. We thank the anonymous referee for many thoughtful comments

Subjects: Logic (math.LO)

[17]  arXiv:1404.3175 [src]

Title: A pathological o-minimal quotient

Authors: Will Johnson

Comments: Withdrawn; incorporated into arXiv:1911.10077

Subjects: Logic (math.LO)

[18]  arXiv:1404.3335 [src]

Title: An AEC satisfying the disjoint amalgamation property, has arbitrarily large models

Authors: Adi Jarden

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

Subjects: Logic (math.LO)

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

Title: On differential Galois groups of strongly normal extensions

Authors: Quentin Brouette, Francoise Point

Subjects: Logic (math.LO)

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

Title: A quantitative approach to semantic informativity

Authors: Anderson de Araújo

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

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

Title: Limits of Sequences of Markov Chains

Authors: Henry Towsner

Subjects: Logic (math.LO); Probability (math.PR)

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

Title: One-dimensional fragment of first-order logic

Authors: Lauri Hella, Antti Kuusisto

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

[23]  arXiv:1404.4449 [pdf, other]

Title: Demuth's path to randomness

Authors: Antonín Kučera, André Nies, Christopher P. Porter

Subjects: Logic (math.LO)

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

Title: Turing-Taylor expansions for arithmetic theories

Authors: Joost J. Joosten

Comments: First draft

Subjects: Logic (math.LO)

[25]  arXiv:1404.4549 [pdf, other]

Title: A Sheaf Model of the Algebraic Closure

Authors: Bassel Mannaa, Thierry Coquand

Comments: In Proceedings CL&C 2014, arXiv:1409.2593

Journal-ref: EPTCS 164, 2014, pp. 18-32

Subjects: Logic (math.LO)

[26]  arXiv:1404.4590 [pdf, ps, other]

Title: Extremely amenable groups via continuous logic

Authors: Julien Melleray, Todor Tsankov

Subjects: Logic (math.LO)

[27]  arXiv:1404.4978 [pdf, ps, other]

Title: Logic and operator algebras

Authors: Ilijas Farah

Comments: A minor change

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

[28]  arXiv:1404.5057 [pdf, other]

Title: Topological Dynamics of Closed Subgroups of $S_\infty$

Authors: Andy Zucker

Comments: Minor errors and typos have been corrected

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

[29]  arXiv:1404.5658 [pdf, ps, other]

Title: Toward a clarity of the extreme value theorem

Authors: Karin U. Katz, Mikhail G. Katz, Taras Kudryk

Comments: 24 pages; to appear in Logica Universalis

Subjects: Logic (math.LO); Classical Analysis and ODEs (math.CA); History and Overview (math.HO)

[30]  arXiv:1404.5975 [pdf, ps, other]

Title: Is there a computable upper bound for the height of a solution of a Diophantine equation with a unique solution in positive integers?

Authors: Apoloniusz Tyszka

Comments: 10 pages. arXiv admin note: substantial text overlap with arXiv:1309.2682

Journal-ref: Open Computer Science 7, no. 1, 17-23 (2017)

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

[31]  arXiv:1404.6634 [pdf, ps, other]

Title: On definably proper maps

Authors: Mário Edmundo, Marcello Mamino, Luca Prelli

Comments: 33 pages. arXiv admin note: text overlap with arXiv:1401.0846

Subjects: Logic (math.LO)

[32]  arXiv:1404.6811 [pdf, other]

Title: Finding groups in Zariski-like structures

Authors: Kaisa Kangas

Comments: 124 pages, Licentiate's Thesis

Subjects: Logic (math.LO)

[33]  arXiv:1404.7343 [src]

Title: A solution to Roitman's problem

Authors: Heike Mildenberger

Comments: 20 pages Lemma 3.2 is flawed The author thanks Jindrich Zapletal

Subjects: Logic (math.LO)

[34]  arXiv:1404.7350 [pdf, ps, other]

Title: Local Ramsey Spaces in Matet Forcing Extensions and Finitely Many Near-Coherence Classes

Authors: Heike Mildenberger

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

[35]  arXiv:1404.7401 [pdf, other]

Title: Residuated Basic Logic II. Interpolation, Decidability and Embedding

Authors: Minghui Ma, Zhe Lin

Comments: 17 pages with 1 figure

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

[36]  arXiv:1404.7475 [pdf, ps, other]

Title: Existentially closed fields with G-derivations

Authors: Daniel Hoffmann, Piotr Kowalski

Comments: In version 2: new proof of (the current) Proposition 3.34

Subjects: Logic (math.LO)

[37]  arXiv:1404.1861 (cross-list from math.OA) [pdf, ps, other]

Title: On Kirchberg's Embedding Problem

Authors: Isaac Goldbring, Thomas Sinclair

Comments: 42 pages; final version to appear in the Journal of Functional Analysis

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

[38]  arXiv:1404.1952 (cross-list from math.AG) [pdf, ps, other]

Title: Non-archimedean Yomdin-Gromov parametrizations and points of bounded height

Authors: R. Cluckers, G. Comte, F. Loeser

Comments: 54 pages; revised, section 5.6 added

Journal-ref: Forum of Mathematics, Pi / Volume 3 / 2015, e5 (60 pages)

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

[39]  arXiv:1404.2239 (cross-list from math.GN) [pdf, ps, other]

Title: The linear refinement number and selection theory

Authors: Michał Machura, Saharon Shelah, Boaz Tsaban

Journal-ref: Fundamenta Mathematicae 234 (2016), 15-40

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

[40]  arXiv:1404.3343 (cross-list from math.AC) [pdf, ps, other]

Title: Fields with almost small absolute Galois group

Authors: Arno Fehm, Franziska Jahnke

Comments: 9 pages

Subjects: Commutative Algebra (math.AC); Logic (math.LO)

[41]  arXiv:1404.3703 (cross-list from math.GN) [pdf, ps, other]

Title: Coherent ultrafilters and nonhomogeneity

Authors: Jan Starý

Comments: 9 pages

Journal-ref: Comment.Math.Univ.Carolin. 56,2 (2015) 257-264

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

[42]  arXiv:1404.4599 (cross-list from math.CO) [src]

Title: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures

Authors: Martin Otto

Comments: The construction of finite n-acyclic groupoids in Section 2.4 is flawed and I know of no direct repair: completion turns out to be incompatible with restriction to proper subsets of the generator set, so that the induction towards Proposition 2.22 does not stabilise as claimed. This problem has been overcome in arxiv:1806.08664. Also compare arxiv:1709.00031 and arXiv:2208.03273

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

[43]  arXiv:1404.4610 (cross-list from math.CT) [pdf, ps, other]

Title: Extensions of flat functors and theories of presheaf type

Authors: Olivia Caramello

Comments: 158 pages

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

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

Title: On the intersection conjecture for infinite trees of matroids

Authors: Nathan Bowler, Johannes Carmesin

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

[45]  arXiv:1404.6167 (cross-list from math.DS) [pdf, ps, other]

Title: Polish groups with metrizable universal minimal flows

Authors: Julien Melleray, Lionel Nguyen Van Thé, Todor Tsankov

Comments: 15 pages; post-refereed version

Journal-ref: Int. Math. Res. Not. IMRN, 5, 1285-1307, 2016

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

[46]  arXiv:1404.6710 (cross-list from math.AG) [pdf, ps, other]

Title: On function field Mordell-Lang and Manin-Mumford

Authors: Franck Benoist, Elisabeth Bouscaren, Anand Pillay

Comments: 21 pages

Journal-ref: Journal of Mathematical Logic, vol 16, no. 1, 2016

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

[47]  arXiv:1404.7788 (cross-list from math.CT) [pdf, ps, other]

Title: Internal and local homotopy theory

Authors: Zhen Lin Low

Comments: 27 pages, LaTeX

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

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

Title: Non-deterministic computation and the Jayne-Rogers Theorem

Authors: Arno Pauly, Matthew de Brecht

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 87-96

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

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

Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis

Authors: Sam Sanders

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 97-109

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

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

Title: Hyperprojective Hierarchy of QCB_0-spaces

Authors: Matthias Schröder, Victor Selivanov

Comments: Conference version to appear in LNCS

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

[51]  arXiv:1404.0570 (cross-list from cs.LO) [pdf, ps, other]

Title: On Affine Logic and Łukasiewicz Logic

Authors: Rob Arthan, Paulo Oliva

Comments: 28 pages

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

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

Title: On the Remarkable Features of Binding Forms

Authors: Fabio Mogavero, Giuseppe Perelli

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

[53]  arXiv:1404.3820 (cross-list from cs.CC) [pdf, ps, other]

Title: Circuit complexity, proof complexity, and polynomial identity testing

Authors: Joshua A. Grochow, Toniann Pitassi

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

[54]  arXiv:1404.5888 (cross-list from quant-ph) [pdf, ps, other]

Title: The square of opposition in orthomodular logic

Authors: Hector Freytes, Christian de Ronde, Graciela Domenech

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

Journal-ref: Around and Beyond the Square of Opposition: Studies in Universal Logic, Jean-Yves B\'eziau y Dale Jacquette (Eds.), pp. 193-201, Springer, Basel, 2012

Subjects: Quantum Physics (quant-ph); Logic (math.LO)

[55]  arXiv:1404.5948 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum mechanics and the interpretation of the orthomodular square of opposition

Authors: Christian de Ronde, Hector Freytes, G. Domenech

Comments: (in press). arXiv admin note: text overlap with arXiv:1310.4534. substantial text overlap with arXiv:1404.5881

Journal-ref: New dimensions of the square of opposition, Jean-Yves B\'eziau & Katarzyna Gan-Krzywoszynska (Eds.), Philosophia Verlag, Munich 2014

Subjects: Quantum Physics (quant-ph); Logic (math.LO)

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

Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion

Authors: Naohi Eguchi

Comments: Technical report

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

[57]  arXiv:1404.6277 (cross-list from cs.LO) [pdf, ps, other]

Title: Piecewise Boolean algebras and their domains

Authors: Chris Heunen

Comments: 11 pages

Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014

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

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

Title: Computability of 1-manifolds

Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961

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

[59]  arXiv:1404.7077 (cross-list from physics.gen-ph) [pdf, ps, other]

Title: Quantum Non-Objectivity from Performativity of Quantum Phenomena

Authors: Andrei Khrennikov, Andrew Schumann

Journal-ref: Phys. Scr. T 163 (2014) 014020

Subjects: General Physics (physics.gen-ph); Logic (math.LO); Quantum Physics (quant-ph)

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

Title: Open induction in a bounded arithmetic for TC^0

Authors: Emil Jeřábek

Comments: 35 pages

Journal-ref: Archive for Mathematical Logic 54 (2015), no. 3--4, pp. 359--394

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