17 citations · 55 across the 36 of their papers we have counts for
Showing 1993Show all
2 papers · 1 filter
math.LO1993★ 1 cited
On the existence of atomic models
Michael C. Laskowski, Saharon Shelah
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are den…
math.LO1993
Forcing isomorphism
John T. Baldwin, Michael C. Laskowski, Saharon Shelah
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing c…