On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
Tugué, Tosiyuki
Proc. Japan Acad., Tome 36 (1960) no. 7, p. 10-14 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1960-05-15
Classification:  
@article{1195524146,
     author = {Tugu\'e, Tosiyuki},
     title = {On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$},
     journal = {Proc. Japan Acad.},
     volume = {36},
     number = {7},
     year = {1960},
     pages = { 10-14},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1195524146}
}

Tugué, Tosiyuki. On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$. Proc. Japan Acad., Tome 36 (1960) no. 7, pp.  10-14. http://gdmltest.u-ga.fr/item/1195524146/