Decidable theories of the ordering of natural numbers with unary predicates

Keyphrases

• Natural numbers 100%
• Unary 100%
• Decidable Theories 100%
• Theory Framework 50%
• First-order 50%
• Expressive Power 50%
• First-order Theory 50%
• Automata 50%
• Semigroup 50%
• Composition Method 50%
• Monadic Second-order Logic 50%
• Homogeneous Set 50%

Computer Science

• Unary Predicate 100%
• Expressive Power 50%
• Automaton 50%
• Theoretic Framework 50%
• Second-Order Logic 50%