@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},
}