Research graph

References

References from KNOCKING DOWN BOXES: THE FMP FOR <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="bold">K</mml:mi> </mml:mrow> <mml:mo>⊕</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msup> <mml:mi>p</mml:mi> <mml:mo stretchy="false" accent="false">→</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mi>m</mml:mi> </mml:msup> <mml:mi>p</mml:mi> </mml:math> $\mathbf {K}\oplus \Box ^{m+k} p\to \Box ^m p$ bold upper K circled plus white medium square Superscript m plus k Baseline p right arrow white medium square Superscript m Baseline p. Local targets link to admitted publications; unresolved targets remain external evidence.