BIBCYT http://bibcyt.ucla.edu.ve/cgi-win/be_alex.exe?Ultimo&Nombrebd=BIBCYT UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno Hirschfeldt, Denis P Principal Shore , Richard A. S Secundario Slaman , Theodore A. S Secundario The atomic model theorem and type omitting November 2009 pp. 5805-5838