scientific article; zbMATH DE number 2019914

MaRDI QIDQ4440609zbMATH OpenFDO

Authors D. A. Viter

Publication date 15 February 2004

zbMATH Keywords

predicate formulasprimitive recursive realizability

Mathematics Subject Classification ID

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

Recommendations

• Strictly primitive recursive realizability, I
• Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive -rule
• On Primitive Recursive Realizabilities
• scientific article; zbMATH DE number 5174279
• General recursive realizability and basic logic

Cited in

(11)

• Realizability and recursive set theory
• Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• scientific article; zbMATH DE number 3859090 (Why is no real title available?)
• On Primitive Recursive Realizabilities
• scientific article; zbMATH DE number 3557757 (Why is no real title available?)
• Strictly primitive recursive realizability, I
• THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
• scientific article; zbMATH DE number 5174279 (Why is no real title available?)
• Polynomially bounded recursive realizability
• General recursive realizability and basic logic

This page was built for publication:

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