C. C. Chang and H. Jerome Keisler. An improved prenex nomal form. The journal of symbolic logic, vol. 27 no. 3 , pp. 317–326

Journal of Symbolic Logic 33 (3):479 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270359

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: C. C. Chang, H. Jerome Keisler, An Improved Prenex Normal Form. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (3):479-479.
Chang C. C. and Keisler H. Jerome. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 , pp. 835–845.Chang C. C.. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 , pp. 1148–1155. [REVIEW]A. B. Slomson - 1971 - Journal of Symbolic Logic 36 (2):338-339.
Review: C. C. Chang, H. Jerome Keisler, Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models; C. C. Chang, A Note on the Two Cardinal Problem. [REVIEW]A. B. Slomson - 1971 - Journal of Symbolic Logic 36 (2):338-339.
C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 , pp. 61–74.H. Simmons - 1974 - Journal of Symbolic Logic 39 (1):182.
C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Theodore Hailperin. An incorrect theorem. The journal of symbolic logic, vol. 30 , p. 27.Alonzo Church - 1966 - Journal of Symbolic Logic 31 (1):128-128.
Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 , pp. 212–234.Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (2):277-278.

Analytics

Added to PP
2016-06-30

Downloads
11 (#351,772)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references