Provability in principle and controversial constructivistic principles

DOI10.1023/A:1017954806119zbMath0883.03011OpenAlexW2023909168MaRDI QIDQ1372941

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

Heyting arithmeticChurch's ThesisMarkov'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)

Related Items (2)

REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION ⋮ Non-deterministic logic of informal provability has no finite characterization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrating classical and intuitionistic type theory
• Epistemic and intuitionistic formal systems
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Church's thesis and the ideal of informal rigour
• Constructivism in mathematics. An introduction. Volume II
• 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
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Flagg realizability in arithmetic
• Über das Markov-Prinzip
• A logical analysis of some value concepts
• Absolute Versions of Incompleteness Theorems

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