# -

Finished the lemma.
New result today: there does exist a space first-countable
and sigma-ss, with no isolated points which is -not- accumulating.
First choose a maximal collection S of pairwise eventually distinct
sequences in N. Then take the usual "big grid" of (n,m) and (n,oo)
for n,m \in N. Add to it (as points) all the sequences in S.
if (s_n)_{n\in N} is a sequence in S, then the open sets containing
s are defined to be { (n,s_n) | n >= p } u { s } for all p \in N.
This space is first-countable and sigma-ss, and we can replace (n,m)
each with copies of R to prevent isolated points. Yet it is still
not accumulating, since nothing can accumulate to { (n,oo) | n \in N }
without containing some set lie { (n,t_n) | n \in N } which is cofinally
coincident with some s \in S, (do not be so would contradict maximality
of S) and so has s as an accumulation point also.
• #### (no subject)

A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf

• #### (no subject)

Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…

• #### (no subject)

Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic