%0 Journal Article %1 journals/bsl/Freund18 %A Freund, Anton %D 2018 %J Bull. Symb. Log. %K dblp %N 4 %P 460-461 %T Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension. %U http://dblp.uni-trier.de/db/journals/bsl/bsl24.html#Freund18 %V 24

@article{journals/bsl/Freund18, added-at = {2020-07-03T00:00:00.000+0200}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2edf666de3e1cbd39953116ec00669189/dblp}, ee = {https://doi.org/10.1017/bsl.2018.80}, interhash = {8dfe4591044a07ac2c8cd39eaa717580}, intrahash = {edf666de3e1cbd39953116ec00669189}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 4, pages = {460-461}, timestamp = {2020-07-04T11:52:43.000+0200}, title = {Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl24.html#Freund18}, volume = 24, year = 2018 }