A new inner model for ZFC

DOI10.2307/2273631MaRDI QIDQ3941400zbMATH OpenOpenAlexFDO

Authors Włodzimierz Zadrożny

Publication date 1981

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273631

zbMATH Keywords

hereditarily ordinal definable setsindiscerniblesmeasurable cardinalnontrivial elementary embedding

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Inner models, including constructibility, ordinal definability, and core models (03E45)

This page was built for publication: A new inner model for ZFC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3941400)