Restricted polynomial induction versus parameter free ordinary induction (Q5066172)
From MaRDI portal
scientific article; zbMATH DE number 7499607
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Restricted polynomial induction versus parameter free ordinary induction |
scientific article; zbMATH DE number 7499607 |
Statements
Restricted polynomial induction versus parameter free ordinary induction (English)
0 references
29 March 2022
0 references
conservativity
0 references
consistency
0 references
induction
0 references
end extension
0 references
0 references
