Large transitive models in local ZFC

Athanassios Tzouvaras. Large transitive models in local ZFC. Arch. Math. Log., 53(3-4):233-260, 2014. [doi]

Abstract

Abstract is missing.