@phdthesis{biblio2300099247380836535, author = {Petr Pajas}, year = 2007, title = {Structure of Submodels - Diagonal indiscernibility in Models of Arithmetic}, publisher = {Charles University in Prague, Faculty of Mathematics and Physics}, address = {Praha, Czech Republic}, }