Hereditarily finite set: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 August 2023

  • curprev 15:1315:13, 31 August 2023‎ RhubarbJayde talk contribs‎ 600 bytes +600‎ Created page with "A set is hereditarily finite if the smallest transitive set containing it is finite. So, an ordinal is hereditarily finite if and only if it is finite. Any hereditarily finite set is finite, but not every finite set is hereditarily finite, e.g. \(\{\omega\}\). One advantage of using hereditarily finite rather than finite sets is that they form a set, rather than a proper class. The set in question is \(V_\omega = L_\omega\) in the cumulative/Constructible hierarchy..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Hereditarily_finite_set"