On reflection principles

DOI10.21099/TKBJM/1496159532MaRDI QIDQ5896339zbMATH OpenOpenAlexFDO

Authors Akito Tsuboi

Publication date 1982

Published in Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21099/tkbjm/1496159532

zbMATH Keywords

first order theories containing arithmeticproof theoryreflection principles

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Review text

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.

Recommendations

• On reflection principles
• On the method of reflections
• scientific article; zbMATH DE number 1421113
• On stationary reflection principles
• An application of a reflection principle
• scientific article; zbMATH DE number 1225791
• Higher order reflection principles
• scientific article; zbMATH DE number 1827959
• Reflections on Reflections

Cited in

(8)

• Formal models of reflexive structures
• On the method of reflections
• On stationary reflection principles
• scientific article; zbMATH DE number 3878922 (Why is no real title available?)
• An application of a reflection principle
• scientific article; zbMATH DE number 1421113 (Why is no real title available?)
• Reflection principles for class groups
• On reflection principles

This page was built for publication: On reflection principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5896339)