Timeline for What's a generic integer?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2021 at 2:35 | comment | added | Bjørn Kjos-Hanssen | Comeager = residual (which would then be a very evocative name here) | |
| Dec 6, 2021 at 0:12 | comment | added | Bjørn Kjos-Hanssen | @KConrad perhaps my definition is equivalent to "comeager under the profinite topology". | |
| Dec 5, 2021 at 23:49 | comment | added | Bjørn Kjos-Hanssen | @KConrad thanks for the comment. $m$ is such that $[b]_m\subseteq [a]_n$ which implies that $n$ divides $m$, I guess. | |
| Dec 5, 2021 at 22:47 | comment | added | KConrad | You don't say what $m$ is. If you would replace whole residue classes $[b]_m$ in your definition by individual integers $b$ in $[a]_n \cap D$ then $D$ would be a dense subset of $\mathbf Z$ for the profinite topology. | |
| Dec 5, 2021 at 22:38 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
edited title
|
| Dec 5, 2021 at 17:55 | history | asked | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |