An Improved Prenex Normal Form

&
Journal of Symbolic Logic 33 (3):479-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: 94,045

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

An improved prenex normal form.C. C. Chang & H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):317-326.
Review: C. C. Chang, H. Jerome Keisler, An Improved Prenex Normal Form. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (3):479-479.
C. C. Chang and H. Jerome Keisler. An improved prenex nomal form. The journal of symbolic logic, vol. 27 no. 3 , pp. 317–326.Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (3):479.
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.
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. 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.
Review: C. C. Chang, Omitting Types of Prenex Formulas. [REVIEW]H. Simmons - 1974 - Journal of Symbolic Logic 39 (1):182-182.
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.

Analytics

Added to PP
2017-02-21

Downloads
8 (#1,336,469)

6 months
5 (#837,836)

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