%0 Journal Article %1 journals/jsyml/Ackerman14 %A Ackerman, Nathanael Leedom %D 2014 %J J. Symb. Log. %K dblp %N 3 %P 882-907 %T Sheaf Recursion and a Separation Theorem. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml79.html#Ackerman14 %V 79

@article{journals/jsyml/Ackerman14, added-at = {2015-04-21T00:00:00.000+0200}, author = {Ackerman, Nathanael Leedom}, biburl = {https://www.bibsonomy.org/bibtex/23f44c462d7588b62eff29e14d583f29c/dblp}, ee = {http://dx.doi.org/10.1017/jsl.2013.18}, interhash = {2851dff1e4b5731ef5d80db48f3767fb}, intrahash = {3f44c462d7588b62eff29e14d583f29c}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {882-907}, timestamp = {2015-06-18T02:26:59.000+0200}, title = {Sheaf Recursion and a Separation Theorem.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml79.html#Ackerman14}, volume = 79, year = 2014 }