Provability in principle and controversial constructivistic principles
From MaRDI portal
Recommendations
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)
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)