Computability and Models: Perspectives East and West

Exploring a field sometimes known as "recursive model theory," in which researchers from the former Soviet Union have been prominent, Cooper (U. of Leeds, UK) and Goncharov (Novosibirsk State U., Russia) present 13 papers that were solicited as accessible surveys of their research into the relationship between formal theory descriptions and the algorithmic content of the models of those theories. Some specific topics include isomorphism types and theories of Rogers semi-lattices of arithmetical numbers, computability over topological structures, and primitive recursive permutations. Annotation (c)2003 Book News, Inc., Portland, OR