45 found
Order:
  1.  31
    Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  2.  9
    Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3. Omitting Types of Prenex Formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
  4.  29
    A Weak Completeness Theorem for Infinite Valued First-Order Logic.L. P. Belluce & C. C. Chang - 1963 - Journal of Symbolic Logic 28 (1):43-50.
  5.  24
    Modal Model Theory.C. C. Chang - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 599--617.
  6.  5
    Bemerkungen Zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  15
    On Closure Under Direct Product.C. C. Chang & Anne C. Morel - 1958 - Journal of Symbolic Logic 23 (2):149-154.
  8.  17
    A Weak Completeness Theorem for Infinite Valued First-Order Logic.Bruno Scarpellini, L. P. Belluce & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):332.
  9.  6
    Logic with Positive and Negative Truth Values.C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):331-332.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  17
    An Improved Prenex Normal Form.C. C. Chang & H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):317-326.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    An Improved Prenex Normal Form.C. C. Chang & H. Jerome Keisler - 1968 - Journal of Symbolic Logic 33 (3):479-479.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  1
    Algebraization of Infinitely Many-Valued Logic.C. Chang & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (1):159-160.
  13. Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models.C. C. Chang & H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (2):338-339.
  14.  1
    A Simple Proof of the Rabin-Keisler Theorem.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (2):277-277.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  15
    Christensen D. J. And Pierce R. S.. Free Products of Α-Distributive Boolean Algebras. Mathematica Scandinavica, Vol. 7 , Pp. 81–105. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):99-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    G. Kreisel and J. L. Krivine. Elements of Mathematical Logic. . North-Holland Publishing Company, Amsterdam1967, Xi + 222 Pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  23
    H. Jerome Keisler. Model Theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, Pp. 141–150. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648.
  18.  42
    Hêng-San Kao. Kuan-Yü Łoś Ho Suszko “Lun Mu-Hsing Ti K'uo-Chung ” I Wen Chih Jo-Kan Hsiu-Cheng Ho Chien-Hua ”). Shuxue Jinzhan , Vol. 6 No. 4 , Pp. 388–390. [REVIEW]C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):339-339.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  27
    Henkin Leon. Two Concepts From the Theory of Models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
  20.  20
    Jörg Flum. A Remark on Infinitiary Languages. The Journal of Symbolic Logic, Vol. 36 No. 3 , Pp. 461–462.C. C. Chang - 1972 - Journal of Symbolic Logic 37 (4):764.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    Keisler H. Jerome. Ultraproducts and Elementary Classes. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 63 , Pp. 477–495; Also Indagationes Mathematicae, Vol. 23 , Pp. 477–495. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
  22.  12
    Kochen Simon. Ultraproducts in the Theory of Models. Annals of Mathematics, Ser. 2 Vol. 74 No. 2 , Pp. 221–261.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):355-357.
  23.  1
    Maximal N-Disjointed Sets and the Axiom of Choice.C. C. Chang - 1970 - Journal of Symbolic Logic 35 (3):473-473.
  24. Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
     
    Export citation  
     
    Bookmark   73 citations  
  25. Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26. On Closure Under Direct Product.C. C. Chang & Anne C. Morel - 1962 - Journal of Symbolic Logic 27 (2):234-235.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  3
    Omitting Types of Prenex Formulas.C. C. Chang - 1974 - Journal of Symbolic Logic 39 (1):182-182.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. On the Representation of Α-Complete Boolean Algebras.C. C. Chang - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  2
    On the Representation of Α-Complete Lattices.C. C. Chang & A. Horn - 1969 - Journal of Symbolic Logic 34 (3):512-513.
  30.  10
    Pierce R. S.. Distributivity and the Normal Completion of Boolean Algebras. Pacific Journal of Mathematics, Vol. 8 , Pp. 133–140. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Pierce R. S.. A Note on Complete Boolean Algebras. Proceedings of the American Mathematical Society, Vol. 9 , Pp. 892–896. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  18
    Robinson Abraham. Applications to Field Theory. 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. 326–331. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
  33.  10
    Robinson Abraham. Note on a Problem of L. Henkin.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  34.  6
    Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  35.  11
    Review: Abraham Robinson, Applications to Field Theory. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
  36.  18
    Review: D. J. Christensen, R. S. Pierce, Free Products of $Propto$-Distributive Boolean Algebras. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):99-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
  38.  12
    Review: H. Jerome Keisler, Ultraproducts and Elementary Classes. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
  39.  19
    Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
  40.  8
    Review: R. S. Pierce, A Note on Complete Boolean Algebras. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-252.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  7
    Review: R. S. Pierce, Distributivity and the Normal Completion of Boolean Algebras. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-251.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  10
    Review: Yen-Yi Wu, Can the Mathematician Be Replaced by a Machine? [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (3):521-521.
  43.  5
    Some Cancellation Theorems for Ordinal Products of Relations.Chen Chung Chang, Anne C. Morel & C. C. Chang - 1966 - Journal of Symbolic Logic 31 (1):129-130.
  44.  20
    The Writing of the MV-Algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  28
    Wu Yen-Yi. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i . K'o hsüeh chiao yü , vol. 11 no. 3 , pp. 33–38.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (3):521-521.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark