Composition over the natural number ordering with an extra binary relation

DOI10.1007/978-3-319-23534-9_19MaRDI QIDQ2947182zbMATH OpenOpenAlexFDO

Authors Wolfgang Thomas

Publication date 22 September 2015

Published in Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23534-9_19

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Models of other mathematical theories (03C65) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 1086492
• scientific article; zbMATH DE number 440118
• Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
• Composition theorem for generalized sum
• General composition of relations

Cites work

• A combinatorial approach to the theory of ω-automata
• A note on undecidable extensions of monadic second order successor arithmetic
• Classical recursion theory. The theory of functions and sets of natural numbers
• Decidability of Second-Order Theories and Automata on Infinite Trees
• scientific article; zbMATH DE number 3813598 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Modest theory of short chains. I
• Modest theory of short chains. II
• Rabin's uniformization problem
• Restricted Set-Theoretical Definitions in Arithmetic
• The decision problem for branching time logic
• The monadic theory of order

Cited in

(3)

• The term orderings which are compatible with composition. II.
• Combinatory classes of compositions with higher order conjugation
• Composition theorem for generalized sum

This page was built for publication: Composition over the natural number ordering with an extra binary relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2947182)