scientific article; zbMATH DE number 7552285

DOI10.13137/2464-8728/33312MaRDI QIDQ5087788

Domenico Cantone, Alberto Policriti

Publication date: 1 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

encodingsmultisetstranscendental numbersAckermann's numbering

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Theory of numerations, effectively presented structures (03D45)

Cites Work

• A single-sorted theory of multisets
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Mapping Sets and Hypersets into Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: