scientific article; zbMATH DE number 2019914

zbMATH Open1036.03007MaRDI QIDQ4440609FDOQ4440609

Authors: D. A. Viter 

Publication date: 15 February 2004

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Primitive Recursive Realizabilities
• Strictly primitive recursive realizability, I
• Title not available (Why is that?)
• 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)