The nonarithmeticity of the predicate logic of primitive recursive realizability

DOI10.4213/IM9288EMaRDI QIDQ6050850

Valerii E. Plisko

Publication date: 19 September 2023

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/im9288

zbMATH Keywords

predicate logicbasic arithmeticbasic predicate logicprimitive recursive realizabilitynonarithmeticity

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication: The nonarithmeticity of the predicate logic of primitive recursive realizability