Logical methods : in honor of Anil Nerode's sixtieth birthday
- Title
- Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley [and others], editors.
- Published by
- Boston : Birkhäuser, 1993.
Items in the library and off-site
Displaying 1 item
Status | Format | Access | Call number | Item location |
---|---|---|---|---|
Status | FormatText | AccessRequest in advance | Call numberQA76.63.L59 L64 1993 | Item locationOff-site |
Details
- Additional authors
- Description
- 813 pages : portrait; 25 cm.
- Summary
- Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs.
- Included also is a thorough survey of Nerode's technical achievements over the last 30 years.
- Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs.
- The papers in general arose from the conference "Logical Methods in Mathematics and Computer Science. A Symposium in Honor of Anil Nerode on the Occasion of his Sixtieth Birthday" at the Mathematical Sciences Institute, Cornell University, from June 1-3, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work.
- Series statement
- Progress in computer science and applied logic ; v. 12
- Uniform title
- Progress in computer science and applied logic ; v. 12.
- Subject
- Contents
- The Work of Anil Nerode: A Retrospective / Jeffrey B. Remmel and John N. Crossley -- Bibliography of Anil Nerode -- Embedding Distributive Lattices Preserving 1 Below A Nonzero Recursively Enumerable Turing Degree / Klaus Ambos-Spies, Ding Decheng and Peter A. Fejer -- Prime Isols and the Theorems of Fermat and Wilson / J. Barback -- Problem Solving Strategies for the Derivation of Programs / Jaime Bohorquez and Rodrigo Cardoso -- Effective Real Dynamics / Douglas Cenzer -- An Integer Lattice Arising in the Model Theory of Wreath Products / Gregory Cherlin and Gary Martin -- Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities / Peter Cholak and Rod Downey -- Extracting Programs from Proofs by an Extension of the Curry-Howard Process / John N. Crossley and John C. Shepherdson -- A Bird's-Eye View of Twilight Combinatorics / J. C. E. Dekker -- Effectively and Noneffectively Nowhere Simple Subspaces / R. G. Downey and Jeffrey B. Remmel.
- Index Sets in Recursive Combinatorics / William Gasarch and Georgia Martin -- Computability in Unitary Representations of Compact Groups / Xiaolin Ge and J. Ian Richards -- Recursive Properties of Intervals of Recursive Linear Orders / Geoffrey Hird -- Algorithmic Stability of Models / B. M. Khoussainov and R. Dadajanov -- The Combinatorics of the Friedberg-Muchnick Theorem / Kyriakos Kontostathis -- Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem / D. Kozen -- Minimal Pair Constructions and Iterated Trees of Strategies / S. Lempp, M. Lerman and F. Weber -- Intuitionistic L / Robert S. Lubarsky -- n-Recursive Linear Orders Without (n + 1)-Recursive Copies / Michael Moses -- Multiple Agent Autonomous Control - A Hybrid Systems Architecture / Anil Nerode and Wolf Kohn -- Distributed Concurrent Programs as Strategies in Games / Anil Nerode, Alexander Yakhnis and Vladimir Yakhnis.
- Dempster-Shafer Logic Programs and Stable Semantics / Raymond Ng and V. S. Subrahmanian -- Who Put the "Back" in Back-and-Forth? / J. M. Plotkin -- Polynomial Time Categoricity and Linear Orderings / Jeffrey B. Remmel -- The Disjunction and Numerical Existence Properties for Intuitionistic Analysis / Philip Scowcroft -- On the Strength of Fraisse's Conjecture / Richard A. Shore.
- Owning institution
- Columbia University Libraries
- Bibliography (note)
- Includes bibliographical references.