Billede af bogens forside - Computable Structures and the Hyperarithmetical Hierarchy

Computable Structures and the Hyperarithmetical Hierarchy

af C.J. Ash, m.fl.

Bog, Hardback, Engelsk, 2000

Describes a program of research in computable structure theory. This book aims to find definability conditions corresponding to bounds on complexity which persist under isomorphism. It includes necessary background material from recursion theory and model theory.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9780444500724
  • Udgivet16/06/2000
  • Udgivet afElsevier Science & Technology
  • Længde366 sider
  • ForfattereC.J. Ash, J. (University of Notre Dame Knight
  • GenreBusiness og læring, Videnskab