That's the "standard model of PA from the point of view of ZFC". I can also define ...

2026-04-26 16:02:53 UTC

That's the "standard model of PA from the point of view of ZFC".

I can also define the standard model of PA from the point of view of MLTT, or from the point of view of HoTT/UF.

Or from the point of view of my informal mathematics.

Do we really think we know what "the" standard model is?

Evan Washington (npub1thq…5378)

Author Public Key

npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse

Seen on

wss://relay.momostr.pink

Show more details

Published at

2026-04-26 16:02:53 UTC

Kind type

1 Short Text Note

Event JSON

{ "id": "1af5a5331a8913269f3d5158b982d4eb90122a9ca5e5665d8dd4a382d64cdc3e", "pubkey": "af69ea53a8f8a39e332be10e2f1954edba2aabe860d1619c125769445c2eee7e", "created_at": 1777219373, "kind": 1, "tags": [ [ "p", "5dc1776fc5203d583dd56e2b95d65a0ee799380a8ac6b8cb094d16c16b0f9bcb" ], [ "e", "a5608561c1fc8c8943480defa8882e73779648b8c018cb8a387fec28b93fbf8f", "", "root", "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320" ], [ "p", "19ebd06fed08070f3031098b9cb1c1122d8d67bffe97c1292ff9732dab36e6bb" ], [ "proxy", "https://mathstodon.xyz/@MartinEscardo/116471848874308679", "web" ], [ "p", "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320" ], [ "e", "8e93c48ee449834636ed96f3447416c9e67a6f1a340ce269c4b39f596b065101", "", "reply", "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320" ], [ "p", "af69ea53a8f8a39e332be10e2f1954edba2aabe860d1619c125769445c2eee7e" ], [ "proxy", "https://mathstodon.xyz/users/MartinEscardo/statuses/116471848874308679", "activitypub" ], [ "L", "pink.momostr" ], [ "l", "pink.momostr.activitypub:https://mathstodon.xyz/users/MartinEscardo/statuses/116471848874308679", "pink.momostr" ], [ "-" ] ], "content": "That's the \"standard model of PA from the point of view of ZFC\".\n\nI can also define the standard model of PA from the point of view of MLTT, or from the point of view of HoTT/UF.\n\nOr from the point of view of my informal mathematics.\n\nDo we really think we know what \"the\" standard model is?\n\nnostr:npub1thqhwm79yq74s0w4dc4et4j6pmnejwq23trt3jcff5tvz6c0n09saz5378", "sig": "b88b8abb31ccee62c7177b81f33528ae384cca85ed64f370c153def8c2a749804c9761d25591b1768ea862a9d9974c208c6a8aed10a6f5317fe31849e76740bd" }

Martin Escardo on Nostr: That's the "standard model of PA from the point of view of ZFC". I can also define ...