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

arithmetic in all finite typesconstructive logicmodified realizabilitysemantics of predicate formulas

Mathematics Subject Classification ID

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

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

• Constructive formalization of the Tennenbaum theorem and its applications
• 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?)
• 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

(22)

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

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)