Pages that link to "Item:Q4088806"

The following pages link to A note on undecidable extensions of monadic second order successor arithmetic (Q4088806):

Displaying 11 items.

• Computational complexity of logical theories of one successor and another unary function (Q868664) (← links)
• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930) (← links)
• The theory of successor with an extra predicate (Q1243711) (← links)
• Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
• Composition Over the Natural Number Ordering with an Extra Binary Relation (Q2947182) (← links)
• On the bounded monadic theory of well-ordered structures (Q3877655) (← links)
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
• Joining k- and l-recognizable sets of natural numbers (Q5096772) (← links)
• Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
• Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
• A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)