908 research outputs found
Expansions of MSO by cardinality relations
We study expansions of the Weak Monadic Second Order theory of (N,<) by
cardinality relations, which are predicates R(X1,...,Xn) whose truth value
depends only on the cardinality of the sets X1, ...,Xn. We first provide a
(definable) criterion for definability of a cardinality relation in (N,<), and
use it to prove that for every cardinality relation R which is not definable in
(N,<), there exists a unary cardinality relation which is definable in (N,<,R)
and not in (N,<). These results resemble Muchnik and Michaux-Villemaire
theorems for Presburger Arithmetic. We prove then that + and x are definable in
(N,<,R) for every cardinality relation R which is not definable in (N,<). This
implies undecidability of the WMSO theory of (N,<,R). We also consider the
related satisfiability problem for the class of finite orderings, namely the
question whether an MSO sentence in the language {<,R} admits a finite model M
where < is interpreted as a linear ordering, and R as the restriction of some
(fixed) cardinality relation to the domain of M. We prove that this problem is
undecidable for every cardinality relation R which is not definable in (N,<).Comment: to appear in LMC
Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0
Let be a one-variable function field over a field of constants of
characteristic 0. Let be a holomorphy subring of , not equal to . We
prove the following undecidability results for : If is recursive, then
Hilbert's Tenth Problem is undecidable in . In general, there exist
such that there is no algorithm to tell whether a
polynomial equation with coefficients in \Q(x_1,...,x_n) has solutions in
.Comment: This version contains minor revisions and will appear in Annales de l
Institut Fourie
The Church Problem for Countable Ordinals
A fundamental theorem of Buchi and Landweber shows that the Church synthesis
problem is computable. Buchi and Landweber reduced the Church Problem to
problems about ω-games and used the determinacy of such games as one of
the main tools to show its computability. We consider a natural generalization
of the Church problem to countable ordinals and investigate games of arbitrary
countable length. We prove that determinacy and decidability parts of the
Bu}chi and Landweber theorem hold for all countable ordinals and that its full
extension holds for all ordinals < \omega\^\omega
Adding modular predicates to first-order fragments
We investigate the decidability of the definability problem for fragments of
first order logic over finite words enriched with modular predicates. Our
approach aims toward the most generic statements that we could achieve, which
successfully covers the quantifier alternation hierarchy of first order logic
and some of its fragments. We obtain that deciding this problem for each level
of the alternation hierarchy of both first order logic and its two-variable
fragment when equipped with all regular numerical predicates is not harder than
deciding it for the corresponding level equipped with only the linear order and
the successor. For two-variable fragments we also treat the case of the
signature containing only the order and modular predicates.Relying on some
recent results, this proves the decidability for each level of the alternation
hierarchy of the two-variable first order fragmentwhile in the case of the
first order logic the question remains open for levels greater than two.The
main ingredients of the proofs are syntactic transformations of first order
formulas as well as the algebraic framework of finite categories
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
There are two natural and well-studied approaches to temporal ontology and
reasoning: point-based and interval-based. Usually, interval-based temporal
reasoning deals with points as a particular case of duration-less intervals. A
recent result by Balbiani, Goranko, and Sciavicco presented an explicit
two-sorted point-interval temporal framework in which time instants (points)
and time periods (intervals) are considered on a par, allowing the perspective
to shift between these within the formal discourse. We consider here two-sorted
first-order languages based on the same principle, and therefore including
relations, as first studied by Reich, among others, between points, between
intervals, and inter-sort. We give complete classifications of its
sub-languages in terms of relative expressive power, thus determining how many,
and which, are the intrinsically different extensions of two-sorted first-order
logic with one or more such relations. This approach roots out the classical
problem of whether or not points should be included in a interval-based
semantics. In this Part II, we deal with the cases of all dense and the case of
all unbounded linearly ordered sets.Comment: This is Part II of the paper `An Integrated First-Order Theory of
Points and Intervals over Linear Orders' arXiv:1805.08425v2. Therefore the
introduction, preliminaries and conclusions of the two papers are the same.
This version implements a few minor corrections and an update to the
affiliation of the second autho
The prospects for mathematical logic in the twenty-first century
The four authors present their speculations about the future developments of
mathematical logic in the twenty-first century. The areas of recursion theory,
proof theory and logic for computer science, model theory, and set theory are
discussed independently.Comment: Association for Symbolic Logi
- …