14

Questions
votes newest views recent
 
2
votes
2
answers
480
views

Prenex normal form vs. quantifier rank

may 3 11 at 17:14 Andreas Blass 33k●4●55●110

 
2
votes
2
answers
114
views

Smallest base to reach partial recursive functions as a closure of unbound search

may 6 at 15:03 Emil Jeřábek 10.7k●1●24●41

2
2
votes
19
answers
1k
views

Math for a cake [closed]

dec 29 at 22:15 Glen M Wilson 516●3●12

 
1
vote
1
answer
118
views

Grzegorczyk-hierarchy, growth-rate and functions with finite image

mar 25 at 14:35 Andreas Blass 33k●4●55●110

prev 1 2