3 papers
math.LO2026
The generalized quantifiers of natural language are predicatively definable
Sean Walsh
This paper studies the definability of natural language generalized quantifiers. The semantics of generalized quantifiers are provided by a collection of subsets of the underlying…
math.LO2016
Definability Aspects of the Denjoy Integral
Sean Walsh
The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral…
math.LO2015
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
Sean Walsh
This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church's intensional logic. A predicative response places restricti…