Decidability and the number of countable models

Annals of Pure and Applied Logic - Tập 27 - Trang 137-153 - 1984
Terrence Millar1
1Department of Mathematics, University of Wisconsin, Madison, WI 53706, USA