research

There is no standard model of ZFC

Abstract

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11]

    Similar works