%0 Journal Article %1 freund2023normal %A Freund, Anton %A Manca, Davide %D to appear %I Oxford University Press (OUP) %J Journal of Logic and Computation, %K arxiv myown paper %P 18 pp, %R 10.1093/logcom/exad002 %T Normal functions and maximal order types

@article{freund2023normal, added-at = {2023-07-01T15:50:26.000+0200}, arxiv = {https://arxiv.org/abs/2209.11568}, author = {Freund, Anton and Manca, Davide}, biburl = {https://www.bibsonomy.org/bibtex/2ab043ac1980b29775852effd392dc526/freund}, doi = {10.1093/logcom/exad002}, interhash = {5e1c95aeb85a5ae8b4d81ff44f8deb61}, intrahash = {ab043ac1980b29775852effd392dc526}, journal = {Journal of Logic and Computation,}, keywords = {arxiv myown paper}, pages = {18 pp,}, publisher = {Oxford University Press ({OUP})}, timestamp = {2023-07-11T17:00:14.000+0200}, title = {Normal functions and maximal order types}, year = {to appear} }