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 \(\omega\)-rule
• On Primitive Recursive Realizabilities
• scientific article; zbMATH DE number 5174279
• General recursive realizability and basic logic

Cited in

(10)

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

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)