Обобщенно-конструктивный континуум

Настоящая статья представляет собой попытку обобщить понятие конструктивного континуума на случай, когда вместо обычных вычислений рассматриваются вычисления с оракулом. При этом в качестве оракула берется частичная числовая функция $F$, удовлетворяющая некоторым специальным условием. В первой главе изучаются отношения и множества, разрешимые и перечислимые с оракулом $F$. Во второй главе вводится обобщенно-конструктивный континуум, который в существенных своих свойствах похож на классический континуум. Доказывается, что в этой модели выполняется континуум-гипотеза.