ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS

DOI10.1070/IM1984v022n02ABEH001444zbMath0554.03029OpenAlexW2060571736MaRDI QIDQ3216644

Valery Plisko

Publication date: 1984

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1984v022n02abeh001444

zbMATH Keywords

absolutely realizable formulaegeneralized predicateHeyting's predicate calculusrealizers

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

On hyperarithmetical realizability ⋮ Arithmetical realizability and primitive recursive realizability ⋮ A Generalized Realizability and Intuitionistic Logic ⋮ Arithmetical realizability and basic logic ⋮ Rules and arithmetics ⋮ No escape from Vardanyan's theorem ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ A semantical proof of De Jongh's theorem ⋮ Absolute \(L\)-realizability and intuitionistic logic ⋮ Generalized realizability and Markov's principle