Доказуемостные интерпретации интуиционистской логики.

Аннотация

Robert Solovay investigated the version of the modal system one gets by taking "Box(p) " to mean ”p is true in every transitive model of Zermelo-Fraenkel Set Theory ZF”. The main result of this note establishes that the Intermediate Logic of the week Peirs Law sound and complet under the Solovay's interpretation.