Ur Ya'ar<p>"For those who have not succumbed to the fatal allure of iterated ultrapowers..."<br />- Silver, Some applications of model theory in set theory</p><p><a href="https://mathstodon.xyz/tags/MathQuote" class="mention hashtag" rel="tag">#<span>MathQuote</span></a> <a href="https://mathstodon.xyz/tags/ultrapowers" class="mention hashtag" rel="tag">#<span>ultrapowers</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.7Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#mathquote
0 posts · 0 participants · 0 posts today
Ur Ya'ar<p>"Infinite pictures are more difficult to draw than finite pictures"<br />- Enderton, Elements of set theory.</p><p><a href="https://mathstodon.xyz/tags/MathQuote" class="mention hashtag" rel="tag">#<span>MathQuote</span></a> <a href="https://mathstodon.xyz/tags/infinity" class="mention hashtag" rel="tag">#<span>infinity</span></a></p>
Ur Ya'ar<p>"We have been studying mice in the abstract, but we have yet to produce any! In this section we shall describe a certain family of mouse constructions which we call, for obscure reasons, 𝐾ᶜ-constructions."</p><p>− Steel, An outline of inner model theory</p><p><a href="https://mathstodon.xyz/tags/MathQuote" class="mention hashtag" rel="tag">#<span>MathQuote</span></a> <a href="https://mathstodon.xyz/tags/SetTheory" class="mention hashtag" rel="tag">#<span>SetTheory</span></a> <a href="https://mathstodon.xyz/tags/mice" class="mention hashtag" rel="tag">#<span>mice</span></a> <a href="https://mathstodon.xyz/tags/InnerModels" class="mention hashtag" rel="tag">#<span>InnerModels</span></a></p>
Ur Ya'ar<p>Math quote of the day:</p><p>"In this section (waving our hands even harder) we extend the previous construction..."</p><p>- Uri Abraham and Saharon Shelah, A Δ²₂ well-order of the reals and incompactness of L(𝑄ᴹᴹ) </p><p><a href="https://mathstodon.xyz/tags/mathquote" class="mention hashtag" rel="tag">#<span>mathquote</span></a> <a href="https://mathstodon.xyz/tags/SetTheory" class="mention hashtag" rel="tag">#<span>SetTheory</span></a> <a href="https://mathstodon.xyz/tags/handwaving" class="mention hashtag" rel="tag">#<span>handwaving</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload