Skip to main content
16 events
when toggle format what by license comment
Nov 24, 2023 at 13:31 history edited Martin Brandenburg CC BY-SA 4.0
deleted 3 characters in body
Feb 22, 2022 at 19:01 answer added Taras Banakh timeline score: 8
Dec 12, 2021 at 18:14 comment added Kevin Buzzard There is a sense in which most real numbers are the same -- noncomputable and "random". However the reals have trivial automorphism group. Perhaps the same is going on here.
Dec 11, 2021 at 20:46 vote accept Squala
Dec 11, 2021 at 2:44 history edited LSpice CC BY-SA 4.0
Capitalise title, and other minor proofreading
Dec 11, 2021 at 2:37 answer added markvs timeline score: 10
Dec 10, 2021 at 20:59 history became hot network question
Dec 10, 2021 at 17:36 comment added YCor @NoahSchweber well, it's misleading if you ignore the "point" aspect. I believe one should have both aspects in mind. I still view, in this context, points to lie one level "deeper" than clopen subsets (= points in the corresponding BA).
Dec 10, 2021 at 16:27 comment added Noah Schweber @YCor While technically true, I think that's highly misleading in this context since (even ignoring "pure" questions) there are important applications of "special" ultrafilters.
Dec 10, 2021 at 15:07 comment added YCor I'd say yes in the following sense: for many "usual" proofs on ultrafilters, we often say "there is one nonprincipal ultrafilter such that", but one could say: "there is a nonempty clopen subset of the set of nonprincipal ultrafilters such that". And indeed, the action of the symmetric group on the set of nonempty proper clopen subsets of the space of nonprincipal ultrafilters is transitive.
Dec 10, 2021 at 13:51 answer added Will Brian timeline score: 39
Dec 10, 2021 at 13:38 comment added Asaf Karagila In some sense? Sure. All free ultrafilters on $\Bbb N$ have the same cardinality.
Dec 10, 2021 at 13:38 comment added Wojowu The action of homeomorphisms on $\beta\mathbb N$ is far from transitive. Indeed, the isolated points of this space are precisely the principal ultrafilters, and they form a dense subspace, so the homeomorphism group is in bijection with permutations of $\mathbb N$ - meaning two ultrafilters are in the same orbit iff they are isomorphic (per the definition in your first paragraph).
Dec 10, 2021 at 13:04 comment added Benjamin Steinberg $\beta \mathbb N$ has the structure of as compact right semitopological semigroup. The property of an ultrafilter being idempotent or a minimal idempotent is important in applications to Ramsey theory.
S Dec 10, 2021 at 12:58 review First questions
Dec 10, 2021 at 13:18
S Dec 10, 2021 at 12:58 history asked Squala CC BY-SA 4.0