Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9780444500724

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Theorems of Barker and Davey

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80017-8 ◽

2000 ◽

pp. 253-262

Download Full-text

α-systems

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80015-4 ◽

2000 ◽

pp. 227-237

Download Full-text

Copyright page

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(13)72045-7 ◽

2000 ◽

pp. iv

Download Full-text

Front Matter

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(13)72044-5 ◽

2000 ◽

pp. iii

Download Full-text

Preface

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80001-4 ◽

2000 ◽

pp. v-ix

Author(s):

Julia F. Knight

Download Full-text

Back-and-forth relations

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80016-6 ◽

2000 ◽

pp. 239-252

Download Full-text

Ordinals

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80005-1 ◽

2000 ◽

pp. 57-69

Download Full-text

Languages and structures

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80004-x ◽

2000 ◽

pp. 33-56

Download Full-text

The Ash-Nerode Theorem

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80012-9 ◽

2000 ◽

pp. 181-195

Download Full-text

Existence of computable structures

Computable Structures and the Hyperarithmetical Hierarchy - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(00)80010-5 ◽

2000 ◽

pp. 137-158

Keyword(s):

Computable Structures

Download Full-text