AEtnaNova
From MaRDI portal
Software:18486
No author found.
Related Items (8)
Set graphs. IV. Further connections with claw-freeness ⋮ Set graphs. I. Hereditarily finite sets and extensional acyclic orientations ⋮ A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate ⋮ Set graphs. II. Complexity of set graph recognition and similar problems ⋮ Computational Logic and Set Theory ⋮ Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
This page was built for software: AEtnaNova
