Pages that link to "Item:Q4212909"
From MaRDI portal
The following pages link to Undecidable extensions of Skolem arithmetic (Q4212909):
Displaying 9 items.
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Some new results in monadic second-order arithmetic (Q3195649) (← links)
- Some proofs of undecidability of arithmetic (Q3237141) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- (Q3691669) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- Undecidable wreath products and skew power series fields (Q4391433) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$ (Q6094154) (← links)