Markov's principle, isols and Dedekind finite sets
From MaRDI portal
Publication:3824408
DOI10.2307/2274604zbMath0671.03037MaRDI QIDQ3824408
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
03F50: Metamathematics of constructive systems
03D50: Recursive equivalence types of sets and structures, isols
Related Items
A Dedekind finite Borel set, On theorems of Gödel and Kreisel: Completeness and Markov's principle, Paradox and potential infinity