Provability in principle and controversial constructivistic principles

DOI10.1023/A:1017954806119zbMATH Open0883.03011OpenAlexW2023909168MaRDI QIDQ1372941FDOQ1372941

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

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

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)

Cites Work

• Title not available (Why is that?)
• Church's thesis and the ideal of informal rigour
• Title not available (Why is that?)
• A logical analysis of some value concepts
• 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
• Epistemic and intuitionistic formal systems
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Title not available (Why is that?)
• Absolute Versions of Incompleteness Theorems
• Title not available (Why is that?)
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Integrating classical and intuitionistic type theory
• Title not available (Why is that?)
• Über das Markov-Prinzip
• Flagg realizability in arithmetic
• The equivalence of the disjunction and existence properties for modal arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

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

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)