%0 Journal Article %1 journals/aml/SatoY17 %A Sato, Takashi %A Yamazaki, Takeshi %D 2017 %J Arch. Math. Log. %K dblp %N 3-4 %P 385-396 %T Reverse mathematics and order theoretic fixed point theorems. %U http://dblp.uni-trier.de/db/journals/aml/aml56.html#SatoY17 %V 56

@article{journals/aml/SatoY17, added-at = {2024-06-17T00:00:00.000+0200}, author = {Sato, Takashi and Yamazaki, Takeshi}, biburl = {https://www.bibsonomy.org/bibtex/26bbbb72b319b6535718bb7f6338cd48f/dblp}, ee = {https://doi.org/10.1007/s00153-017-0526-y}, interhash = {8f3efc0a4dc36c42ddd20d9684f8c1b1}, intrahash = {6bbbb72b319b6535718bb7f6338cd48f}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {3-4}, pages = {385-396}, timestamp = {2024-06-24T07:21:53.000+0200}, title = {Reverse mathematics and order theoretic fixed point theorems.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml56.html#SatoY17}, volume = 56, year = 2017 }