Models with second order properties. III. Omitting types forL(Q)
- 1 December 1981
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 21 (1) , 1-11
- https://doi.org/10.1007/bf02011630
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Models with second order properties I. Boolean algebras with no definable automorphismsAnnals of Mathematical Logic, 1978
- Models with second order properties II. Trees with no undefined branchesAnnals of Mathematical Logic, 1978
- Compact extensions of L(Q) (part 1a)Annals of Mathematical Logic, 1977
- Higher Souslin trees and the generalized continuum hypothesisThe Journal of Symbolic Logic, 1976
- Logic with the quantifier “there exist uncountably many”Annals of Mathematical Logic, 1970
- A note on the two cardinal problemProceedings of the American Mathematical Society, 1965