Searching for "Bounded Existential Induction." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Tennenbaum’s Theorem for Models of Arithmetic
- … to the theory of bounded existential induction, IE1. Some minor improvements were found by the present author…
- Cited by 1 (0 self) – Add To MetaCart
-
Diophantine Undecidable Theories of Arithmetic
- … outright in T . For example, this is the case for the theory IE 1 of bounded existential induction [3…
- Cited by 1 (1 self) – Add To MetaCart
-
A Diophantine Undecidable Subsystem of Arithmetic With No Induction Axioms
- … of bounded existential induction. This theory has been shown to be diophantine undecidable [3], even though…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 3.
