On theorems of Gödel and Kreisel: Completeness and Markov's principle
type: Item
instance of: scholarly article
title: On theorems of Gödel and Kreisel: Completeness and Markov's principle
zbMATH Open document ID: 0801.03038
published in: Notre Dame Journal of Formal Logic
publication date: 1994-12-01T00:00:00Z
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 638615
zbMATH Keywords: Markov's principle
zbMATH Keywords: completeness
zbMATH Keywords: intuitionistic predicate logic
zbMATH Keywords: negative translations
author: David Charles McCarty
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040609297
OpenAlex ID: W2070941135
cites work: Q4052072
cites work: Q3893911
cites work: Q4133603
cites work: Q4179016
cites work: Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
cites work: On weak completeness of intuitionistic predicate logic
cites work: HILBERT'S PROGRAMME
cites work: Q5525322
cites work: Markov's principle, isols and Dedekind finite sets
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1305/NDJFL/1040609297
description: scientific article; zbMATH DE number 638615