A remark on ordered structures with unary predicates

Masazumi HANAZAWA

doi:10.2969/jmsj/02730345

Masazumi HANAZAWA

Author information

JOURNAL FREE ACCESS

1975 Volume 27 Issue 3 Pages 345-349

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

Details

Published: 1975 Received: June 21, 1973 Available on J-STAGE: October 20, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: October 20, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) A. Ehrenfeucht, Decidability of the theory of linear ordering relation, Notices Amer. Math. Soc., 6 (1959), 268.
2) A. Ehrenfeucht, An application of games to the completeness problem for formalized theories, Fund. Math., 49 (1961).
3) E. Engeler, Äquivalenzklassen von n-Tupeln, Zeits, f, math. Logik u. Grund-lagen d. Math., 5 (1959), 304-345.
4) Fraïssé, Sur les classifications des systems de relations, Publications Sc, de l'Université D'Alger I, No I, juin 1954.
5) H. J. Keisler, The equivalence of certain problems in set theory with problems in the theory of models, Notices Amer. Math. Soc., 9 (1962), 339.
6) H. Läuchli and J. Leonard, On the elementary theory of linear order, Fund. Math., 59 (1966), 109-116.
7) J. Silver, Some applications of model theory in set theory, Ann. Math. Logic, 3 (1971), 45-110.
8) A. Tarski and R. L. Vaught, Arithmetical extension of relational systems, Compositio Math., 13 (1957), 81-102.

Right : [1] A. Ehrenfeucht, Decidability of the theory of linear ordering relation, Notices Amer. Math. Soc., 6 (1959), 268.
[2] A. Ehrenfeucht, An application of games to the completeness problem for formalized theories, Fund. Math., 49 (1961).
[3] E. Engeler, Äquivalenzklassen von n-Tupeln, Zeits, f. math. Logik u. Grund-lagen d. Math., 5 (1959), 304-345.
[4] Fraïssé, Sur les classifications des systems de relations, Publications Sc, de l'Université D'Alger I, No I, juin 1954.
[5] H. J. Keisler, The equivalence of certain problems in set theory with problems in the theory of models, Notices Amer. Math. Soc., 9 (1962), 339.
[6] H. Läuchli and J. Leonard, On the elementary theory of linear order, Fund. Math., 59 (1966), 109-116.
[7] J. Silver, Some applications of model theory in set theory, Ann. Math. Logic, 3 (1971), 45-110.
[8] A. Tarski and R. L. Vaught, Arithmetical extension of relational systems, Compositio Math., 13 (1957), 81-102.

Date of correction: October 20, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!