1,543 research outputs found
Highly Undecidable Problems For Infinite Computations
We show that many classical decision problems about 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are -complete, hence located at the second level of the
analytical hierarchy, and "highly undecidable". In particular, the universality
problem, the inclusion problem, the equivalence problem, the determinizability
problem, the complementability problem, and the unambiguity problem are all
-complete for context-free omega-languages or for infinitary rational
relations. Topological and arithmetical properties of 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are also highly undecidable. These very surprising results provide
the first examples of highly undecidable problems about the behaviour of very
simple finite machines like 1-counter automata or 2-tape automata.Comment: to appear in RAIRO-Theoretical Informatics and Application
Decision Problems For Turing Machines
We answer two questions posed by Castro and Cucker, giving the exact
complexities of two decision problems about cardinalities of omega-languages of
Turing machines. Firstly, it is -complete to determine whether
the omega-language of a given Turing machine is countably infinite, where
is the class of 2-differences of -sets. Secondly,
it is -complete to determine whether the omega-language of a given
Turing machine is uncountable.Comment: To appear in Information Processing Letter
First Order Theories of Some Lattices of Open Sets
We show that the first order theory of the lattice of open sets in some
natural topological spaces is -equivalent to second order arithmetic. We
also show that for many natural computable metric spaces and computable domains
the first order theory of the lattice of effectively open sets is undecidable.
Moreover, for several important spaces (e.g., , , and the
domain ) this theory is -equivalent to first order arithmetic
Wadge Degrees of -Languages of Petri Nets
We prove that -languages of (non-deterministic) Petri nets and
-languages of (non-deterministic) Turing machines have the same
topological complexity: the Borel and Wadge hierarchies of the class of
-languages of (non-deterministic) Petri nets are equal to the Borel and
Wadge hierarchies of the class of -languages of (non-deterministic)
Turing machines which also form the class of effective analytic sets. In
particular, for each non-null recursive ordinal there exist some -complete and some -complete -languages of Petri nets, and the supremum of
the set of Borel ranks of -languages of Petri nets is the ordinal
, which is strictly greater than the first non-recursive ordinal
. We also prove that there are some -complete, hence non-Borel, -languages of Petri nets, and
that it is consistent with ZFC that there exist some -languages of
Petri nets which are neither Borel nor -complete. This
answers the question of the topological complexity of -languages of
(non-deterministic) Petri nets which was left open in [DFR14,FS14].Comment: arXiv admin note: text overlap with arXiv:0712.1359, arXiv:0804.326
Reverse mathematics and properties of finite character
We study the reverse mathematics of the principle stating that, for every
property of finite character, every set has a maximal subset satisfying the
property. In the context of set theory, this variant of Tukey's lemma is
equivalent to the axiom of choice. We study its behavior in the context of
second-order arithmetic, where it applies to sets of natural numbers only, and
give a full characterization of its strength in terms of the quantifier
structure of the formula defining the property. We then study the interaction
between properties of finite character and finitary closure operators, and the
interaction between these properties and a class of nondeterministic closure
operators.Comment: This paper corresponds to section 4 of arXiv:1009.3242, "Reverse
mathematics and equivalents of the axiom of choice", which has been
abbreviated and divided into two pieces for publicatio
- …