%0 Journal Article %1 journals/aml/Schmerl93 %A Schmerl, James H. %D 1993 %J Arch. Math. Log. %K dblp %N 6 %P 463-468 %T A weakly definable type which is not definable. %U http://dblp.uni-trier.de/db/journals/aml/aml32.html#Schmerl93 %V 32

@article{journals/aml/Schmerl93, added-at = {2016-11-30T00:00:00.000+0100}, author = {Schmerl, James H.}, biburl = {https://www.bibsonomy.org/bibtex/2042f09f4640e0b8a5e2ede5f087fb358/dblp}, ee = {http://dx.doi.org/10.1007/BF01270469}, interhash = {26104f8f59f3f6b6ccce87f6a47e97d3}, intrahash = {042f09f4640e0b8a5e2ede5f087fb358}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 6, pages = {463-468}, timestamp = {2016-12-01T11:34:52.000+0100}, title = {A weakly definable type which is not definable.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml32.html#Schmerl93}, volume = 32, year = 1993 }