On hyperarithmetical realizability

DOI10.1134/S0001434615110073MaRDI QIDQ268079zbMATH OpenOpenAlexFDO

Authors A. Yu. Konovalov, V. E. Plisko

Publication date 14 April 2016

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0001434615110073

zbMATH Keywords

universal functionformal arithmetichyperarithmetical functionhyperarithmetical predicatehyperarithmetical realizabilityhyperarithmetical setGödel number

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Generalized realizability for extensions of the language of arithmetic
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• Modified realizability and predicate logic
• scientific article; zbMATH DE number 3557757
• Strictly primitive recursive realizability, I

Cites work

• scientific article; zbMATH DE number 3468789 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A propositional logic with explicit fixed points
• A survey of predicate realizability logic
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Basic predicate calculus
• On the interpretation of intuitionistic number theory

Cited in

(15)

• General recursive realizability and basic logic
• Hartmanis-Stearns Conjecture on Real Time and Transcendence
• On mathematical realism and applicability of hyperreals
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• scientific article; zbMATH DE number 3559543 (Why is no real title available?)
• Realisability for infinitary intuitionistic set theory
• Realizability with a local operator of A. M. Pitts
• On arithmetically realizable classes
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
• A Generalized Realizability and Intuitionistic Logic
• Generalized realizability for extensions of the language of arithmetic
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Generalized realizability and Markov's principle
• General recursive realizability and intuitionistic logic
• Absolute \(L\)-realizability and intuitionistic logic

This page was built for publication: On hyperarithmetical realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q268079)