%0 Journal Article %1 journals/mlq/Sato14 %A Sato, Kentaro %D 2014 %J Math. Log. Q. %K dblp %N 4-5 %P 314-318 %T Forcing for hat inductive definitions in arithmetic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq60.html#Sato14 %V 60

@article{journals/mlq/Sato14, added-at = {2014-08-07T00:00:00.000+0200}, author = {Sato, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/279533da8003ece293af2b452ae148b3b/dblp}, ee = {http://dx.doi.org/10.1002/malq.201300044}, interhash = {a424ba4fb2e1637583bf15c9dac1e961}, intrahash = {79533da8003ece293af2b452ae148b3b}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {4-5}, pages = {314-318}, timestamp = {2015-06-17T21:16:49.000+0200}, title = {Forcing for hat inductive definitions in arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq60.html#Sato14}, volume = 60, year = 2014 }