Subsystems of Second Order Arithmetic

Häftad, Engelska, 2010

Av Stephen G. (Pennsylvania State University) Simpson, Stephen G. Simpson

869 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

  • Utgivningsdatum2010-02-18
  • Mått156 x 234 x 24 mm
  • Vikt650 g
  • FormatHäftad
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor464
  • Upplaga10002
  • FörlagCambridge University Press
  • ISBN9780521150149

Tillhör följande kategorier

Mer från samma författare

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 159 kr

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Stephen G. Simpson, Stephen G. (Pennsylvania State University) Simpson

2 539 kr

Kurt Gödel

Kurt Gödel

Solomon Feferman, Charles Parsons, Stephen G. Simpson, California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson

769 kr

Du kanske också är intresserad av

Lambda Calculus with Types

Lambda Calculus with Types

Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers

1 399 kr

Computable Structure Theory

Computable Structure Theory

Antonio Montalbán, Berkeley) Montalban, Antonio (University of California

1 969 kr

Higher Recursion Theory

Higher Recursion Theory

Massachusetts) Sacks, Gerald E. (Harvard University, Gerald E. Sacks

2 349 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

Chicago) Baldwin, John T. (University of Illinois, John T. Baldwin

2 609 kr

Essential Stability Theory

Essential Stability Theory

Indiana) Buechler, Steven (University of Notre Dame, Steven Buechler

2 309 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

Ann Arbor) Hinman, Peter G. (University of Michigan, Peter G. Hinman

2 609 kr

Proper and Improper Forcing

Proper and Improper Forcing

Saharon (Hebrew University of Jerusalem) Shelah, Saharon Shelah

3 109 kr

Proofs and Computations

Proofs and Computations

Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer, Helmut Schwichtenberg, Stanley S. Wainer

1 299 kr

Model-Theoretic Logics

Model-Theoretic Logics

California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University, J. Barwise, S. Feferman

3 409 kr

Pure Inductive Logic

Pure Inductive Logic

Jeffrey (University of Manchester) Paris, Alena (University of Manchester) Vencovska, Jeffrey Paris, Alena Vencovská

2 309 kr