Recursion-Theoretic Hierarchies

Inbunden, Engelska, 2017

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

2 609 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.

Produktinformation

  • Utgivningsdatum2017-03-02
  • Mått242 x 166 x 40 mm
  • Vikt922 g
  • FormatInbunden
  • SpråkEngelska
  • SeriePerspectives in Logic
  • Antal sidor492
  • FörlagCambridge University Press
  • ISBN9781107168244

Tillhör följande kategorier

Du kanske också är intresserad av

Admissible Sets and Structures
Del 7

Admissible Sets and Structures

Jon Barwise, Madison) Barwise, Jon (University of Wisconsin

2 309 kr

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

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