%0 Journal Article %1 journals/jsyml/Nadel80 %A Nadel, Mark E. %D 1980 %J J. Symb. Log. %K dblp %N 3 %P 612-622 %T On a Problem of MacDowell and Specker. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml45.html#Nadel80 %V 45

@article{journals/jsyml/Nadel80, added-at = {2014-08-05T00:00:00.000+0200}, author = {Nadel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2859b5896156af9bb1c12db7a1a7c6c9d/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183740624}, interhash = {22937ddbb97d12cad10087e345861b68}, intrahash = {859b5896156af9bb1c12db7a1a7c6c9d}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {612-622}, timestamp = {2015-06-18T02:36:20.000+0200}, title = {On a Problem of MacDowell and Specker.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml45.html#Nadel80}, volume = 45, year = 1980 }