%0 Journal Article %1 journals/jsyml/Arai14 %A Arai, Toshiyasu %D 2014 %J J. Symb. Log. %K dblp %N 2 %P 325-354 %T Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml79.html#Arai14 %V 79

@article{journals/jsyml/Arai14, added-at = {2015-04-21T00:00:00.000+0200}, author = {Arai, Toshiyasu}, biburl = {https://www.bibsonomy.org/bibtex/2b5ab54739bcbaa4fb29f0cdd99df6b9f/dblp}, ee = {http://dx.doi.org/10.1017/jsl.2014.6}, interhash = {998e6f2a42cd6e2d1dc05f791832da36}, intrahash = {b5ab54739bcbaa4fb29f0cdd99df6b9f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {325-354}, timestamp = {2015-06-18T02:35:12.000+0200}, title = {Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml79.html#Arai14}, volume = 79, year = 2014 }