On Primitive Recursive Realizabilities

DOI10.1007/11753728_31zbMath1185.03087OpenAlexW1602659399MaRDI QIDQ3434704

Valery Plisko

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11753728_31

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY

This page was built for publication: On Primitive Recursive Realizabilities