Cited publications in Review of Symbolic Logic:Strict finitism, feasibility, and the Sorites (2018)Compositionality, computability, and complexity (2021)