On the strengths and weaknesses of weak squares

@inproceedings{Magidor2011OnTS,
  title={On the strengths and weaknesses of weak squares},
  author={Menachem Magidor and Chris Lambie-Hanson},
  year={2011}
}
2. Let T be a countable theory with a distinguished predicate R. A model of T is said to be of type (λ,μ) if the cardinality of the model is λ and the cardinality of the model’s interpretation of R is μ. For cardinals α,β, γ, and δ, (α,β) → (γ, δ) is the assertion that for every countable theory T , if T has a model of type (α,β), then it has a model of type (γ, δ). Chang showed that under GCH, (א1,א0)→ (κ+, κ) holds for all regular κ. Jensen later showed that under GCH+square, (א1,א0… CONTINUE READING