Constructive validity is nonarithmetic

DOI10.2307/2274603MaRDI QIDQ5202185zbMATH OpenOpenAlexFDO

Authors Charles McCarty

Publication date 1988

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274603

zbMATH Keywords

arithmetical definability of logical validityHeyting's intuitionistic second-order arithmeticincompleteness theoremKleene hierarchyrecursive models of arithmetic

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 4118367
• Constructive truth and falsity in Peano arithmetic
• scientific article; zbMATH DE number 3895059
• On the constructive truth and falsity in Peano arithmetic
• scientific article; zbMATH DE number 3976994
• Constructible falsity and inexact predicates
• Constructibility in higher order arithmetics
• On the Proof Method for Constructive Falsity
• Publication:4893100
• Constructive Mathematics

Cited in

(13)

• Lewis meets Brouwer: constructive strict implication
• Intuitionistic completeness and classical logic
• On the constructive truth and falsity in Peano arithmetic
• Satisfiability is false intuitionistically: a question from Dana Scott
• Montague's paradox, informal provability, and explicit modal logic
• Predicate Logics of Constructive Arithmetical Theories
• scientific article; zbMATH DE number 3959422 (Why is no real title available?)
• scientific article; zbMATH DE number 575914 (Why is no real title available?)
• scientific article; zbMATH DE number 738893 (Why is no real title available?)
• Efficient boundary extraction from orthogonal pseudo-polytopes: an approach based on the nD-EVM
• An analysis of Tennenbaum's theorem in constructive type theory
• Intuitionistic sets and numbers: small set theory and Heyting arithmetic
• Constructive formalization of the Tennenbaum theorem and its applications

This page was built for publication: Constructive validity is nonarithmetic

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