Degrees of Unsolvability

Local and Global Theory

Inbunden, Engelska, 2017

Av Manuel (University of Connecticut) Lerman, Manuel Lerman

2 029 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This volume presents a systematic study of the interaction between local and global degree theory. It introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees.

Produktinformation

Mer från samma författare

A Framework for Priority Arguments

A Framework for Priority Arguments

Manuel (University of Connecticut) Lerman, Manuel Lerman

1 999 kr

Mer från samma serie

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

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

889 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 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 409 kr

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

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

2 559 kr

Pure Inductive Logic

Pure Inductive Logic

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

2 359 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

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

2 629 kr

General Recursion Theory

General Recursion Theory

Jens E. (Universitetet i Oslo) Fenstad, Jens E. Fenstad

2 029 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

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

2 629 kr

Model-Theoretic Logics

Model-Theoretic Logics

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

3 439 kr

Admissible Sets and Structures

Admissible Sets and Structures

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

2 329 kr

Du kanske också är intresserad av

A Framework for Priority Arguments

A Framework for Priority Arguments

Manuel (University of Connecticut) Lerman, Manuel Lerman

1 999 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 409 kr

Computable Structure Theory

Computable Structure Theory

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

2 009 kr

Higher Recursion Theory

Higher Recursion Theory

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

2 369 kr

Fundamentals of Stability Theory

Fundamentals of Stability Theory

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

2 629 kr

Essential Stability Theory

Essential Stability Theory

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

2 359 kr

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

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

2 629 kr

Proper and Improper Forcing

Proper and Improper Forcing

Saharon (Hebrew University of Jerusalem) Shelah, Saharon Shelah

3 159 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 309 kr

Model-Theoretic Logics

Model-Theoretic Logics

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

3 439 kr

Tillhör följande kategorier