scientific article; zbMATH DE number 3337664

zbMath0213.01901MaRDI QIDQ5614656

Dirk Siefkes

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

Construction of decidable singular theories of two successor functions with an extra predicate, Operations preserving regular languages, The complementation problem for Büchi automata with applications to temporal logic, On decidability of monadic logic of order over the naturals extended by monadic predicates, Unnamed Item, Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems, The recursive sets in certain monadic second order fragments of arithmetic, Iterated pushdown automata and sequences of rational numbers, Regularity-preserving relations, Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes, An axiom system for the weak monadic second order theory of two successors, Unnamed Item, Unnamed Item, Unnamed Item, On the complementation of Büchi automata, Automata, Boolean matrices, and ultimate periodicity., The monadic theory of morphic infinite words and generalizations, Shelah-Stupp's and Muchnik's iterations revisited