Равномерная $V$-реализуемость принципа Маркова в $V$-перечислимой области

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