[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

[1825 days] Computable Structures and the Hyperarithmetical Hierarchy

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:

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

Mua hàng số lượng lớn

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] Advances in Insect physiology APL

[1825 days] Advances in Insect physiology APL

Advances in Insect physiology APL..

1,853,000 VNĐ

New

[1825 days] Philosophy of Biology

[1825 days] Philosophy of Biology

Philosophy of Biology is a rapidly expanding field. It is concerned with explanatory concepts in ev..

4,953,000 VNĐ

New

[150 days] Aging with HIV: Psychological, Social, and Health Issues

[150 days] Aging with HIV: Psychological, Social, and Health Issues

In 1998, approximately 30 million people worldwide were living with HIV/AIDS, about 5 million of who..

2,386,500 VNĐ

New

[1825 days] ASIC and FPGA Verification: A Guide to Component Modeling

[1825 days] ASIC and FPGA Verification: A Guide to Component Modeling

Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA desi..

1,802,500 VNĐ

New

[1825 days] Geological Disposal of Radioactive Wastes and Natural Analogues

[1825 days] Geological Disposal of Radioactive Wastes and Natural Analogues

Many countries are currently exploring the option to dispose of highly radioactive solid wastes deep..

4,191,000 VNĐ

New

[1825 days] Advances in Applied Microbiology

[1825 days] Advances in Applied Microbiology

Published since 1959, Advances in Applied Microbiology continues to be one of the most widely read a..

3,785,000 VNĐ

New

[1825 days] Advances in Organometallic Chemistry

[1825 days] Advances in Organometallic Chemistry

Almost all branches of chemistry and material science now interface with organometallic chemistry-th..

5,715,000 VNĐ

New

[1825 days] Bioaccumulation in Marine Organisms: Effect of Contaminants from Oil Well Produced Water

[1825 days] Bioaccumulation in Marine Organisms: Effect of Contaminants from Oil Well Produced Water

Large volumes of produced water are generated and discharged to the coastal and ocean waters worldwi..

5,207,000 VNĐ