A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Zhao, Xishun / rank | |||
Property / author | |||
Property / author: Zhao, Xishun / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:38, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas |
scientific article |
Statements
A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (English)
0 references
1990
0 references
Using the definability of truth for \(\Sigma_ n\)-formulas and the reflection principle the author proves in ZF the consistency of the subtheory \(ZF_ n\) mentioned in the title of his short note. In fact, the author's (somewhat stronger) result and his proof are well-known and can be found as Theorem 32 in \textit{A. Levy}'s ``A hierarchy of formulas in set theory'' [Mem. Am. Math. Soc. 57 (1965; Zbl 0202.305)] (a paper cited by the author in his list of references). Alternatively, one could use for a simple proof the fact that \(ZF_ n\) is finitely axiomatizable [cf. \textit{E.-J. Thiele}: ``Über endlich-axiomatisierbare Teilsysteme der Zermelo-Fraenkelschen Mengenlehre'', Z. Math. Logik Grundlagen Math. 14, 39-58 (1968; Zbl 0177.014)].
0 references
reflection principle
0 references
consistency
0 references