Now showing items 1-1 of 1

    • HENKIN CONSTRUCTIONS of MODELS with SIZE CONTINUUM 

      Baldwin, John, T.; Laskowski, Michael, C. (Association for Symbolic Logic, 2019-04-01)
      We survey the technique of constructing customized models of size continuum in omega steps and illustrate the method by giving new proofs of mostly old results within this rubric. One new theorem, which is joint with Saharon ...