Pages that link to "Item:Q5579483"
From MaRDI portal
The following pages link to Independent Recursive Axiomatizability in Arithmetic (Q5579483):
Displaying 6 items.
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Undecidability of the elementary theory of the semilattice of GLP-words (Q4650150) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- A system of completely independent axioms for the sequence of natural numbers (Q5846787) (← links)