[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

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

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] ENGINEERING ROCK MECHANICS PART 2: ILLUSTRATIVE WORKED EXAMPLES: ILLUSTRATIVE WORKED EXAMPLES
[1825 days] ENGINEERING ROCK MECHANICS PART 2: ILLUSTRATIVE WORKED EXAMPLES: ILLUSTRATIVE WORKED EXAMPLES

Engineering Rock Mechanics Part II: Illustrative Worked Examples can be used as an independent book ..

5,715,000 VNĐ

New
[30 days] Basic AC Circuits
[30 days] Basic AC Circuits

Basic AC Circuits, 2/E is a step-by-step approach to AC circuit technology for the beginning student..

822,000 VNĐ

New
[1825 days] Les Fourberies de Scapin
[1825 days] Les Fourberies de Scapin

One of Molière's lesser known plays, Les Fourberies de Scapin tells the story of two young men who f..

38,000 VNĐ

New
[1825 days] Handbook of Temporal Reasoning in Artificial Intelligence
[1825 days] Handbook of Temporal Reasoning in Artificial Intelligence

This collection represents the primary reference work for researchers and students in the area of Te..

6,350,000 VNĐ

New
[1825 days] Powell v. Texas, 392 U.S. 514
[1825 days] Powell v. Texas, 392 U.S. 514

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] Advances in Physical Organic Chemistry
[1825 days] Advances in Physical Organic Chemistry

Advances in Physical Organic Chemistry..

1,853,000 VNĐ

New
[180 days] Remote Sensing: Models and Methods for Image Processing
[180 days] Remote Sensing: Models and Methods for Image Processing

Remote sensing is a technology that engages electromagnetic sensors to measure and monitor changes i..

1,312,500 VNĐ

New
[1825 days] Fracture Mechanics: Applications and Challenges: Applications and Challenges
[1825 days] Fracture Mechanics: Applications and Challenges: Applications and Challenges

This book contains 15 fully peer-reviewed Invited Papers which were presented at the 13th Biennial E..

5,080,000 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán