C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 , pp. 61–74

Journal of Symbolic Logic 39 (1):182 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272372

Links

PhilArchive



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

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, Omitting Types of Prenex Formulas. [REVIEW]H. Simmons - 1974 - Journal of Symbolic Logic 39 (1):182-182.
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.
Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
Omitting Types of Prenex Formulas.C. C. Chang - 1974 - Journal of Symbolic Logic 39 (1):182-182.
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. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
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.
Walsh W. H.. A note on truth. Mind, n.s. vol. 61 , pp. 72–74.Charles A. Baylis - 1952 - Journal of Symbolic Logic 17 (3):220-220.
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 43–50.Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):332.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,040,422)

6 months
2 (#1,445,852)

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