MathAudit

Publication metadata

Journal citation
Proceedings of the Cambridge Philosophical Society 50(2), 198–202 (1954)
Publication date
1954

Abstract

This paper proves the dimension estimates for Cartesian products and slices used by the later Marstrand-type slicing lemma in the dependence graph.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

  • Cartesian-product slicing theorem · pp. 198–202Proves the dimension-slicing lower bound imported as Kleinbock–Margulis Lemma 1.4(a).

AI-generated audit

Audit summary

Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.

No audit has been generated for this published version.