45 found
Order:
  1.  37
    Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  2. Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
     
    Export citation  
     
    Bookmark   117 citations  
  3.  12
    Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  32
    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.  8
    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   7 citations  
  6. Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
  7.  32
    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.
  8.  18
    On closure under direct product.C. C. Chang & Anne C. Morel - 1958 - Journal of Symbolic Logic 23 (2):149-154.
  9.  20
    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  
  10.  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  
  11.  1
    Algebraization of Infinitely Many-Valued Logic.C. Chang & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (1):159-160.
  12. 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.
  13.  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  
  14.  29
    Henkin Leon. Two concepts from the theory of models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
  15.  23
    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  
  16.  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.
  17.  9
    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  
  18.  6
    Maximal n-Disjointed Sets and the Axiom of Choice.C. C. Chang - 1970 - Journal of Symbolic Logic 35 (3):473-473.
  19. Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier. Edited by J. Barwise, H. J. Keisler & P. Suppes.
     
    Export citation  
     
    Bookmark   1 citation  
  20.  2
    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  
  21.  3
    Omitting Types of Prenex Formulas.C. C. Chang - 1974 - Journal of Symbolic Logic 39 (1):182-182.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. On the Representation of α-Complete Boolean Algebras.C. C. Chang - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  2
    On the Representation of α-Complete Lattices.C. C. Chang & A. Horn - 1969 - Journal of Symbolic Logic 34 (3):512-513.
  24.  11
    Robinson Abraham. Note on a problem of L. Henkin.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  25.  7
    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.
  26.  22
    The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  32
    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)  
     
    Export citation  
     
    Bookmark  
  28.  18
    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.
  29.  23
    Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
  30.  17
    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  
  31.  24
    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  
  32.  24
    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.
  33.  46
    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  
  34.  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.
  35.  11
    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  
  36.  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  
  37.  20
    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.
  38.  8
    Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  39.  11
    Review: Abraham Robinson, Applications to Field Theory. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
  40.  20
    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  
  41.  9
    Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
  42.  13
    Review: H. Jerome Keisler, Ultraproducts and Elementary Classes. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
  43.  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  
  44.  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  
  45.  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.