Subsystems Of Second Order Arithmetic
Download Subsystems Of Second Order Arithmetic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Subsystems Of Second Order Arithmetic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Subsystems of Second Order Arithmetic
Author: Stephen George Simpson
language: en
Publisher: Cambridge University Press
Release Date: 2009-05-29
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.
Subsystems of Second Order Arithmetic
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Subsystems of Second Order Arithmetic
An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention to several well known foundational programs including those by Hilbert, Bishop, and Weyl. The book includes an extensive bibliography and a detailed index, and should become a long-term standard reference in its field.