• § 8410. Eligibility for annuity

• § 8411. Creditable service

• § 8412. Immediate retirement

• § 8412a. Phased retirement

• § 8413. Deferred retirement

• § 8414. Early retirement

• § 8415. Computation of basic annuity

• § 8416. Survivor reduction for a current spouse

• § 8417. Survivor reduction for a former spouse

• § 8418. Survivor elections; deposit; offsets

• § 8419. Survivor reductions; computation

• § 8420. Insurable interest reductions

• § 8420a. Alternative forms of annuities

• § 8421. Annuity supplement

• § 8421a. Reductions on account of earnings from work performed while entitled to an annuity supplement

• § 8422. Deductions from pay; contributions for other service; deposits

• § 8423. Government contributions

• § 8424. Lump-sum benefits; designation of beneficiary; order of precedence

• § 8425. Mandatory separation