3 papers
math.LO2003
Karp complexity and classes with the independence property
Michael C. Laskowski, Saharon Shelah
A class K of structures is controlled if for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a prop…
math.LO2000
Forcing Isomorphism II
Michael C. Laskowski, Saharon Shelah
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, t…
math.LO2000
The Karp complexity of unstable classes
Michael C. Laskowski, Saharon Shelah
A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a pro…