%0 Journal Article %1 journals/aml/HenkV17 %A Henk, Paula %A Visser, Albert %D 2017 %J Arch. Math. Log. %K dblp %N 5-6 %P 555-584 %T Interpretability suprema in Peano Arithmetic. %U http://dblp.uni-trier.de/db/journals/aml/aml56.html#HenkV17 %V 56

@article{journals/aml/HenkV17, added-at = {2019-06-02T00:00:00.000+0200}, author = {Henk, Paula and Visser, Albert}, biburl = {https://www.bibsonomy.org/bibtex/28a72f6093f5d31ec35c5396d44dff563/dblp}, ee = {https://www.wikidata.org/entity/Q59514801}, interhash = {3075dd1616920d6673052f467ee9d0b5}, intrahash = {8a72f6093f5d31ec35c5396d44dff563}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {5-6}, pages = {555-584}, timestamp = {2019-06-04T12:38:30.000+0200}, title = {Interpretability suprema in Peano Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml56.html#HenkV17}, volume = 56, year = 2017 }