Griffor, E. R.

ID:DA10083194

Search authors sharing the same name

Search Results1-4 of 4

1

Definability and forcing in E-Recursion

by E.R. Griffor

Universitetet i Oslo, Matematisk institutt 1982 Preprint series . Mathematics ; no. 6

Available at 2 libraries
2

Effective confinalities and admissibility in E-recursion

by E.R. Griffor and D. Normann

Universitetet i Oslo, Matematisk institutt 1982 Preprint series . Mathematics ; no. 5

Available at 2 libraries
3

Recursive enumerability and indexicality in E-recursion

E. R. Griffor and D. Normann

Universitetet i Oslo, Matematisk institutt 1981 Preprint series. Mathematics no. 21

Available at 1 libraries
4

Some consequences of AD for Kleene recursion in 3E

by E. R. Griffor

Matematisk Institutt, Universitetet i Oslo 1981 Preprint series. Mathematics no. 12

Available at 1 libraries

Search this author

Related Authors

Normann, Dag