%0 Journal Article %1 journals/ndjfl/Kjos-HanssenN09 %A Kjos-Hanssen, Bjørn %A Nies, André %D 2009 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 445-452 %T Superhighness. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl50.html#Kjos-HanssenN09 %V 50

@article{journals/ndjfl/Kjos-HanssenN09, added-at = {2020-05-21T00:00:00.000+0200}, author = {Kjos-Hanssen, Bjørn and Nies, André}, biburl = {https://www.bibsonomy.org/bibtex/2eb3efd9c65508a21026a60756b8edd82/dblp}, ee = {https://doi.org/10.1215/00294527-2009-020}, interhash = {49554ee8773d22a13d5f66bf4d5afaad}, intrahash = {eb3efd9c65508a21026a60756b8edd82}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {445-452}, timestamp = {2020-05-23T12:18:16.000+0200}, title = {Superhighness.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl50.html#Kjos-HanssenN09}, volume = 50, year = 2009 }