Logic

Authors and titles for July 2014

[1] arXiv:1407.0175 [pdf, other]

Title: On structural completeness vs almost structural completeness problem: A discriminator varieties case study

Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione

Comments: Added Proposition 5.4: Every minimal discriminator variety is minimal as a quasivariety. Added Example 5.11: Presents a minimal discriminator variety with a with a countably algebra which does not admit a homomorphism into any free algebra

Subjects: Logic (math.LO)

[2] arXiv:1407.0222 [pdf, other]

Title: On forking and definability of types in some dp-minimal theories

Pierre Simon, Sergei Starchenko

Comments: Appeared previously as an appendix in arXiv:1210.4479

Subjects: Logic (math.LO)

[3] arXiv:1407.0436 [pdf, other]

Title: Comparing Hume's Principle, Basic Law V and Peano Arithmetic

Sean Walsh

Journal-ref: Annals of Pure and Applied Logic, 163:1679-1709, 2012

Subjects: Logic (math.LO)

[4] arXiv:1407.0929 [pdf, other]

Title: Bounding and decomposing thin analytic partial orderings

Vladimir Kanovei

Comments: 12 pages

Journal-ref: Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36

Subjects: Logic (math.LO)

[5] arXiv:1407.1068 [pdf, other]

Title: The rational field is not universally definable in pseudo-exponentiation

Jonathan Kirby

Comments: 7 pages, substantial improvements to the previous version

Journal-ref: Fund. Math. 232 (2016), no 1, 79-88

Subjects: Logic (math.LO)

[6] arXiv:1407.1920 [pdf, other]

Title: Scott processes

Paul B. Larson

Subjects: Logic (math.LO)

[7] arXiv:1407.2134 [pdf, other]

Title: On Eigenvectors, Approximations and the Feynman Propagator

Åsa Hirvonen, Tapani Hyttinen

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

[8] arXiv:1407.2626 [pdf, other]

Title: The Complexity of Primes in Computable UFDs

Damir D. Dzhafarov, Joseph R. Mileti

Journal-ref: Notre Dame J. Formal Logic 59, no. 2 (2018), 139-156

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

[9] arXiv:1407.2650 [pdf, other]

Title: Logic and linear algebra: an introduction

Daniel Murfet

Comments: v2: the article has been substantially rewritten to improve the exposition, some false statements about cut-elimination were corrected, a new section about second-order linear logic was added, and the material on geometry of interaction has been removed (to be published elsewhere), v3: fixed typos, added references

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

[10] arXiv:1407.3394 [pdf, other]

Title: C-system of a module over a monad on sets

Vladimir Voevodsky

Subjects: Logic (math.LO)

[11] arXiv:1407.3604 [pdf, other]

Title: Davies-trees in infinite combinatorics

Daniel T. Soukup

Comments: 8 pages, prepared for the Logic Colloquium 2014

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

[12] arXiv:1407.3624 [pdf, other]

Title: The Lost Melody Phenomenon

Merlin Carl

Subjects: Logic (math.LO)

[13] arXiv:1407.3759 [pdf, other]

Title: Notes on extremal and tame valued fields

Sylvy Anscombe, Franz-Viktor Kuhlmann

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

[14] arXiv:1407.3860 [pdf, other]

Title: The Strength of Abstraction with Predicative Comprehension

Sean Walsh

Comments: Forthcoming in Bulletin of Symbolic Logic. Slight change in title from previous version, at request of referees

Subjects: Logic (math.LO)

[15] arXiv:1407.3861 [pdf, other]

Title: Fragments of Frege's Grundgesetze and Gödel's Constructible Universe

Sean Walsh

Comments: Forthcoming in The Journal of Symbolic Logic

Subjects: Logic (math.LO)

[16] arXiv:1407.3877 [pdf, other]

Title: Elements of Librationism

Frode Bjørdal

Comments: 33 pages

Subjects: Logic (math.LO)

[17] arXiv:1407.4050 [pdf, other]

Title: Preservation of a Souslin tree and side conditions

Giorgio Venturi

Subjects: Logic (math.LO)

[18] arXiv:1407.4259 [pdf, other]

Title: K-trivial, K-low and MLR-low sequences: a tutorial

Laurent Bienvenu, Alexander Shen

Comments: 25 pages

Journal-ref: Fields of Logic and Computation, Lecture Notes in Computer Science, v.9300 (2015)

Subjects: Logic (math.LO); Information Theory (cs.IT)

[19] arXiv:1407.4398 [pdf, other]

Title: Constructive Geometry and the Parallel Postulate

Michael Beeson

Comments: 114 pages, 39 figures

Subjects: Logic (math.LO)

[20] arXiv:1407.4399 [pdf, other]

Title: A Constructive Version of Tarski's Geometry

Michael Beeson

Comments: 92 pages, 30 figures. Final pre-publication version

Journal-ref: Annals of Pure and Applied Logic 166 (11) 1199-1273 (2015)

Subjects: Logic (math.LO)

[21] arXiv:1407.4647 [pdf, other]

Title: Justification Logics in a Fuzzy Setting

Meghdad Ghari

Comments: 26 pages

Journal-ref: Some parts are published in: Logic Journal of the IGPL, 24(5): 743-773, 2016

Subjects: Logic (math.LO)

[22] arXiv:1407.4727 [pdf, other]

Title: Non-universality of automorphism groups of uncountable ultrahomogeneous structures

Michal Doucha

Comments: The only change in the last version is the author's grant information

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

[23] arXiv:1407.5325 [pdf, other]

Title: Borel equivalence relations in the space of bounded operators

Iian B. Smythe

Comments: 08/20/2018: Posted final pre-publication version

Journal-ref: Fund. Math. 237 (2017), no. 1, 31-45

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

[24] arXiv:1407.5612 [pdf, other]

Title: Representing Scott sets in algebraic settings

Alf Dolich, Julia Knight, Karen Lange, David Marker

Subjects: Logic (math.LO)

[25] arXiv:1407.5761 [pdf, other]

Title: Rosenthal compacta and NIP formulas

Pierre Simon (ICJ)

Comments: 14 pages, small corrections made

Subjects: Logic (math.LO)

[26] arXiv:1407.5812 [pdf, other]

Title: Ł-Axiomatizability in intermediate and normal modal logics

Alex Citkin

Subjects: Logic (math.LO)

[27] arXiv:1407.5823 [pdf, other]

Title: Characteristic Formulas 50 Years Later (An Algebraic Account)

Alex Citkin

Subjects: Logic (math.LO)

[28] arXiv:1407.5882 [pdf, other]

Title: Irreducibles and primes in computable integral domains

Leigh Evron, Joseph R. Mileti, Ethan Ratliff-Crain

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

[29] arXiv:1407.6335 [pdf, other]

Title: Large cardinals need not be large in HOD

Yong Cheng, Sy-David Friedman, Joel David Hamkins

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

Journal-ref: Annals of Pure and Applied Logic, Volume 166, Issue 11, November 2015, Pages 1186-1198

Subjects: Logic (math.LO)

[30] arXiv:1407.6671 [pdf, other]

Title: Polish groupoids and functorial complexity

Martino Lupini

Comments: 52 pages

Journal-ref: Trans. Amer. Math. Soc. 369 (2017), no. 9, 6683--6723

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

[31] arXiv:1407.7000 [pdf, other]

Title: Ostrowski numeration systems, addition and finite automata

Philipp Hieronymi, Alonza Terry Jr

Journal-ref: Notre Dame J. Formal Logic 59, no. 2 (2018), 215-232

Subjects: Logic (math.LO)

[32] arXiv:1407.7002 [pdf, other]

Title: Expansions of the ordered additive group of real numbers by two discrete subgroups

Philipp Hieronymi

Journal-ref: J. Symb. Logic (3) 81 (2016) 1007-1027

Subjects: Logic (math.LO)

[33] arXiv:1407.7010 [pdf, other]

Title: Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi

Grigoriy V. Bokov

Comments: 13 pages

Journal-ref: Logic Journal of the IGPL (2015) 23 (2): 341-353

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

[34] arXiv:1407.7102 [pdf, other]

Title: Metric Scott analysis

Itai Ben Yaacov, Michal Doucha, Andre Nies, Todor Tsankov

Comments: This preprint replaces and greatly expands our previous preprint "A Lopez-Escobar theorem for continuous logic" (without Doucha). Please only cite this current version. The previous material is contained in Section 6 in updated form. The paper is submitted as of July 2016. Key words: continuous logic, infinitary logic, Scott rank, Scott sentence, Lopez-Escobar theorem

Journal-ref: Advances in Mathematics 318, 2017, pages 46 - 87

Subjects: Logic (math.LO)

[35] arXiv:1407.7803 [pdf, other]

Title: A Sequent Calculus for Dynamic Topological Logic

Samuel Reid

Comments: 12 pages. Due to a lack of explanation in the soundness proofs and an error in cut-elimination this paper has been withdrawn for further research and editing

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

[36] arXiv:1407.8156 [pdf, other]

Title: Uniformly defining $p$-henselian valuations

Franziska Jahnke, Jochen Koenigsmann

Comments: 13 pages, revised version

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

[37] arXiv:1407.0233 (cross-list from math.HO) [pdf, other]

Title: Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow

Tiziana Bascelli, Emanuele Bottazzi, Frederik Herzberg, Vladimir Kanovei, Karin Katz, Mikhail Katz, Tahl Nowik, David Sherry, Steven Shnider

Comments: 35 pages, 2 figures, to appear in Notices of the American Mathematical Society 61 (2014), no. 8

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

[38] arXiv:1407.0512 (cross-list from math.CT) [pdf, other]

Title: Categories of contexts

Marcel Erné

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

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

Title: Complete representation by partial functions for composition, intersection and antidomain

Brett McLean

Comments: 14 pages. Additional non-axiomatisability results added

Journal-ref: Journal of Logic and Computation, Volume 27, Issue 4 (2017) 1143-1156

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

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

Title: A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

Thomas Streicher

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (December 7, 2017) lmcs:4129

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

[41] arXiv:1407.2528 (cross-list from gr-qc) [pdf, other]

Title: Faster than light motion does not imply time travel

H. Andréka, J. X. Madarász, I. Németi, M. Stannett, G. Székely

Comments: 11 pages, 5 figures

Journal-ref: 2014 Class. Quantum Grav. 31 095005

Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Logic (math.LO)

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

Title: Representations of measurable sets in computable measure theory

Klaus Weihrauch (University of Hagen), Nazanin Tavana-Roshandel (IPM, Tehran, Iran)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 19, 2014) lmcs:1022

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

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

Title: Linear logic with idempotent exponential modalities: a note

Sergey Slavnov

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

[44] arXiv:1407.6047 (cross-list from gr-qc) [pdf, other]

Title: On the Possibility and Consequences of Negative Mass

J. X. Madarász, G. Székely, M. Stannett

Comments: 8 pages, 5 figures

Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Logic (math.LO)

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

Title: Bar Recursion and Products of Selection Functions

Martin Escardo, Paulo Oliva

Comments: 28 pages, 1 figure

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

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

Title: Algebra, selections, and additive Ramsey theory

Boaz Tsaban

Comments: Minor revision

Journal-ref: Fundamenta Mathematicae 240 (2018), 81-104

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