UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

Another notion of recursiveness Yeung, Stella Mei-Yee


The notion of recursiveness is treated in a model-theoretical way by using a particular instance of Kreisel's definition of 'invariant definability'. Naming the chosen notion 'finite describability', a number of basic definitions and properties are defined and proved. As one would expect, these properties coincide with the ones for recursion theory. The equivalences of finite describability and recursiveness bring model theory and recursion theory slightly together.

Item Media

Item Citations and Data


For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.