So, admittedly, I left a lot of details out of constructing W and I'm not sure if it even works as a model of ZFC. But it's what I intuitively think of as a model of internal set theory -- you have your standard sets as ultrapowers, and your "external/arbitrary" nonstandard sets as arbitrary subsets of standard sets. I'd be very curious to look at actually rigorous constructions of models of IST, which should provide the desired example.
9/9, fin.
azul
npub1e9…2vdd5
2026-05-06 14:52:13 UTC
in reply to nevent1q…t6cy
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Seen on
wss://relay.momostr.pinkPublished at
2026-05-06 14:52:13 UTCEvent JSON
{
"id": "fefdc64e6844bf65ae67dbba1c9344f89f541b8ac84179cd27d22738ac41144d",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1778079133,
"kind": 1,
"tags": [
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/116528194062320846",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"4b02a1e7e2c5f1eaeb9eefc588e2083468f22402e4be6a16f6f17d93c237f9c2",
"",
"reply",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/116528194062320846",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/116528194062320846",
"pink.momostr"
],
[
"-"
]
],
"content": "So, admittedly, I left a lot of details out of constructing W and I'm not sure if it even works as a model of ZFC. But it's what I intuitively think of as a model of internal set theory -- you have your standard sets as ultrapowers, and your \"external/arbitrary\" nonstandard sets as arbitrary subsets of standard sets. I'd be very curious to look at actually rigorous constructions of models of IST, which should provide the desired example.\n\n9/9, fin.",
"sig": "a6086d16687948c9719a81671036b58b1e4c949058c51bff0f717f49b417e2d2cda9dfc9aad4ab9f65a938b1831dca20b6fc6f073fbb5560407718dfa7f88f87"
}