Subcountability under realizability

DOI10.1305/NDJFL/1093636613zbMath0637.03060OpenAlexW2025502180MaRDI QIDQ1098849

Charles McCarty

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636613

zbMATH Keywords

Church's thesismetric spacesdiscrete setsintuitionistic ZF set theorysubcountable sets

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (2)

Countable sets versus sets that are countable in reverse mathematics ⋮ A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable

This page was built for publication: Subcountability under realizability