References
Bernays, P.: On the original Gentzen consistency proof for number theory. In: Kino, A., Myhill, J., Vesley, R.E. (eds.): Intuitionism and proof theory, pp. 409–417. Amsterdam: North-Holland 1970.
Kleene, S.C.: Introduction to metamatics. New York: Van Nostrand 1952.
Kreisel, G.: Review. J. Symb. Logic31, 258–261 (1966).
Kreisel, G., Mints, G.E., Simpson, S.G.: The use of abstract language in elementary metamathematics: some pedagogic examples. In: Parikh, R. (ed.): Logic colloquium In: Lecture Notes in Mathematics, Vol. 453, pp. 132–154. Berlin, Heidelberg, New York: Springer 1975.
López-Escobar, E.G.K.: On an extremely restricted ω-rule. Fund. Math.90, 160–172 (1976).
Tosi, P.: Normal derivability and first-order arithmetic (to appear) (1976).
Troelstra, A.S.: Note on the fan theorem. J. Symb. Logic39, 584–596 (1974).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
López-Escobar, E.G.K. Further applications of ultra-conservative ω-rules. Arch math Logik 22, 89–102 (1980). https://doi.org/10.1007/BF02297650
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02297650