We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

New submissions

[ total of 7 entries: 1-7 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 30 Nov 22

[1]  arXiv:2211.15808 [pdf, other]
Title: Arboreal Categories and Homomorphism Preservation Theorems
Comments: 39 pages
Subjects: Logic (math.LO); Category Theory (math.CT)

The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive sentence $\psi$. Given a notion of (syntactic) complexity of sentences, an "equi-resource" homomorphism preservation theorem improves on the classical result by ensuring that $\psi$ can be chosen so that its complexity does not exceed that of $\phi$.
We describe an axiomatic approach to equi-resource homomorphism preservation theorems based on the notion of arboreal category. This framework is then employed to establish novel homomorphism preservation results, and improve on known ones, for various logic fragments, including first-order, guarded and modal logics.

[2]  arXiv:2211.15919 [pdf, other]
Title: Simplified Veltman frames for sublogics of $\mathbf{IL}$
Authors: Yuya Okawa
Comments: 19 pages
Subjects: Logic (math.LO)

We study finite model property for several sublogics of $\mathbf{IL}$ with respect to simplified Veltman frames. Among other things, we prove that the logic $\mathbf{CL}$ of conservativity has finite model property with respect to that frames. This is an affirmative solution to Ignatiev's problem.

[3]  arXiv:2211.16392 [pdf, ps, other]
Title: On Interpretations in Büchi Arithmetics
Subjects: Logic (math.LO)

B\"uchi arithmetics BA_n, n >= 2, are extensions of Presburger arithmetic with an unary functional symbol V_n(x) denoting the largest power of n that divides x. Definability of a set in BA_n is equivalent to its recognizability by a finite automaton receiving numbers in their n-ary expansion. We show that B\"uchi arithmetics BA_n and BA_m are bi-interpretable for any n,m. Furthermore, we establish that any interpretation of some structure in BA_n is isomorphic to some one-dimensional interpretation; however, this isomorphism must not be BA_n-definable.

Cross-lists for Wed, 30 Nov 22

[4]  arXiv:2211.16476 (cross-list from math.GN) [pdf, ps, other]
Title: Borel Measurable Hahn-Mazurkiewicz Theorem
Comments: 14 pages
Subjects: General Topology (math.GN); Logic (math.LO)

It is well known due to Hahn and Mazurkiewicz that every Peano continuum is a continuous image of the unit interval. We prove that an assignment, which takes as an input a Peano continuum and produces as an output a continuous mapping whose range is the Peano continuum, can be realized in a Borel measurable way. Similarly, we find a Borel measurable assignment which takes any nonempty compact metric space and assigns a continuous mapping from the Cantor set onto that space. To this end we use the Burgess selection theorem. Finally, a Borel measurable way of assigning an arc joining two selected points in a Peano continuum is found.

Replacements for Wed, 30 Nov 22

[5]  arXiv:1911.09059 (replaced) [src]
Title: There is no maximal decidable expansion of the $\langle \mathbb{N} ,\{ < \} \rangle$ structure
Authors: Sergei Soprunov
Comments: found an error in the proof of statement 2, page 3
Subjects: Logic (math.LO)
[6]  arXiv:2010.06814 (replaced) [src]
Title: Club isomorphisms of Kurepa trees and large cardinals
Comments: There is an error and the author does not see away to fix it
Subjects: Logic (math.LO)
[7]  arXiv:2210.17429 (replaced) [pdf, ps, other]
Title: The power of the Binary Value Principle
Comments: 21 pages
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[ total of 7 entries: 1-7 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2211, contact, help  (Access key information)