Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41) - Image 1

£97.46

Cambridge University Press Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Name: Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
Brand: Cambridge University Press
Price: 97.46 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 72 days • 72 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 72 days • 1 price levels

Days at Price

Price Analysis

Most common price: £97 (72 days, 100.0%)

Price range: £97 - £97

Price levels: 1 different prices over 72 days

Description

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book contains introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite time Turing machines; Blum-Shub-Smale computability; Sigma-definability; computability theory on admissible ordinals; E-recursion theory; local computability; and uncountable reverse mathematics. This book provides an authoritative and multifaceted introduction to this exciting new area of research that is still in its early stages. It is ideal as both an introductory text for graduate and advanced undergraduate students and a source of interesting new approaches for researchers in computability theory and related areas.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107014514
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 31 October 2013
Listed Since: 09 January 2013

Barcode

No barcode data available

Cambridge University Press Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Computability: An Introduction to Recursive Function Theory

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

The Foundations of Computability Theory

Computability Theory: An Introduction to Recursion Theory

Computability

Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)

The Logic of Infinity

The Logic of Infinity

Constructive Models (Siberian School of Algebra and Logic)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Computational Complexity: A Conceptual Perspective

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

A Guide to NIP Theories: 44 (Lecture Notes in Logic, Series Number 44)

Theory of Computation

Computational Complexity: A Modern Approach

A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Automata and Computability

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)