Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Elsevier

9780444501066

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 20 Generally constructive boolean algebras

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80053-0 ◽

1998 ◽

pp. 1319-1354

Author(s):

S.P. Odintsov

Keyword(s):

Boolean Algebras

Download Full-text

Chapter 21 Reverse algebra

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80054-2 ◽

1998 ◽

pp. 1355-1372 ◽

Author(s):

S.G. Simpson ◽

J. Rao

Download Full-text

Chapter 13 Π10 classes in mathematics

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80046-3 ◽

1998 ◽

pp. 623-821 ◽

Author(s):

D. Cenzer ◽

J.B. Remmel

Download Full-text

Chapter 16 A survey of recursive combinatorics

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80049-9 ◽

1998 ◽

pp. 1041-1176 ◽

Author(s):

W. Gasarch

Download Full-text

Chapter 15 Computable algebras and closure systems: Coding properties

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80048-7 ◽

1998 ◽

pp. 977-1039 ◽

Author(s):

R.G. Downey ◽

J.B. Remmel

Keyword(s):

Closure Systems

Download Full-text

Chapter 19 Polynomial-time computability in analysis

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80052-9 ◽

1998 ◽

pp. 1271-1317 ◽

Author(s):

K. Ko

Keyword(s):

Polynomial Time

Download Full-text

Chapter 18 Recursive and on-line graph coloring

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80051-7 ◽

1998 ◽

pp. 1233-1269 ◽

Author(s):

H.A. Kierstead

Keyword(s):

Graph Coloring ◽

Download Full-text

Introduction to the handbook of recursive mathematics

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80045-1 ◽

1998 ◽

pp. vii-xlvi ◽

Author(s):

Y.L. Ershov ◽

S.S. Goncharov ◽

A. Nerode ◽

J.B. Remmel

Download Full-text

Chapter 14 Computability theory and linear orderings

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80047-5 ◽

1998 ◽

pp. 823-976 ◽

Author(s):

R.G. Downey

Keyword(s):

Computability Theory ◽

Linear Orderings

Download Full-text

Chapter 17 Constructive abelian groups

Studies in Logic and the Foundations of Mathematics - Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics ◽

10.1016/s0049-237x(98)80050-5 ◽

1998 ◽

pp. 1177-1231 ◽

Author(s):

N.G. Khisamiev

Keyword(s):

Download Full-text