The sofic value is not approximable and Aldous–Lyons fails, from tailored answer reduction #
Paper I's measure-free corollary (Corollary I:2144) composed with paper II's main theorem as the
repository has it: a TailoredAnswerReduction 5 gives the halting reduction to tailored games
(tailored_halting_reduction_of_answerReduction), and with Main Theorem II the sofic value of
subgroup tests is not approximable (Sofic.not_sofValueApproximable); with Main Theorem I, the
Aldous–Lyons conjecture is false (Sofic.aldous_lyons_false).
theorem
MIPRE.Tailored.not_sofValueApproximable_of_answerReduction
(A : TailoredAnswerReduction 5)
:
The sofic value is not approximable, from tailored answer reduction.
The Aldous–Lyons conjecture is false, from tailored answer reduction.