Hoppa till sidans huvudinnehåll

Del 144

Computable Structures and the Hyperarithmetical Hierarchy

Inbunden, Engelska, 2000

AvC.J. Ash,J. Knight,USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN,C. J. Ash

2 249 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

Produktinformation

Hoppa över listan

Mer från samma serie

Del 146

Rudiments of Calculus

A. Arnold, D. Niwinski, France) Arnold, A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberation, 33405 Talence, 02-097 Warsaw) Niwinski, D. (Institute of Informatics, University of Warsaw, ul. Banacha 2, Andre Arnold

Inbunden

1 659 kr

Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden

2 909 kr

Del 147

Relation Algebras by Games

Robin Hirsch, Ian Hodkinson, UK) Hirsch, R. (University College, London, UK) Hodkinson, I. (Imperial College, London

Inbunden

2 679 kr

Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

Inbunden

2 089 kr

Del 153

Quantification in Nonclassical Logic

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman, King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London, UK) Shehtman, Valentin (Department of Computer Science, King's College London

Inbunden

2 659 kr

Del 150

Relation Algebras

Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger

Inbunden

3 299 kr

Hoppa över listan

Du kanske också är intresserad av

Del 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa

Inbunden

2 509 kr

Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden

2 909 kr

Del 137

Handbook of Proof Theory

Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss

Inbunden

2 079 kr

Del 130

Language in Action

J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem

Inbunden

1 669 kr

Del 150

Relation Algebras

Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger

Inbunden

3 299 kr

Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

Inbunden

2 089 kr