Addition and multiplication of sets

DOI10.1002/malq.200610026zbMath1110.03034OpenAlexW2129063902MaRDI QIDQ3423150

Laurence Kirby

Publication date: 20 February 2007

Published in: MLQ (Search for Journal in Brave)

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

zbMATH Keywords

ordinal arithmeticfinite set theoryadduction

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10)

Related Items

A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle, A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS, Digraph parameters and finite set arithmetic, Bounded finite set theory, Towards a generic view of primality through multiset decompositions of natural numbers, A hierarchy of hereditarily finite sets, Ordinal operations on graph representations of sets, Substandard models of finite set theory, A Groupoid of Isomorphic Data Transformations, Emulating Primality with Multiset Representations of Natural Numbers

Cites Work

• Unnamed Item
• A hierarchy of hereditarily finite sets
• Finitary set theory
• Finite sets and Gödel's incompleteness theorems