论文信息 - A Strong Conservative Extension of Peano Arithmetic

A Strong Conservative Extension of Peano Arithmetic

A system ALPO of set theory is presented and proved to form a conservative extension of Peano arithmetic. The system has sufficient strength to allow a very substantial amount of analysis to be directly formalized, including Lebesgue integration theory, without resorting to wholesale padding of objects with extra information.

Harvey M. Friedman | H. Friedman

[1] Solomon Feferman,et al. Theories of Finite Type Related to Mathematical Practice , 1977 .

[2] Harvey M. Friedman,et al. Set theoretic foundations for constructive analysis , 1977 .

[3] S. Feferman. A Language and Axioms for Explicit Mathematics , 1975 .

[4] G. Takeuti. Two Applications of Logic to Mathematics , 1978 .