Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact email@example.com with any questions.
You have requested a machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Neither Project Euclid nor the owners and publishers of the content make, and they explicitly disclaim, any express or implied representations or warranties of any kind, including, without limitation, representations and warranties as to the functionality of the translation feature or the accuracy or completeness of the translations.
Translations are not retained in our system. Your use of this feature and the translations is subject to all use restrictions contained in the Terms and Conditions of Use of the Project Euclid website.
1960On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
Proc. Japan Acad. 36(1): 10-14 (1960). DOI: 10.3792/pja/1195524146
Tosiyuki Tugué "On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$," Proceedings of the Japan Academy, Proc. Japan Acad. 36(1), 10-14, (1960)