On the contrapositive of countable choice

DOI10.1007/S00153-010-0205-8zbMath1218.03034OpenAlexW2010993234MaRDI QIDQ627434

Hajime Ishihara, Peter M. Schuster

Publication date: 2 March 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-010-0205-8

zbMATH Keywords

Church's thesisHeyting arithmeticlaw of excluded middlerecursivedecidablecontrapositive of countable choicedouble negation eliminationelementary intuitionistic analysis

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Metamathematics of constructive systems (03F50) Hierarchies of computability and definability (03D55)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• Unnamed Item
• Unnamed Item

This page was built for publication: On the contrapositive of countable choice