- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by C. C. Chang
45 found
Order:
- Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
- Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
- Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
- Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
- Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
- 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.
- Bemerkungen zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.
- 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.
- 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.
- 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.
- On the Representation of α-Complete Boolean Algebras.C. C. Chang - 1965 - Journal of Symbolic Logic 30 (2):252-252.
- 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.
- 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.
- 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.
- 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.
- On closure under direct product.C. C. Chang & Anne C. Morel - 1958 - Journal of Symbolic Logic 23 (2):149-154.
- Henkin Leon. Two concepts from the theory of models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
- 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.
- 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.
- 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.
- Review: R. S. Pierce, A Note on Complete Boolean Algebras. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-252.
- 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.
- 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.
- An improved prenex normal form.C. C. Chang & H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):317-326.
- 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.
- Review: H. Jerome Keisler, Ultraproducts and Elementary Classes. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
- Robinson Abraham. Note on a problem of L. Henkin.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
- 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.
- 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.
- 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.
- Review: Abraham Robinson, Applications to Field Theory. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
- Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
- Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier. Edited by J. Barwise, H. J. Keisler & P. Suppes.
- 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.
- Maximal n-Disjointed Sets and the Axiom of Choice.C. C. Chang - 1970 - Journal of Symbolic Logic 35 (3):473-473.
- An Improved Prenex Normal Form.C. C. Chang & H. Jerome Keisler - 1968 - Journal of Symbolic Logic 33 (3):479-479.
- Omitting Types of Prenex Formulas.C. C. Chang - 1974 - Journal of Symbolic Logic 39 (1):182-182.
- 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.
- The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
- On the Representation of α-Complete Lattices.C. C. Chang & A. Horn - 1969 - Journal of Symbolic Logic 34 (3):512-513.
- Logic with Positive and Negative Truth Values.C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):331-332.
- On Closure Under Direct Product.C. C. Chang & Anne C. Morel - 1962 - Journal of Symbolic Logic 27 (2):234-235.
- Algebraization of Infinitely Many-Valued Logic.C. Chang & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- A Simple Proof of the Rabin-Keisler Theorem.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (2):277-277.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6968689d5f-brlq2 N