Pages that link to "Item:Q2345391"
From MaRDI portal
The following pages link to Rudimentary recursion, gentle functions and provident sets (Q2345391):
Displaying 6 items.
- Unordered pairs in the set theory of Bourbaki 1949 (Q849219) (← links)
- The lost melody theorem for infinite time Blum-Shub-Smale machines (Q2117767) (← links)
- Mathias and set theory (Q2813682) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Constructing the constructible universe constructively (Q6145038) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)
