The contrapositive of countable choice for inhabited sets of naturals

zbMATH Open1382.03082MaRDI QIDQ3177930FDOQ3177930

Authors Iosif Petrakis

Publication date 8 July 2016

Full work available at URL http://www.jucs.org/jucs_18_20/the_contrapositive_of_countable

zbMATH Keywords

constructive mathematicscountable choice

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 3843743
• On the contrapositive of countable choice
• On choice principles and fan theorems
• Unique existence, approximate solutions, and countable choice.
• Intuitionistic notions of boundedness in ℕ

Cited in

(4)

• On the contrapositive of countable choice
• On choice principles and fan theorems
• Intuitionistic notions of boundedness in ℕ
• scientific article; zbMATH DE number 3843743 (Why is no real title available?)

This page was built for publication: The contrapositive of countable choice for inhabited sets of naturals

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