%0 Journal Article %1 freund2018typetwo %A Freund, Anton %D 2018 %J The Bulletin of Symbolic Logic %K abstract myown %N 2 %P 228 %R 10.1017/bsl.2018.13 %T Type‐Two Well‐Ordering Principles and Pi^1_1-Comprehension (abstract) %V 24

@article{freund2018typetwo, added-at = {2023-07-02T20:10:29.000+0200}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/22b17231eb7b096b62d7b9860e884ba01/freund}, doi = {10.1017/bsl.2018.13}, interhash = {5663c4c500582520263d9bceee6a7499}, intrahash = {2b17231eb7b096b62d7b9860e884ba01}, journal = {The Bulletin of Symbolic Logic}, keywords = {abstract myown}, number = 2, pages = 228, timestamp = {2023-07-02T20:10:29.000+0200}, title = {Type‐Two Well‐Ordering Principles and {Pi}^1_1-Comprehension (abstract)}, volume = 24, year = 2018 }