scientific article; zbMATH DE number 3001281

MaRDI QIDQ4477876zbMATH OpenFDO

Authors Thoralf Skolem

Publication date 1931

zbMATH Keywords

Foundations of mathematics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 3784972
• scientific article; zbMATH DE number 3397592
• Zyklische Erweiterungen arithmetischer Funktionenkörper
• scientific article; zbMATH DE number 3239652
• scientific article; zbMATH DE number 3011721
• Zur arithmetischen Theorie separierbarer Funktionenkörper
• scientific article; zbMATH DE number 3062186
• Arithmetische Funktionen über Halbordnungen. I.

Cited in

(7)

• scientific article; zbMATH DE number 3105541 (Why is no real title available?)
• When is scalar multiplication decidable?
• scientific article; zbMATH DE number 7407776 (Why is no real title available?)
• The reachability problem for Petri nets and decision problems for Skolem arithmetic
• The scope of Gödel's first incompleteness theorem
• Zyklische Erweiterungen arithmetischer Funktionenkörper
• Recursive models and the divisibility poset

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 Q4477876)