Definability and Computability
by Iurii Leonidovich Ershov;Yuri L Ershov (9780306110399)

Definability and Computability
Iurii Leonidovich Ershov;Yuri L Ershov
Release Date: 01 January 2001
Format: Hardback
Pages: 264
Category: Logic
ISBN: 9780306110399
ISBN-10: 0306110393

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 GAdel 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.

AUD $511.95

 This title is not held in stock & is ordered from suppliers, subject to availability.

View other Iurii Leonidovich Ershov;Yuri L Ershov titles like "Definability and Computability"

Write a customer review of Definability and Computability.

If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend

Australian BookShop
Australian Bookshop. Established 2003
Shopping Cart Customer Support

International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide