[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:

9780444500724

Tồn kho:

Còn hàng

Danh mục

Mua eTextbooks trực tuyến

Nhà xuất bản:

Elsevier S & T

Trạng thái:

Có hàng

Loại bìa:

Page Fidelity

Ngôn ngữ:

English

Tác giả:

Ash, C.J.; Knight, J.

Special Price 4,318,000 VNĐ

Còn VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

Mô tả
Đánh giá (0)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

Sản phẩm liên quan

New

[1825 days] OpenVMS with Apache, WASD, and OSU: The Nonstop Webserver

Whether you're an experienced webmaster new to OpenVMS or an old OpenVMS hand new to webservers, thi..

2,107,000 VNĐ

New

[1825 days] A Baker's Dozen: Real Analog Solutions for Digital Designers

This book has been written to help digital engineers who need a few basic analog tools in their tool..

2,158,000 VNĐ

New

[1825 days] Advances in Organometallic Chemistry: Volume 38

This widely acclaimed serial contains authoritative reviews that address all aspects of organometall..

1,853,000 VNĐ

New

[1825 days] ADVANCES IN CANCER RESEARCH, VOLUME 54

ADVANCES IN CANCER RESEARCH, VOLUME 54..

1,853,000 VNĐ

New

[1825 days] The Real MCTS/MCITP Exam 70-647 Prep Kit: Independent and Complete Self-Paced Solutions

This exam is designed to validate skills as a Windows Server 2008 Enterprise Administrator. This exa..

1,599,000 VNĐ

New

[1825 days] Computational Finance Using C and C#

In Computational Finance Using C and C# George Levy raises computational finance to the next level u..

2,642,000 VNĐ

New

[1825 days] ADVANCES IN COMPUTERS VOL 31

ADVANCES IN COMPUTERS VOL 31..

1,853,000 VNĐ

New

[30 days] Memory Systems: Cache, DRAM, Disk

Is your memory hierarchy stopping your microprocessor from performing at the high level it should be..

3,099,000 VNĐ

[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán