References
Fuhrken, E.G.: Skolem type normal forms for first order languages with a generalized quantifier. Fund. Math.54 (1964), 291–302.
Fuhrken, E.G.: Languages with added quantifier “there exist at least ℵa”. The Theory of Models, edited by J. Adison, L. Henkin and A. Terski, North Holland, Amsterdam, 1965, pp. 121–131.
Keisler, H. J.: Models with orderings, Logic Methodology and Philosophy of Science, III. Proceedings of the Third International Congress, Amsterdam, 1967, edited by B. van Rootselaar and J. F. Staal, North-Holland, Amsterdam 1968, pp. 35–62.
Keisler, H.J.: Logic with the quantifier “there exist uncountably many”. Annals of Math. Logic1 (1970), 1–94.
Mendelson, E.: Introduction to Mathematical Logic. Van Nostrand Company, 1963.
Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, 1967.
Yasuhara, M.: Syntactical and Semantical Properties of Generalized Quantifier. J.S.L.31 (1966), 617–632.
Author information
Authors and Affiliations
Additional information
This paper is part of the author's doctoral dissertation which was prepared under the supervision of Professor Azriel Levy at the Hebrew University of Jerusalem. The author wishes to thank Professor Levy for his kind assistance.
Rights and permissions
About this article
Cite this article
Vinner, S. On two complete sets in the analytical and the arithmetical hierarchies. Arch math Logik 17, 81–84 (1975). https://doi.org/10.1007/BF02276794
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02276794