In both interpretations, 'N in *V is the standard model of PA. This 'N may look different externally but it looks like N in the ZFC set theory (the meta-theory).
Where things get interesting is when we have a separate notion of "standard" set in the meta-theory (i.e. if the meta-theory is IST instead of ZFC), and then a meta-theoretic notion of "standard model" means "the initial model that is standard" as opposed to just "the initial model".
azul
npub1e9…2vdd5
2026-05-07 14:00:13 UTC
in reply to nevent1q…l4fg
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Published at
2026-05-07 14:00:13 UTCEvent JSON
{
"id": "38327971ed1e18b15efc878d8bd47c46b2585b6ca8fca79aa9f96d60dcfeeb2f",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1778162413,
"kind": 1,
"tags": [
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/116533651943278649",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"decfbc5a7821e752a4c4712c68648566162b103095eea95122d492ba0ea2995e",
"",
"reply",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/116533651943278649",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/116533651943278649",
"pink.momostr"
],
[
"-"
]
],
"content": "In both interpretations, 'N in *V is the standard model of PA. This 'N may look different externally but it looks like N in the ZFC set theory (the meta-theory).\n\nWhere things get interesting is when we have a separate notion of \"standard\" set in the meta-theory (i.e. if the meta-theory is IST instead of ZFC), and then a meta-theoretic notion of \"standard model\" means \"the initial model that is standard\" as opposed to just \"the initial model\".",
"sig": "dbefc3ea992ad6313bbbf232d79d0dc4c8c2932bc57920ab77e644502a600a96863ebadd36580ac23c6906ca1efc83abbfbce95a24f8fed56d74818b2e760529"
}