Cargando…

Conference on Logical Methods

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the confer...

Descripción completa

Detalles Bibliográficos
Autores principales: Crossley, John, Remmel, Jeffrey, Shore, Richard, Sweedler, Moss
Lenguaje:eng
Publicado: Springer 1993
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-1-4612-0325-4
http://cds.cern.ch/record/2006280
_version_ 1780946283660312576
author Crossley, John
Remmel, Jeffrey
Shore, Richard
Sweedler, Moss
author_facet Crossley, John
Remmel, Jeffrey
Shore, Richard
Sweedler, Moss
author_sort Crossley, John
collection CERN
description The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.
id cern-2006280
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1993
publisher Springer
record_format invenio
spelling cern-20062802021-04-22T06:58:06Zdoi:10.1007/978-1-4612-0325-4http://cds.cern.ch/record/2006280engCrossley, JohnRemmel, JeffreyShore, RichardSweedler, MossConference on Logical MethodsMathematical Physics and MathematicsThe twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.Springeroai:cds.cern.ch:20062801993
spellingShingle Mathematical Physics and Mathematics
Crossley, John
Remmel, Jeffrey
Shore, Richard
Sweedler, Moss
Conference on Logical Methods
title Conference on Logical Methods
title_full Conference on Logical Methods
title_fullStr Conference on Logical Methods
title_full_unstemmed Conference on Logical Methods
title_short Conference on Logical Methods
title_sort conference on logical methods
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-1-4612-0325-4
http://cds.cern.ch/record/2006280
work_keys_str_mv AT crossleyjohn conferenceonlogicalmethods
AT remmeljeffrey conferenceonlogicalmethods
AT shorerichard conferenceonlogicalmethods
AT sweedlermoss conferenceonlogicalmethods