- I recommend
Stanley Burris and Karen Yeats, The Saga of the High School Identities. Algebra Universalis, 52 nos.2-3 (2005), 325-342. https://people.math.sfu.ca/~kya17/papers/saga_paper4.pdf
Your browser may give you a warning due to an expired certificate or something.
If you want some cosmic pessimism, try:
R. Gurevic, Equational theory of positive numbers with exponentiation is not finitely
axiomatizable. Annal of Pure and Applied Logic 49 (1990), 1–30. https://www.jstor.org/stable/2044966
John Carlos Baez
npub1nf…3nqe4
2026-08-12 07:21:15 UTC
in reply to nevent1q…ufaw
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-08-12 07:21:15 UTCEvent JSON
{
"id": "ad87898fd5cdbcb1adadb10922f6d59f92baf17811682c6a734b23c12a4dcd01",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1786519275,
"kind": 1,
"tags": [
[
"e",
"025dc4d7208b12fbfe1c6abfcee31eb62ff373c6d2b5f793f0d0a559be9873ed",
"",
"reply",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117081327255158965",
"web"
],
[
"e",
"1d6349fc39244bb0853edccc74e127084cf774e032c6f9ff709d1cc5f423b2a5",
"",
"root",
"fe443777c06c92e9a417273601d7d320e0ac798e554276b407e7053f0fdcb178"
],
[
"p",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"p",
"75c7d1f69389e4c76276bb851aea7f54265d145c7a39678589cfd62ce26ae9b3"
],
[
"p",
"fe443777c06c92e9a417273601d7d320e0ac798e554276b407e7053f0fdcb178"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117081327255158965",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117081327255158965",
"pink.momostr"
],
[
"-"
]
],
"content": "- I recommend\n\nStanley Burris and Karen Yeats, The Saga of the High School Identities. Algebra Universalis, 52 nos.2-3 (2005), 325-342. https://people.math.sfu.ca/~kya17/papers/saga_paper4.pdf\n\nYour browser may give you a warning due to an expired certificate or something.\n\nIf you want some cosmic pessimism, try:\n\nR. Gurevic, Equational theory of positive numbers with exponentiation is not finitely\naxiomatizable. Annal of Pure and Applied Logic 49 (1990), 1–30. https://www.jstor.org/stable/2044966",
"sig": "0b1fa9f6258b8a05faedbc0645a0a53b5769e1eed98c1796946e5ea7df94cd5812bea7e9c1dbe00768d8997c13c3d1aa6c52e9edca86fad9718594aa33130184"
}