REVIEW 1 cited by
Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive way of fleshing out this idea is synonymous with a ZF-like theory. This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974).
Forward citations
Cited by 1 Pith paper
-
Graph Canvas for Controllable 3D Scene Generation
GraphCanvas3D generates and edits 3D scenes from text by iteratively optimizing a graph layout with feedback from a vision-language model.
Discussion (0). Continue with ORCID to comment.