Guillaume Geoffroy: A first-order completeness result about characteristic Boolean algebras in classical realizability. LICS 2022: 53:1-53:8