| Introduction to the Handbook of Recursive Mathematics |
|
vii | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Part One Recursive Model Theory |
|
|
Pure Computable Model Theory |
|
|
3 | (112) |
|
|
|
|
|
|
Elementary Theories and their Constructive Models |
|
|
115 | (52) |
|
|
|
|
|
|
|
|
|
|
|
Isomorphic Recursive Structures |
|
|
167 | (16) |
|
|
|
|
|
|
Computable Classes of Constructive Models |
|
|
183 | (52) |
|
|
|
|
|
|
Σ-Definability of Algebraic Structures |
|
|
235 | (26) |
|
|
|
|
|
|
Autostable Models and Algorithmic Dimensions |
|
|
261 | (28) |
|
|
|
|
|
|
|
|
289 | (22) |
|
|
|
|
|
|
Groups of Computable Automorphisms |
|
|
311 | (36) |
|
|
|
|
|
|
Constructive Models of Finitely Axiomatizable Theories |
|
|
347 | (34) |
|
|
|
|
|
|
Complexity Theoretic Model Theory and Algebra |
|
|
381 | (134) |
|
|
|
|
|
|
|
|
|
|
|
A Bibliography of Recursive Algebra and Recursive Model Theory |
|
|
515 | (68) |
|
|
|
|
|
|
A Bibliography of Recursive Analysis and Recursive Topology |
|
|
583 | (40) |
|
|
|
|
|
|
|
|
|
|
| Part Two Recursive Algebra, Analysis, and Combinatorics |
|
|
Π01 Classes in Mathematics |
|
|
623 | (200) |
|
|
|
|
|
|
|
|
|
|
|
Computability Theory and Linear Orderings |
|
|
823 | (154) |
|
|
|
|
|
|
Computable Algebras and Closure Systems: Coding Properties |
|
|
977 | (64) |
|
|
|
|
|
|
|
|
|
|
|
A Survey of Recursive Combinatorics |
|
|
1041 | (136) |
|
|
|
|
|
|
Constructive Abelian Groups |
|
|
1177 | (56) |
|
|
|
|
|
|
Recursive and On-Line Graph Coloring |
|
|
1233 | (38) |
|
|
|
|
|
|
Polynomial-Time Computability in Analysis |
|
|
1271 | (48) |
|
|
|
|
|
|
Generally Constructive Boolean Algebras |
|
|
1319 | (36) |
|
|
|
|
|
|
|
|
1355 | |
|
|
|
|
|
|
|
|
|
|
Shopping Cart
