论文信息 - Some applications of Henkin quantifiers - 字舞流文

Some applications of Henkin quantifiers

We show how to approximate a Henkin formula by first order formulas. This method of approximation is then applied to problems of axiomatizing classes of structures.

Jon Barwise | J. Barwise

[1] How not to Characterize the Multiplicative Groups of Fields , 1969 .

[2] H. Jerome Keisler. Some Applications of Infinitely Long Formulas , 1965, J. Symb. Log..

[3] H. Enderton. Finite Partially-Ordered Quantifiers , 1970 .

[4] Jon Barwise,et al. Admissible sets and structures , 1975 .

[5] S. C. Kleene,et al. Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols , 1952 .

[6] William Craig,et al. On axiomatizability within a system , 1953, Journal of Symbolic Logic.

[7] R. M. Dicker. A Set of Independent Axioms for a Field and a Condition for a Group to be the Multiplicative Group of a Field , 1968 .

[8] James H. Schmerl. An Axiomatization for a Class of Two-Cardinal Models , 1977, J. Symb. Log..

[9] Wilbur John Walkoe,et al. Finite Partially-Ordered Quantification , 1970, J. Symb. Log..

[10] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[11] H. Jerome Keisler. First order properties of pairs of cardinals , 1966 .

[12] J. Barwise. Some Eastern Two Cardinal Theorems , 1977 .

[13] K. Jon Barwise,et al. An introduction to recursively saturated and resplendent models , 1976, Journal of Symbolic Logic.