5 citations · 18 across the 16 of their papers we have counts for
1 paper · 2 filters
John Goodrick, Michael C. Laskowski
A first-order theory T has the Schröder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that…