Subcountability under realizability

DOI10.1305/NDJFL/1093636613MaRDI QIDQ1098849zbMATH OpenOpenAlexFDO

Authors 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

metric spacesdiscrete setsChurch's thesisintuitionistic 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)

Recommendations

• Subbase countable compact- ness
• Realcompact subspaces
• The number of countable models in realizability toposes
• Subfields of a real closed field of countable codimension
• Borel subrings of the reals
• scientific article; zbMATH DE number 427681
• scientific article; zbMATH DE number 2103326
• Realizability and recursive set theory
• scientific article; zbMATH DE number 3337966
• Countable subsets of Suslinian continua

Cited in

(4)

• A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable
• On Kripke's schema and countable subsets
• Every metric space is separable in function realizability
• Countable sets versus sets that are countable in reverse mathematics

This page was built for publication: Subcountability under realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1098849)