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

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 ℕ

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)

Cited In (4)

• Intuitionistic notions of boundedness in ℕ
• On the contrapositive of countable choice
• On choice principles and fan theorems
• Title not available (Why is that?)

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)