Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Chen Chung Chang is active.

Publication


Featured researches published by Chen Chung Chang.


Journal of Symbolic Logic | 1962

An Improved Prenex Normal Form

Chen Chung Chang; H. Jerome Keisler

Let ℒ be the set of all formulas of a given first order predicate logic (with or without identity). For each positive integer n , let ℒ n be the set of all formulas φ in ℒ logically equivalent to a formula of the form where Q is a (possibly empty) string of quantifiers, m is a positive integer, and each α ij is either an atomic formula or the negation of an atomic formula.


Archive | 1966

Model Theory

Chen Chung Chang; Howard Jerome Keisler


The Theory of Models#R##N#Proceedings of the 1963 International Symposium at Berkeley | 2014

CONTINUOUS MODEL THEORY

Chen Chung Chang; H. Jerome Keisler


Journal of Symbolic Logic | 1963

A weak completeness theorem for infinite valued first-order logic

Lawrence Peter Belluce; Chen Chung Chang


Archive | 1966

Continuous Model Theory. (AM-58)

Chen Chung Chang; H. Jerome Keisler


Bulletin of the American Mathematical Society | 1962

Model theories with truth values in a uniform space

Chen Chung Chang; H. Jerome Keisler


Archive | 1966

CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS

Chen Chung Chang; H. Jerome Keisler


Archive | 1966

CHAPTER III. MODEL-THEORETIC PRELIMINARIES

Chen Chung Chang; H. Jerome Keisler


Archive | 1966

CHAPTER VI. SPECIAL MODELS

Chen Chung Chang; H. Jerome Keisler


Archive | 1966

CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS

Chen Chung Chang; H. Jerome Keisler

Collaboration


Dive into the Chen Chung Chang's collaboration.

Top Co-Authors

Avatar

H. Jerome Keisler

University of Wisconsin-Madison

View shared research outputs
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge