Referee

swMATH12439MaRDI QIDQ24367FDOQ24367

Author name not available (Why is that?)

Cited In (7)

• Set graphs. IV. Further connections with claw-freeness
• Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate
• Set graphs. I. Hereditarily finite sets and extensional acyclic orientations
• Applicable Mathematics in a Minimal Computational Theory of Sets
• Set graphs. II. Complexity of set graph recognition and similar problems
• Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions

This page was built for software: Referee