Pages that link to "Item:Q3423150"
From MaRDI portal
The following pages link to Addition and multiplication of sets (Q3423150):
Displayed 10 items.
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- Towards a generic view of primality through multiset decompositions of natural numbers (Q2453539) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- Digraph parameters and finite set arithmetic (Q2947232) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- Emulating Primality with Multiset Representations of Natural Numbers (Q3105752) (← links)
- A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
- Ordinal operations on graph representations of sets (Q4915216) (← links)
- Bounded finite set theory (Q6047677) (← links)