Second-order Logic and the Power Set. - Ethan Brauer (J. Philos. Log., 2018)

Relevance for the Classical Logician. - Ethan Brauer (Rev. Symb. Log., 2020)

Transmission of Verification. - Ethan Brauer; Neil Tennant (Rev. Symb. Log., 2021)

The dependence of computability on numerical notations. - Ethan Brauer (Synth., 2021)

A Classical Modal Theory of Lawless sequences. - Ethan Brauer (Bull. Symb. Log., 2023)

Coarsening Natural Deduction Proofs I: Finding Perfect Proofs. - Ethan Brauer (J. Log. Comput., 2025)

Coarsening natural deduction proofs II: finding gaunt proofs. - Ethan Brauer (J. Log. Comput., 2025)