Models and Computability
Subtitle: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Contributors: S. Barry Cooper (Editor); John K. Truss (Editor)
Publisher: Cambridge University Press
Published: March 1, 1999
Language: eng
Format: Paperback
Number of pages: 430
ISBN-13: 9780521635509
Subjects: Mathematical logic; Logic, Symbolic and mathematical; Model Theory; Philosophy Of Mathematics; Mathematics; Science/Mathematics; Discrete Mathematics; Logic; Logic, Symbolic and mathematical--Congresses; Mathematics / Combinatorics; Congresses; Computable functions; Logic, Symbolic and mathematic
First sentence: In this paper we study some extensions of the Kleene-Kreisel continuous functionals [7, 8] and show that most of the constructions and results, in particular the crucial density theorem, carry over from finite to dependent and transfinite types.