Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Forcing thresholds
Exact fine-graining certificate cost and cheaper symmetry › Forcing thresholds · lines 1153–1158
Lemma lem:restriction makes this forcing property upward monotone. Born inhabitation ensures that the admissible class is not empty.