Logical Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Work of Anil Nerode: A Retrospective
3. Altmetric Badge
   Chapter 2 Embedding Distributive Lattices Preserving 1 below a Nonzero Recursively Enumerable Turing Degree
4. Altmetric Badge
   Chapter 3 Prime Isols and the Theorems of Fermat and Wilson
5. Altmetric Badge
   Chapter 4 Problem Solving Strategies for the Derivation of Programs
6. Altmetric Badge
   Chapter 5 Effective Real Dynamics
7. Altmetric Badge
   Chapter 6 An integer lattice arising in the model theory of wreath products
8. Altmetric Badge
   Chapter 7 Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities
9. Altmetric Badge
   Chapter 8 Extracting programs from proofs by an extension of the Curry-Howard process
10. Altmetric Badge
    Chapter 9 A Bird’s-Eye View of Twilight Combinatorics
11. Altmetric Badge
    Chapter 10 Effectively and Noneffectively Nowhere Simple Subspaces
12. Altmetric Badge
    Chapter 11 Index Sets in Recursive Combinatorics
13. Altmetric Badge
    Chapter 12 Computability in Unitary Representations of Compact Groups
14. Altmetric Badge
    Chapter 13 Recursive Properties of Intervals of Recursive Linear Orders
15. Altmetric Badge
    Chapter 14 Algorithmic Stability of Models
16. Altmetric Badge
    Chapter 15 The Combinatorics of the Friedberg-Muchnick Theorem
17. Altmetric Badge
    Chapter 16 Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem
18. Altmetric Badge
    Chapter 17 Minimal Pair Constructions and Iterated Trees of Strategies
19. Altmetric Badge
    Chapter 18 Intuitionistic L
20. Altmetric Badge
    Chapter 19 n-Recursive Linear Orders without (n+1)-Recursive Copies
21. Altmetric Badge
    Chapter 20 Multiple Agent Autonomous Control A Hybrid Systems Architecture
22. Altmetric Badge
    Chapter 21 Distributed Concurrent Programs as Strategies in Games
23. Altmetric Badge
    Chapter 22 Dempster-Shafer Logic Programs and Stable Semantics
24. Altmetric Badge
    Chapter 23 Who Put The “Back” In Back-And-Forth?
25. Altmetric Badge
    Chapter 24 Polynomial Time Categoricity and Linear Orderings
26. Altmetric Badge
    Chapter 25 The Disjunction and Numerical Existence Properties for Intuitionistic Analysis
27. Altmetric Badge
    Chapter 26 On the strength of Fraïssé’s conjecture