%0 Journal Article %1 journals/jsyml/Kreuzer15 %A Kreuzer, Alexander P. %D 2015 %J J. Symb. Log. %K dblp %N 1 %P 179-193 %T On Idempotent Ultrafilters in Higher-order Reverse Mathematics. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#Kreuzer15 %V 80

@article{journals/jsyml/Kreuzer15, added-at = {2015-04-21T00:00:00.000+0200}, author = {Kreuzer, Alexander P.}, biburl = {https://www.bibsonomy.org/bibtex/2ebfc87a1762a1947ddaac6883fc0800f/dblp}, ee = {http://dx.doi.org/10.1017/jsl.2014.58}, interhash = {e52f0c42f6cc97da3e211a889f8ebc55}, intrahash = {ebfc87a1762a1947ddaac6883fc0800f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {179-193}, timestamp = {2015-06-18T02:34:37.000+0200}, title = {On Idempotent Ultrafilters in Higher-order Reverse Mathematics.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#Kreuzer15}, volume = 80, year = 2015 }