Coding over core models

MaRDI QIDQ4982452zbMATH OpenFDO

Authors David Schrittesser, Sy-David Friedman, Ralf Schindler

Publication date 9 April 2015

zbMATH Keywords

large cardinalscoding theoremcore model theory

Mathematics Subject Classification ID

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

Recommendations

• Coding into 𝐾 by reasonable forcing
• Coding over a measurable cardinal
• Coding that preserves Ramseyness
• Coding without fine structure
• Strong coding

Cited in

(3)

• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Coding over Core Models
• Projective Measure Without Projective Baire

This page was built for publication: Coding over core models

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