Login / Signup

A minimal Prikry-type forcing for singularizing a measurable cardinal.

Peter KoepkeKaren RäschPhilipp Schlicht
Published in: J. Symb. Log. (2013)
Keyphrases
  • cooperative
  • similarity measure
  • search algorithm
  • multiresolution
  • special case