Обобщенная реализуемость и принцип Маркова

Определяются различные варианты понятия $V$-реализуемости для формул языка логики предикатов, основанные на использовании функций из множества $V$ для интерпретации импликации и квантора всеобщности. Устанавливается, что принцип Маркова слабо $V$-реализуем, не является равномерно $V$-реализуемым и $V$-реализуем равномерно в области $M$, если множество $M\subseteq \mathbb N$ является $V$-перечислимым.