论文信息 - Beth's Property Fails in L < omega 1 - 字舞流文

Beth's Property Fails in L < omega 1

[1] J. Malitz,et al. Compact extensions of L(Q) (part 1a) , 1977 .

[2] E. López-Escobar. An interpolation theorem for denumerably long formulas , 1965 .

[3] Harvey M. Friedman,et al. Beth’s theorem in cardinality logics , 1973 .

[4] Evert W. Beth,et al. On Padoa’s Method in the Theory of Definition , 1953 .

[5] L. Badger. An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications. , 1977 .