Addition and multiplication of sets

DOI10.1002/MALQ.200610026MaRDI QIDQ3423150zbMATH OpenOpenAlexFDO

Authors 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

adductionfinite set theoryordinal arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Ordinal operations on graph representations of sets
• Ordinal Operations on Surreal Numbers
• A Theory of Operations on the Universe II. Infinitary Operations
• Ordinal exponentiations of sets
• Operating on the universe

Cites work

• A hierarchy of hereditarily finite sets
• Finitary set theory
• Finite sets and Gödel's incompleteness theorems
• scientific article; zbMATH DE number 193143 (Why is no real title available?)

Cited in

(15)

• Sets with two associative operations
• Towards a generic view of primality through multiset decompositions of natural numbers
• The ordinality of additively generated sets
• 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
• Substandard models of finite set theory
• Emulating primality with multiset representations of natural numbers
• A Groupoid of Isomorphic Data Transformations
• scientific article; zbMATH DE number 4075042 (Why is no real title available?)
• A Theory of Operations on the Universe II. Infinitary Operations
• Ordinal operations on graph representations of sets
• Verification: Theory and Practice
• Bounded finite set theory
• A hierarchy of hereditarily finite sets

This page was built for publication: Addition and multiplication of sets

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