Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10118849 | Annals of Pure and Applied Logic | 2005 | 19 Pages |
Abstract
Unlike IZF, constructive Zermelo-Fraenkel set theory is amenable to ordinal analysis and the proofs in this paper make pivotal use thereof in the guise of well-ordering proofs for ordinal representation systems.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Michael Rathjen,