Definability and Computability
Definability and Computability
Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780306110399
Condition
New
Product Description
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gdel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
Available Colors
Available Sizes
1 Offer
Price Range: $219.99 - $219.99
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$219.99 | $219.99 |
|
$219.99 | See Site | In stock | Visit Store |