product iamge

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Hardbound.

Author(s): Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel
Series: Studies in Logic and the Foundations of Mathematics 139
Edition: 1
Publisher: Elsevier
Year: 1998

Language: English
Pages: 798

Contents......Page 7
Introduction to the Handbook of Recursive Mathematics (Yu.L. Ershov, S.S. Goncharov, A. Nerode and J.B. Remmel)......Page 8
13 \Pi_1^0 Classes in Mathematics (D. Cenzer and J. B. Remmel)......Page 49
14 Computability Theory and Linear Orderings (R.G. Downey)......Page 248
15 Computable Algebras and Closure Systems: Coding Properties (R.G. Downey and J.B. Remmel)......Page 402
16 A Survey of Recursive Combinatorics (W. Gasarch)......Page 465
17 Constructive Abelian Groups (N.G. Khisamiev)......Page 601
18 Recursive and On-Line Graph Coloring (H.A. Kierstead)......Page 656
19 Polynomial-Time Computability in Analysis (K. Ko)......Page 693
20 Generally Constructive Boolean Algebras (S.P. Odintsov)......Page 740
21 Reverse Algebra (S.G. Simpson and J. Rao)......Page 776