%0 Journal Article %1 journals/aml/Jager83 %A Jäger, Gerhard %D 1983 %J Arch. Math. Log. %K %N 1 %P 65-77 %T A well-ordering proof for Feferman's theoryT0. %U http://dblp.uni-trier.de/db/journals/aml/aml23.html#Jager83 %V 23

@article{journals/aml/Jager83, added-at = {2023-12-14T15:58:26.000+0100}, author = {Jäger, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2eb83ddbc138894a308d2efb0881e7853/admin}, ee = {http://dx.doi.org/10.1007/BF02023014}, interhash = {f1d9df6d71a2f9a4c2e89f2b2471fc8d}, intrahash = {eb83ddbc138894a308d2efb0881e7853}, journal = {Arch. Math. Log.}, keywords = {}, number = 1, pages = {65-77}, timestamp = {2023-12-14T15:58:26.000+0100}, title = {A well-ordering proof for Feferman's theoryT0.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml23.html#Jager83}, volume = 23, year = 1983 }