works on
2-topos 1algebraic set theory 1burali-forti paradox 1category of classes 1intuitionistic set theory 1topos sketches 1

From the 1 of 6 linked papers with an AI index.

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2025

Y is a least fixed point combinator

Joseph Helfer

The theory of recursive functions is related in a well-known way to the notion of *least fixed points*, by endowing a set of partial functions with an ordering in terms of their do…