On ground model definability

zbMath1358.03078arXiv1311.6789MaRDI QIDQ4982454

Victoria Gitman, Thomas A. Johnstone

Publication date: 9 April 2015

Full work available at URL: https://arxiv.org/abs/1311.6789

zbMATH Keywords

ground model definabilityset-forcing extensionsZF \(+\) DC\(_\delta\)ZFC\(^-\)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (3)

Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Reinhardt cardinals and iterates of \(V\) ⋮ Choiceless Löwenheim-Skolem property and uniform definability of grounds

This page was built for publication: On ground model definability