On hyperarithmetical realizability

DOI10.1134/S0001434615110073zbMath1382.03081MaRDI QIDQ268079

F. Blanchet-Sadri, M. Dambrine

Publication date: 14 April 2016

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

universal function; formal arithmetic; Gödel number; hyperarithmetical function; hyperarithmetical predicate; hyperarithmetical realizability; hyperarithmetical set

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03F35: Second- and higher-order arithmetic and fragments

03B20: Subsystems of classical logic (including intuitionistic logic)