A Note on Function Quantification

Publisher Website

1 October 1957

journal article
Published by JSTOR in Proceedings of the American Mathematical Society

Vol. 8 (5) , 1002-1006
https://doi.org/10.2307/2033710

Abstract

References [Enhancements On Off] (What's this?)

Keywords

This publication has 3 references indexed in Scilit:

Arithmetical Predicates and Function Quantifiers
Transactions of the American Mathematical Society, 1955
Recursive well-orderings
The Journal of Symbolic Logic, 1955
Hierarchies of number-theoretic predicates
Bulletin of the American Mathematical Society, 1955