home
blog
search
about
◐
table of contents
quantifier contraction theorem
2024-03-27
(refer to robert i. soare, 2016 theorem 2.1.5)