Richard Kaye Henryk Kotlarski On Models Constructed by Means of the Arithmetized Completeness Theorem. 505-516 2000 46 Math. Log. Q. 4 http://dx.doi.org/10.1002/1521-3870(200010)46:4<505::AID-MALQ505>3.0.CO;2-M db/journals/mlq/mlq46.html#KayeK00