Published: 1957 Received: December 10, 1956Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: TITLEDetails: Wrong : Remark on my paper: On Skolem's theorem Right : Remark on my paper
Date of correction: August 29, 2006Reason for correction: -Correction: SUBTITLEDetails: Right : On Skolem's theorem
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) G. Takeuti: On Skolem's theorem. J. Math. Soc. Japan, 9 (1957). 2) G. Takeuti: On a generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96; Errata to 'On a generalized logic calculus'. Jap. J. Math., 24 (1954), pp. 149-156. 3) G. Takeuti: A metamathematical theorem on functions. J. Math. Soc. Japan, 8 (1956) pp. 65-78.
Right : 1) G. Takeuti: On Skolem's theorem. J. Math. Soc. Japan, 9 (1957). 2) G. Takeuti: On a generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96; Errata to ‘On a generalized logic calculus’. Jap. J. Math., 24 (1954), pp. 149-156. 3) G. Takeuti: A metamathematical theorem on functions. J. Math. Soc. Japan, 8 (1956) pp. 65-78.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -