TY - THES
AU - Yeung, Stella Mei-Yee
PY - 1973
TI - Another notion of recursiveness
KW - Thesis/Dissertation
LA - eng
M3 - Text
AB - 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.
N2 - 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.
UR - https://open.library.ubc.ca/collections/831/items/1.0302221
ER - End of Reference