References
Kleene, S.C.: Introduction to metamathematics. New York: Van Nostrand 1952.
López-Escobar, E.G.K.: Further applications of ultra-conservative ω-rules. Arch. math. Logik22, 89–102 (1982).
Schütte, K.: Ein System des verknüpfenden Schließens. Arch. math. Logik2, 55–67 (1956).
Tait, W.W.: Functionals defined by transfinite recursion. J. Symb. Logic30, 155–174 (1965).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
López-Escobar, E.G.K. König's lemma, the ω-Rule and primitive recursive arithmetic. Arch math Logik 25, 67–74 (1985). https://doi.org/10.1007/BF02007557
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007557