An axiomatization theorem

Nobuyoshi MOTOHASHI

doi:10.2969/jmsj/03430551

Nobuyoshi MOTOHASHI

Author information

JOURNAL FREE ACCESS

1982 Volume 34 Issue 3 Pages 551-560

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

Details

Published: 1982 Received: April 28, 1980 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) C.C. Chang and H.J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
2) W. Craig, On axiomatizability within a system, J. Symbolic Logic, 18 (1953), 30-32.
3) H.J. Keisler, Model theory for infinitary logic, North-Holland, Amsterdam, 1971.
4) H.J. Keisler, First order properties of pairs of cardinals, Bull. Amer. Math. Soc., 72 (1966), 141-144.
5) V. Harnik, Refinements of Vaught's normal form theorem, J. Symbolic Logic, 44 (1979), 289-306.
6) N. Motohashi, Approximation theory of uniqueness conditions by existence conditions, to appear in Fund. Math.
7) N. Motohashi, Equality and Lyndon's interpolation theorem, to appear in J. Symbolic Logic.
8) G. Takeuti, Proof theory, North-Holland, Amsterdam, 1975.

Right : [1] C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
[2] W. Craig, On axiomatizability within a system, J. Symbolic Logic, 18 (1953), 30-32.
[3] H. J. Keisler, Model theory for infinitary logic, North-Holland, Amsterdam, 1971.
[4] H. J. Keisler, First order properties of pairs of cardinals, Bull. Amer. Math. Soc., 72 (1966), 141-144.
[5] V. Harnik, Refinements of Vaught's normal form theorem, J. Symbolic Logic, 44 (1979), 289-306.
[6] N. Motohashi, Approximation theory of uniqueness conditions by existence conditions, to appear in Fund. Math.
[7] N. Motohashi, Equality and Lyndon's interpolation theorem, to appear in J. Symbolic Logic.
[8] G. Takeuti, Proof theory, North-Holland, Amsterdam, 1975.

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

Corresponding author

Correction information

Register with J-STAGE for free!