Predicate logics of constructive mathematical theories

zbMATH Open1105.03063MaRDI QIDQ5472008FDOQ5472008

Authors: Valery Plisko 

Publication date: 14 June 2006

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

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)

Cited In (15)

• On certain fundamental problems of mathematical logic
• Closed Fragments of Provability Logics of Constructive Theories
• Title not available (Why is that?)
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Title not available (Why is that?)
• On arithmetic complexity of some constructive logics
• Predicative logic and formal arithmetic
• Transfinite sequences of constructive predicate logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predicativity and constructive mathematics
• 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)