%0 Journal Article %1 journals/aml/Sato15 %A Sato, Kentaro %D 2015 %J Arch. Math. Log. %K dblp %N 1-2 %P 75-112 %T Full and hat inductive definitions are equivalent in NBG. %U http://dblp.uni-trier.de/db/journals/aml/aml54.html#Sato15 %V 54

@article{journals/aml/Sato15, added-at = {2015-02-02T00:00:00.000+0100}, author = {Sato, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/22ed5167b178e7fcdec0cddacf3aac153/dblp}, ee = {http://dx.doi.org/10.1007/s00153-014-0403-x}, interhash = {e1d397ef26842dd35aaade7f46da24cd}, intrahash = {2ed5167b178e7fcdec0cddacf3aac153}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {1-2}, pages = {75-112}, timestamp = {2015-06-18T08:42:19.000+0200}, title = {Full and hat inductive definitions are equivalent in NBG.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml54.html#Sato15}, volume = 54, year = 2015 }