Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis

DOI10.1002/malq.19850310102zbMath0617.20030OpenAlexW2073949514MaRDI QIDQ4726462

Dirk van Dalen, Fer-Jan de Vries

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1002/malq.19850310102

zbMATH Keywords

Kripke modelaxiomatizationfree abelian groupsapartnessintuitionistic construction

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Torsion-free groups, infinite rank (20K20) Intuitionistic mathematics (03F55)

Related Items (2)

Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice ⋮ Pointwise hereditary majorization and some applications

This page was built for publication: Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis