We prove the following are equiconsistent:

(1) There is an inaccessible cardinal.

(2) Every projective Menger set of reals is σ-compact.

(2’) Every co-analytic Menger set of reals is σ-compact.

(3) Every projective set of reals with every closed subset Baire is Polish.

(3’) Every analytic set of reals with every closed subset Baire is Polish.

(1), (2), (2’) are from Tall-Todorcevic-Tokg ̈z 2017; (1), (3), (3’) are from Tall-Zdomskyy, in preparation.

Researchers previously derived (2), (3) from the Axiom of Projective Determinacy, and negations of (2’) and (3’) from V = L. We substitute a perfect set version of Todorcevic’s Open Graph Axiom for PD and the L[a] existence of an a ⊆ ω such that ω1 = ω1 for V = L.

We (Tall-Zdomskyy) also construct in ZFC a separable metric space X such that every closed subset of X ω is Baire, but X includes no dense completely metrizable subspace. Such a space was previously constructed by Eagle-Tall (2017) from a non-meager P-filter, which is not known to exist in ZFC. Such a space can be used to construct an abstract logic in which the Omitting Types Theorem holds but a stronger, game-theoretic version of the OTT does not.