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 |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 18:24, 30 January 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