Set-theoretic blockchains[J] ARCHIVE FOR MATHEMATICAL LOGIC 2019(58) Habic, Miha E. Hamkins, Joel David Klausner, Lukas Daniel Verner, Jonathan Williams, Kameryn J.
