%0 Journal Article %1 journals/ndjfl/VaananenW15 %A Väänänen, Jouko A. %A Wang, Tong %D 2015 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 121-134 %T Internal Categoricity in Arithmetic and Set Theory. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#VaananenW15 %V 56

@article{journals/ndjfl/VaananenW15, added-at = {2020-05-21T00:00:00.000+0200}, author = {Väänänen, Jouko A. and Wang, Tong}, biburl = {https://www.bibsonomy.org/bibtex/257c0ef8f5c27da417a7f6581b012b86d/dblp}, ee = {https://doi.org/10.1215/00294527-2835038}, interhash = {d7c98087a890b6414c09231218225316}, intrahash = {57c0ef8f5c27da417a7f6581b012b86d}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {121-134}, timestamp = {2020-05-23T12:17:31.000+0200}, title = {Internal Categoricity in Arithmetic and Set Theory.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#VaananenW15}, volume = 56, year = 2015 }