This article is cited in 2 papers

Modified realizability and predicate logic

V. E. Plisko

M. V. Lomonosov Moscow State University

Abstract: Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered. For a number of natural constructive interpretations, the corresponding predicate logic of modified realizability is proved to be nonarithmetical.

UDC: 510.64

Received: 19.08.1994

DOI: 10.4213/mzm1499

 English version: Mathematical Notes, 1997, 61:2, 212–220

Bibliographic databases:

• 
• 
•