On Σ<sub>1</sub>‐definable Functions Provably Total in I ∏ (Q4323837)
From MaRDI portal
scientific article; zbMATH DE number 724876
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Σ<sub>1</sub>‐definable Functions Provably Total in I ∏ |
scientific article; zbMATH DE number 724876 |
Statements
On Σ<sub>1</sub>‐definable Functions Provably Total in I ∏ (English)
0 references
27 July 1995
0 references
provably total function
0 references
\(\Sigma_ 1\)-definable function
0 references
\(\Pi_ 1\)- induction
0 references
discretely ordered commutative rings with unit
0 references
