Generalized quantifiers and compact logic
暂无分享,去创建一个
[1] Harvey M. Friedman,et al. Beth’s theorem in cardinality logics , 1973 .
[2] James H. Schmerl. An Elementary Sentence which Has Ordered Models , 1972, J. Symb. Log..
[3] Saharon Shelah,et al. On Power-like Models for Hyperinaccessible Cardinals , 1972, J. Symb. Log..
[4] R. Jensen,et al. The fine structure of the constructible hierarchy , 1972 .
[5] K. J. Barwise,et al. Absolute logics and L∞ω☆ , 1972 .
[6] Saharon Shelah,et al. On models with power-like orderings , 1972, Journal of Symbolic Logic.
[7] David W. Kueker. Löwenheim-Skolem and interpolation theorems in infinitary languages , 1972 .
[8] Saharon Shelah. Two cardinal compactness , 1971 .
[9] H. Keisler. Logic with the quantifier “there exist uncountably many” , 1970 .
[10] H. Jerome Keisler,et al. Elementary extensions of models of set theory , 1968 .
[11] Perlindström. First Order Predicate Logic with Generalized Quantifiers , 1966 .
[12] H. Jerome Keisler. Some model theoretic results for θ-logic , 1966 .
[13] Jack Howard Silver,et al. Some applications of model theory in set theory , 1966 .
[14] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[15] C. C. Chang. A note on the two cardinal problem , 1965 .
[16] W. Hanf,et al. Incompactness in languages with infinitely long expressions , 1964 .
[17] R. Vaught,et al. Homogeneous Universal Models , 1962 .
[18] Azriel Lévy. AXIOM SCHEMATA OF STRONG INFINITY IN AXIOMATIC SET THEORY , 1960 .
[19] S. Feferman,et al. The first order properties of products of algebraic systems , 1959 .
[20] A. Mostowski. On a generalization of quantifiers , 1957 .
[21] Andrzej Ehrenfeucht,et al. Models of axiomatic theories admitting automorphisms , 1956 .