Pengarang: Jeffrey B. Remmel

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 …

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out – but what fact is this supposed to …