Subsystems of Second Order Arithmetic 1
bokomslag Subsystems of Second Order Arithmetic
Vetenskap & teknik

Subsystems of Second Order Arithmetic

Stephen G Simpson • Stephen G Simpson

Pocket

889:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 464 sidor
  • 2010
What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.
  • Författare: Stephen G Simpson, Stephen G Simpson
  • Format: Pocket/Paperback
  • ISBN: 9780521150149
  • Språk: Engelska
  • Antal sidor: 464
  • Utgivningsdatum: 2010-02-18
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Subsystems of Second Order Arithmetic

    Subsystems of Second Order Arithmetic

    Stephen G Simpson Stephen G Simpson

    Inbunden

    2589:-
  2. bokomslag Admissible Sets and Structures

    Admissible Sets and Structures

    Jon Barwise Jon Barwise

    Inbunden

    2359:-
  3. bokomslag Lambda Calculus with Types

    Lambda Calculus with Types

    Henk Barendregt, Wil Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers

    Inbunden

    1439:-
  4. bokomslag Computable Structure Theory

    Computable Structure Theory

    Antonio Montalbán

    Inbunden

    2009:-
  5. bokomslag Higher Recursion Theory

    Higher Recursion Theory

    Gerald E Sacks Gerald E Sacks

    Inbunden

    2419:-
  6. bokomslag Fundamentals of Stability Theory

    Fundamentals of Stability Theory

    John T Baldwin John T Baldwin

    Inbunden

    2679:-
  7. bokomslag Essential Stability Theory

    Essential Stability Theory

    Steven Buechler Steven Buechler

    Inbunden

    2359:-
  8. bokomslag Recursion-Theoretic Hierarchies

    Recursion-Theoretic Hierarchies

    Peter G Hinman Peter G Hinman

    Inbunden

    2679:-
  9. bokomslag Proper and Improper Forcing

    Proper and Improper Forcing

    Saharon Shelah Saharon Shelah

    Inbunden

    3169:-
  10. bokomslag Proofs and Computations

    Proofs and Computations

    Helmut Schwichtenberg, Stanley S Wainer, Helmut Schwichtenberg, Stanley S Wainer

    Inbunden

    1339:-

Andra av samma författare

  1. bokomslag Kurt Gödel

    Kurt Gödel

    Solomon Feferman, Charles Parsons, Stephen G Simpson

    Inbunden

    2199:-
  2. bokomslag Kurt Gödel

    Kurt Gödel

    Solomon Feferman, Charles Parsons, Stephen G Simpson, Solomon Feferman, Charles Parsons

    789:-
  3. bokomslag Reverse Mathematics 2001

    Reverse Mathematics 2001

    Stephen G Simpson

    Pocket

    489:-