nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw)
so modest sets are a subcategory of Asm? Do you have a reference I could dig into?
Edit: I found these notes by Streicher which look helpful on this topic: https://www2.mathematik.tu-darmstadt.de/~streicher/REAL/REAL.pdf
Max S. New ⚜️
npub1dm…g9dey
2025-11-22 17:41:19 UTC
in reply to nevent1q…tngp
Author Public Key
npub1dmn630rgl55pt7vgee6l930wfqjq6jry973hqf90fs6kgxztzd8qrg9deyPublished at
2025-11-22 17:41:19 UTCEvent JSON
{
"id": "45414869b8b801345fa1b24fd55231a81e8d38c4965da3b02361fa315b55d7cb",
"pubkey": "6ee7a8bc68fd2815f988ce75f2c5ee48240d48642fa37024af4c3564184b134e",
"created_at": 1763833279,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.ditto.pub/"
],
[
"p",
"d0df5f3347851c3149d35abd9c4031a2333ae7ab99657a7c8447f28005ccdb00",
"wss://relay.ditto.pub/"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.ditto.pub/"
],
[
"p",
"da617e0ef582a5eaa0f7707bbebf5201ae243df7f7f7b75c94d2a91136f46f24",
"wss://relay.ditto.pub/"
],
[
"e",
"13c07323ebaa6d9c5579f090e89f888ee2ddf4e0720a557c29f4d04143b0518c",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://types.pl/users/maxsnew/statuses/115594577820549494",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw \n\nso modest sets are a subcategory of Asm? Do you have a reference I could dig into?\n\nEdit: I found these notes by Streicher which look helpful on this topic: https://www2.mathematik.tu-darmstadt.de/~streicher/REAL/REAL.pdf",
"sig": "47a642d9701c857a9a2f7da6a2cd925038e635ed69912240bbe90599414a5850df9dc55a04fa8b63cb46f9c8dd64cea1bfcfced217d43852e7deb46a02efaeaa"
}