On reflection principles (Q5896339)
From MaRDI portal
scientific article; zbMATH DE number 3857096
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On reflection principles |
scientific article; zbMATH DE number 3857096 |
Statements
On reflection principles (English)
0 references
1982
0 references
The paper contains some minor refinements on the topic of its title mainly of the literature in the 60's [in particular: \textit{S. Feferman}, Fundam. Math. 49, 35-92 (1960; Zbl 0095.243)]. It is not up-to-date because it neglects to specify the data, that is, formal rules, which determine a formal system, and a fortiori neglects to use the notion of canonical representation of those data w.r.t. the system(s) considered.
0 references
reflection principles
0 references
first order theories containing arithmetic
0 references
proof theory
0 references