Modified realizability and predicate logic

DOI10.1007/BF02355731MaRDI QIDQ1274048zbMATH OpenOpenAlexFDO

Authors Valery Plisko

Publication date 11 January 1999

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02355731

zbMATH Keywords

constructive logicmodified realizabilityarithmetic in all finite typessemantics of predicate formulas

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 3557757
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Absolute \(L\)-realizability and intuitionistic logic
• scientific article; zbMATH DE number 4004179
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates

Cites work

• scientific article; zbMATH DE number 21247 (Why is no real title available?)
• scientific article; zbMATH DE number 3461901 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Constructive formalization of the Tennenbaum theorem and its applications
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the interpretation of intuitionistic number theory
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS

Cited in

(20)

• On hyperarithmetical realizability
• A survey of predicate realizability logic
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• A partial analysis of modified realizability
• scientific article; zbMATH DE number 3959422 (Why is no real title available?)
• Transfinite sequences of constructive predicate logics
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Possible predicates and actual properties
• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• Relative and modified relative realizability
• Arithmetic complexity of the predicate logics of certain complete arithmetic theories
• scientific article; zbMATH DE number 738893 (Why is no real title available?)
• scientific article; zbMATH DE number 3845578 (Why is no real title available?)
• Predicate logics of constructive mathematical theories
• scientific article; zbMATH DE number 3557757 (Why is no real title available?)
• Dunn's relevant predication, real properties and identity
• Rules and arithmetics
• Internalising modified realisability in constructive type theory
• scientific article; zbMATH DE number 1948155 (Why is no real title available?)
• scientific article; zbMATH DE number 1972780 (Why is no real title available?)

This page was built for publication: Modified realizability and predicate logic

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