nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw (nprofile…a7rw)
I see, so I guess what you are saying is that basically I shouldn't think of realizability semantics of recursion as a totally different notion than dcpo-based domain theory but rather a version of that same theory but built on realizability rather than classical set theory
Max S. New ⚜️
npub1dm…g9dey
2025-11-22 18:56:47 UTC
in reply to nevent1q…faw6
Author Public Key
npub1dmn630rgl55pt7vgee6l930wfqjq6jry973hqf90fs6kgxztzd8qrg9deyPublished at
2025-11-22 18:56:47 UTCEvent JSON
{
"id": "a9166c1f8eb320fa3d003edf55094ed5d6eb13c2aea92622f0fdd5bbf0f0c7bb",
"pubkey": "6ee7a8bc68fd2815f988ce75f2c5ee48240d48642fa37024af4c3564184b134e",
"created_at": 1763837807,
"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",
"ca96b40f1569df4b7619820206d4f5f8b8df54ef9d9d001aa5ebe2f661215214",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://types.pl/users/maxsnew/statuses/115594874551018374",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrgd7heng7z3cv2f6ddtm8zqxx3rxwh84wvk27nus3rl9qq9endsqr8a7rw \n\nI see, so I guess what you are saying is that basically I shouldn't think of realizability semantics of recursion as a totally different notion than dcpo-based domain theory but rather a version of that same theory but built on realizability rather than classical set theory",
"sig": "b08b7d9ddb38838175a93e5926b9e1ccb994b65b32156c481436c3ce7e44e9ebd58b50aeb38f5cc08bc59f5f6df70072371ca8098e1b26f91ff493ef90170b52"
}