Unterlogiker: ‘In logic, there are morals.’ Überlogiker: ‘Hail Gödelian immoralism!’
Arithmetisation of syntax is usually realised through Gödel-encoding with prime factorisation, but it’s more complicated within PA. Try to think of a way to express ‘the exponent of prime p in factorisation of n is k’ as a predicate with three variables (p,n,k) in PA’s language.
Y’all hoes know damn well that spehs like Mozart n’ Scriabin ain’t stand no chance against ts musical masterpiece right here. #WeTheHiHatGODS
Another interpretation of this is that the space Sₖ(Γ₁(N)) has an action of Γ₀(N)/Γ₁(N) ≃ (ℤ/Nℤ)^× on it, which turns it into a ℂ[(ℤ/Nℤ)^×]-module, and Sₖ(N, χ) is just the χ-eigenspace of Sₖ(Γ₁(N)). This same construction frequently appears in Iwasawa theory.
![ModalMetamodel's tweet image. Another interpretation of this is that the space Sₖ(Γ₁(N)) has an action of Γ₀(N)/Γ₁(N) ≃ (ℤ/Nℤ)^× on it, which turns it into a ℂ[(ℤ/Nℤ)^×]-module, and Sₖ(N, χ) is just the χ-eigenspace of Sₖ(Γ₁(N)). This same construction frequently appears in Iwasawa theory.](https://pbs.twimg.com/media/G3A7P16bwAUHnLH.jpg)
Them hoes was tryna figure out if erry compact Hausdorff space wit at least two points and no isolated points got a cardinality of at least 2^ℵ₀. 😸😸😸
X here is externally uninhabited since no ᾶ ∈ ῶ₁ exists such that the truth value of ᾶ ∈ X is all of 2^ℕ, but it’s also uncountable in the sense that the truth value of ‘for any sequence (xᵢ)_{i< ω} of X’s elements, ∃x ∈ X such that ∀i < ω, xᵢ ≠ x’ is all of 2^ℕ.
There’s a subtlety here. Usually, x ∪ {x} is assured to be a different set from x, and iterating this yields a sequence of distinct sets, which isn’t automatically true in ZF⁻, but you can show that the function S(x) = x ∪ {{y ∈ x : y ∉ y}} has this property even in ZF⁻!
Get that musty ass yt people (sped) music outta here and play some All Red instead.
United States Trends
- 1. Westbrook 11.5K posts
- 2. Rickey 1,721 posts
- 3. Gold Glove 6,546 posts
- 4. Kings 138K posts
- 5. Big Balls 13.1K posts
- 6. #wednesdaymotivation 8,823 posts
- 7. Veo 3.1 3,410 posts
- 8. Jay Jones 66.4K posts
- 9. Maybe in California N/A
- 10. Meyers 1,659 posts
- 11. Noah Brown N/A
- 12. Young Republicans 133K posts
- 13. Voting Rights Act 17.4K posts
- 14. Brodie 4,144 posts
- 15. Lavine N/A
- 16. Justice Jackson 6,098 posts
- 17. Jared Leto 7,782 posts
- 18. Bessent 72.9K posts
- 19. Summer Walker 4,084 posts
- 20. Vision Pro 5,223 posts
Something went wrong.
Something went wrong.