Productive sets and creative sets are analogues of sets of natural numbers that have important applications in mathematical logic. They are standard topics in mathematical logic texts such as Soare (1987) and Rogers (1987).


This page is auto-translated from /nishio/生産的集合 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.