GCH+□_k IMPLIES THE EXISTENCE OF TWO NON-ISOMORPHIC COMPLETE NORMAL ST_(k~+)

Keywords: Boolean-valued,model,◇-principle,□-principle,iterated,forcing.

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text