Coding over core models

zbMATH Open1358.03077MaRDI QIDQ4982452FDOQ4982452

Sy-David Friedman, David Schrittesser, Ralf Schindler

Publication date: 9 April 2015

Recommendations

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

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)

Cited In (3)

• Coding over Core Models
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• 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)