MathAudit

Publication metadata

Journal citation
Russian Mathematical Surveys 37(3), 1–62 (1982)
Publication date
1982
MSC 2020
11F75, 11F06, 11R56, 11E72
As specified in the publication (MSC edition unspecified)
11F75, 11F06, 11R56, 11E72 ↗MathNet primary journal archive metadata, following the PDF and DOI linksThe primary archive does not identify an MSC edition or primary/secondary roles. Each exact code is present in the official MSC2020 database; no historical edition or role is inferred.

Abstract

The strong-approximation theorem cited by Burger–Sarnak supplies density of the simply connected cover's SS-integral points.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

  • Theorem 4.2Strong approximation used in Burger–Sarnak Lemma 2.1.

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.