Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski. Theories of initial segments of standard models of arithmetics and their complete extensions. Theoretical Computer Science, 412(31):3975-3991, 2011. [doi]
@article{KrynickiTZ11, title = {Theories of initial segments of standard models of arithmetics and their complete extensions}, author = {Michal Krynicki and Jerzy Tomasik and Konrad Zdanowski}, year = {2011}, doi = {10.1016/j.tcs.2011.04.030}, url = {http://dx.doi.org/10.1016/j.tcs.2011.04.030}, tags = {completeness}, researchr = {https://researchr.org/publication/KrynickiTZ11}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {412}, number = {31}, pages = {3975-3991}, }