ABSTRACT

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples

chapter CHAPTER 1|8 pages

INTRODUCTION

chapter CHAPTER 3|34 pages

FUNCTORIAL ADMISSIBLE MODELS

chapter CHAPTER 4|26 pages

INITIAL TREE COMPUTING AND LANGUAGES

chapter CHAPTER 5|20 pages

DESCRIPTIVE SETS AND INFINITARY LANGUAGES

chapter CHAPTER 6|38 pages

COMPLEXITY AND COMPUTING

chapter CHAPTER 8|48 pages

PEANO ARITHMETIC MODELS AND COMPUTABILITY

chapter CHAPTER 9|44 pages

REALIZABILITY AND COMPUTABILITY