Pages that link to "Item:Q3848968"

The following pages link to Restricted Set-Theoretical Definitions in Arithmetic (Q3848968):

Displaying 15 items.

• Undecidability of the first-order arithmetic \(A[P(x),2x,x+1]\) (Q599047) (← links)
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
• On translations of temporal logic of actions into monadic second-order logic (Q1127537) (← links)
• On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
• Tree acceptors and some of their applications (Q2544414) (← links)
• Composition Over the Natural Number Ordering with an Extra Binary Relation (Q2947182) (← links)
• Decidable Extensions of Church’s Problem (Q3644764) (← links)
• Decision Problems of Finite Automata Design and Related Arithmetics (Q3848195) (← links)
• A note on undecidable extensions of monadic second order successor arithmetic (Q4088806) (← links)
• The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
• Measure Quantifier in Monadic Second Order Logic (Q5283434) (← links)
• Generalized finite automata theory with an application to a decision problem of second-order logic (Q5538923) (← links)
• Generalized finite automata theory with an application to a decision problem of second-order logic (Q5592253) (← links)
• Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
• The monadic theory of toric words (Q6652470) (← links)