An autostable 1-decidable model without a computable Scott family of ∃-formulas, Algebra i Logika (1996)

by Oleg V Kudinov