Provability in principle and controversial constructivistic principles

DOI10.1023/A:1017954806119MaRDI QIDQ1372941zbMATH OpenOpenAlexFDO

Authors Leon Horsten

Publication date 23 March 1998

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

Full work available at URL https://doi.org/10.1023/a:1017954806119

zbMATH Keywords

Church's ThesisHeyting arithmeticMarkov's PrincipleEpistemic Arithmeticepistemic principlesintuitionistic principles

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• In defense of epistemic arithmetic
• scientific article; zbMATH DE number 3891353
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• Reflecting in epistemic arithmetic

Cites work

• scientific article; zbMATH DE number 4132124 (Why is no real title available?)
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3827862 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3970744 (Why is no real title available?)
• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 3432235 (Why is no real title available?)
• scientific article; zbMATH DE number 3236049 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• scientific article; zbMATH DE number 3311729 (Why is no real title available?)
• A logical analysis of some value concepts
• Absolute Versions of Incompleteness Theorems
• Church's thesis and the ideal of informal rigour
• Constructivism in mathematics. An introduction. Volume II
• Epistemic and intuitionistic formal systems
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Flagg realizability in arithmetic
• Integrating classical and intuitionistic type theory
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The equivalence of the disjunction and existence properties for modal arithmetic
• Über das Markov-Prinzip

Cited in

(2)

• Non-deterministic logic of informal provability has no finite characterization
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction

This page was built for publication: Provability in principle and controversial constructivistic principles

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