Pages that link to "Item:Q4212909"
From MaRDI portal
The following pages link to Undecidable extensions of Skolem arithmetic (Q4212909):
Displaying 4 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)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
