Artículos relacionados a Subsystems of Second Order Arithmetic (Perspectives...
Sinopsis
This volume focuses on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as reverse mathematics. Subsystems of second order arithmetic based on such axioms correspond to several foundational programs: finitistic reductionism (Hilbert); constructivism (Bishop); predictavism (Weyl); and predictive reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume focuses on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as reverse mathematics. Subsystems of second order arithmetic based on such axioms correspond to several foundational programs: finitistic reductionism (Hilbert); constructivism (Bishop); predictavism (Weyl); and predictive reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Año de publicación1998
- ISBN 10 3540648828
- ISBN 13 9783540648826
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas444
- Contacto del fabricanteno disponible
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Subsystems of Second Order Arithmetic (Perspectives...
Imagen del vendedor
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
444 p. New! -- Neu und originalverschweißt! 9783540648826 Sprache: Englisch Gewicht in Gramm: 821 Hardcover: 16.5 x 3.2 x 24.8 cm. Nº de ref. del artículo: 202305
Cantidad disponible: 1 disponibles
Imagen de archivo
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA75835406488286
Cantidad disponible: 1 disponibles