scientific article; zbMATH DE number 970524

MaRDI QIDQ5688693zbMATH OpenFDO

Authors Fred Richman

Publication date 23 January 1997

zbMATH Keywords

constructive abelian group theory

Mathematics Subject Classification ID

Abelian groups (20K99) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 2233169
• scientific article; zbMATH DE number 4043838
• Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
• Proofs and constructions
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions

Cited in

(9)

• Proofs and constructions
• scientific article; zbMATH DE number 4055588 (Why is no real title available?)
• scientific article; zbMATH DE number 4072965 (Why is no real title available?)
• Nice subgroups of mixed local groups
• Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
• Variations on Noetherianness
• Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser
• scientific article; zbMATH DE number 723838 (Why is no real title available?)
• scientific article; zbMATH DE number 4043838 (Why is no real title available?)

This page was built for publication:

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