О кванторе предельной осуществимости

При поисках интересных “по содержанию” конструктивных аналогов теорем классической математики бывают полезны логические связки, занимающие промежуточное положение между $\underset{\cdot}\exists$ и $\exists$, и между $\underset{\cdot}\vee$ и $\vee$ [$\underset{\cdot}\exists xF$ обозначает $\rceil\forall x\rceil F$, $(F_1\underset{\cdot}\vee F_2)$ обозначает $\rceil(\rceil F_1\&\rceil F_2)$]. В статье вводятся в рассмотрение две логические связки этого типа, подсказанные теорией предельно вычислимых (полувычислимых) функций и определяемые через основные логические связки конструктивной логики – квантор предельной осуществимости $\underset{\to}\exists$ и предельная дизъюнкция $\underset{\to}\vee$. Устанавливается ряд свойств этих логических связок. Библ. 10 назв.