Well-orderings and finite quantifiers

E. G. K. LOPEZ-ESCOBAR

doi:10.2969/jmsj/02030477

E. G. K. LOPEZ-ESCOBAR

Author information

JOURNAL FREE ACCESS

1968 Volume 20 Issue 3 Pages 477-489

DOI https://doi.org/10.2969/jmsj/02030477

Details

Published: 1968 Received: December 20, 1965 Available on J-STAGE: September 26, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: September 26, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) H. Bachmann, Transfinite Zahlen, Berlin, 1955.
2) A. Ehrenfeucht, An application of games to the completeness problem for formalized theories, Fund. Math., 49 (1961), 129-141.
3) S. Feferman, Some recent results of Ehrenfeucht and Fraisse, Cornell Summer Logic Institute, 1957, 201-209.
4) C. R. Karp, Finite quantifier equivalence, Proceedings of the International Symposium on the Theory of Models, Berkeley, 1963, 407-412.
5) E. G. K. Lopez-Escobar, On defining well-orderings, Fund. Math., 59 (1966), 13-21 and 299-300.
6) A. Mostowski and A. Tarski, Arithmetical classes and types of well-orderings, Bull. Amer. Math. Soc., 55 (1949), 65, 1192.
7) D. Scott, Logic with denumerably long formulas and finite strings of quantifiers, Proceedings of the International Symposium on the Theory of Models, Berkeley, 1963, 329-341.
8) A. Tarski, Remarks on predicate logic with infinitely long expressions, Colloq. Math., 16 (1958), 171-176.

Right : [1] H. Bachmann, Transfinite Zahlen, Berlin, 1955.
[2] A. Ehrenfeucht, An application of games to the completeness problem for formalized theories, Fund. Math., 49 (1961), 129-141.
[3] S. Feferman, Some recent results of Ehrenfeucht and Fraisse, Cornell Summer Logic Institute, 1957, 201-209.
[4] C. R. Karp, Finite quantifier equivalence, Proceedings of the International Symposium on the Theory of Models, Berkeley, 1963, 407-412.
[5] E. G. K. Lopez-Escobar, On defining well-orderings, Fund. Math., 59 (1966), 13-21 and 299-300.
[6] A. Mostowski and A. Tarski, Arithmetical classes and types of well-orderings, Bull. Amer. Math. Soc., 55 (1949), 65, 1192.
[7] D. Scott, Logic with denumerably long formulas and finite strings of quantifiers, Proceedings of the International Symposium on the Theory of Models, Berkeley, 1963, 329-341.
[8] A. Tarski, Remarks on predicate logic with infinitely long expressions, Colloq. Math., 16 (1958), 171-176.

Date of correction: September 26, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!