Predicate logics of constructive mathematical theories

MaRDI QIDQ5472008zbMATH OpenFDO

Authors Valery Plisko

Publication date 14 June 2006

zbMATH Keywords

complexityconstructive theoriesrealizabilitypredicate logicarithmetical hierarchyfinite typesGödel's interpretations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Metamathematics of constructive systems (03F50) Undecidability and degrees of sets of sentences (03D35) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 4004179
• On arithmetic complexity of some constructive logics
• Modified realizability and predicate logic
• scientific article; zbMATH DE number 1567841
• scientific article; zbMATH DE number 2233169

Cited in

(15)

• On certain fundamental problems of mathematical logic
• Closed Fragments of Provability Logics of Constructive Theories
• scientific article; zbMATH DE number 2099534 (Why is no real title available?)
• Weyl's predicative classical mathematics as a logic-enriched type theory
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• On arithmetic complexity of some constructive logics
• Transfinite sequences of constructive predicate logics
• Predicative logic and formal arithmetic
• scientific article; zbMATH DE number 3850461 (Why is no real title available?)
• scientific article; zbMATH DE number 16511 (Why is no real title available?)
• scientific article; zbMATH DE number 4004179 (Why is no real title available?)
• scientific article; zbMATH DE number 4118367 (Why is no real title available?)
• Predicativity and constructive mathematics
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• Comments on predicative logic

This page was built for publication: Predicate logics of constructive mathematical theories

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