- 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
32 found
Order:
- (1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
- (1 other version)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.
- (1 other version)Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
- Modal model theory.C. C. Chang - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 599--617.
- (1 other version)On closure under direct product.C. C. Chang & Anne C. Morel - 1958 - Journal of Symbolic Logic 23 (2):149-154.
- (1 other version)An improved prenex normal form.C. C. Chang & H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):317-326.
- Algebraization of Infinitely Many-Valued Logic.C. Chang & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- 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.
- A Simple Proof of the Rabin-Keisler Theorem.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (2):277-277.
- Henkin Leon. Two concepts from the theory of models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
- 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.
- 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.
- Logic with Positive and Negative Truth Values.C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):331-332.
- Maximal n-Disjointed Sets and the Axiom of Choice.C. C. Chang - 1970 - Journal of Symbolic Logic 35 (3):473-473.
- Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier. Edited by J. Barwise, H. J. Keisler & P. Suppes.
- On the Representation of α-Complete Boolean Algebras.C. C. Chang - 1965 - Journal of Symbolic Logic 30 (2):252-252.
- On the Representation of α-Complete Lattices.C. C. Chang & A. Horn - 1969 - Journal of Symbolic Logic 34 (3):512-513.
- (1 other version)Robinson Abraham. Note on a problem of L. Henkin.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
- 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.
- The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
- Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
- (1 other version)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.
- 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.
- 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.
- 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.
- (1 other version)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.
- (1 other version)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.
- (1 other version)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.
- (1 other version)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.
- (1 other version)Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
- (1 other version)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.
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-6d5f778f9-dpf4v uwo