Markov's principle, isols and Dedekind finite sets

DOI10.2307/2274604zbMath0671.03037OpenAlexW4246665100MaRDI QIDQ3824408

Charles McCarty

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274604

zbMATH Keywords

constructive mathematicsDedekind finite setsMarkov's Principle

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Recursive equivalence types of sets and structures, isols (03D50)

Related Items

On theorems of Gödel and Kreisel: Completeness and Markov's principle ⋮ A Dedekind finite Borel set ⋮ Paradox and potential infinity