@christian_reo29 @kalenpw one of the 3ds fire emblems doesn't have durability, and it fucking blows. Terrible unfun way to do things.

@kalenpw unnecessary BotW slander

@nilesjohnson bit of both, tbh

In an effort to minimize spamming people's timelines with shit they don't care about, I made a separate account for mathsposting, reserving this one for other interests. If that's why you followed me, go follow @kameryn@mathstodon.xyz

https://mathstodon.xyz/@kameryn

@sakaefuchino "countably" doing all the heavy lifting in that sentence...

A small survey I wrote on reflection principles in second-order arithmetic is now online. I’ll write a toot sketching _what_ are these reflection principles tonight.

https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2228-07.pdf

#Logic #ReverseMathematics

I will not stop calling toots toots and I will not edit my toots. This is my mastodon promise.

@AndresCaicedo as best I can tell, they mean the US system where students have to obtain educational certificates, many at the cost of significant debt, to have a shot at a good job.

Some googling reveals that the names at the top of the essay are almost certainly pseudonyms, but I'm curious about the makeup of their students. I know others associated with the JMC group that published this (a group that overall I think is good!) and they're at reasonably fancy places. Are these authors also teaching students at competitive, prestigious institutions? Seems reasonably likely.

Found an essay that describes students cheating on exams as "mutual aid" and "a subversive protest".

https://justmathematicscollective.net/cheating.pdf

@AndresCaicedo i am posting FOM mailing list quotes

@ereliuer_eteer as I phrased it, yes. But you can avoid that by defining omega as a class—possibly a proper class if the infinity axiom fails—e.g. as the class of all ordinals which aren't limits and don't contain any limit ordinals

Furthermore, at least so far, category theory hasn't even been useful for ANY of our dramatic foundational revelations. The really useful tool for uncovering the dramatic foundational revelations has always been through the usual standard classical set theoretic foundations.

@ereliuer_eteer bijective with an element of omega (= the least inductive set)

@littmath see @logicbot

#mathematics #MathFact #NumberTheory #ShiverInEctasy

Having been here since 2016, I can tell you there is definitely no such thing as a consensus on usage of content warnings on the fediverse. It's a decentralized network that doesn't belong to any one party, so by definition there is no single culture on it. Different corners have different expectations and customs.

@kalenpw @logicbot honestly mastodon needs a mute feature. #1 twitter feature you can't get here.