This user has published a peer-reviewed article in the Review of Symbolic Logic.