Extended natural numbers and counters

DOI10.2478/FORMA-2020-0021zbMATH Open1543.68422MaRDI QIDQ6592311

Sebastian Koch

Publication date: 26 August 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

zbMATH Keywords

cardinalsextended natural numbers

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Semantics of MML query -- ordering
• Mizar: State-of-the-art and Beyond
• Algebraic graph theory. Morphisms, monoids and matrices

This page was built for publication: Extended natural numbers and counters

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