Compact extensions of L(Q) (part 1a)

This publication has 14 references indexed in Scilit:

• Aronszajn trees and the independence of the transfer property
  Annals of Mathematical Logic, 1972
• The fine structure of the constructible hierarchy
  Annals of Mathematical Logic, 1972
• Trees
  The Journal of Symbolic Logic, 1971
• Logic with the quantifier “there exist uncountably many”
  Annals of Mathematical Logic, 1970
• Skolem-type normal forms for first-order languages with a generalized quantifier
  Fundamenta Mathematicae, 1964
• Homogeneous Universal Models.
  MATHEMATICA SCANDINAVICA, 1962
• Reduced direct products
  Fundamenta Mathematicae, 1962
• A partition calculus in set theory
  Bulletin of the American Mathematical Society, 1956
• A generalization of the concept of ω-consistency
  The Journal of Symbolic Logic, 1954
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949