1,329 reputation
416
bio website mathematics21.org
location
age
visits member for 3 years, 8 months
seen 28 mins ago

An amateur general topology researcher.


Jun
20
comment Writing a chain of implications in English
Saying it one time wouldn't insult. But I want to repeat it in many (maybe around 50, I haven't calculated) theorems in the book I write. Repeating this phrase every time would be not good
Jun
20
comment Writing a chain of implications in English
@SantiagoCanez: If I break my theorem into multiple ones, the reader would need to check that the result $B$ in the first theorem is the same as condition $B$ in the second theorem. $B$ may be a complex expression and I do not want to force the reader to compare two instances of $B$ to be sure they are the same
Jun
20
comment Writing a chain of implications in English
@SantiagoCanez: I mean $(A \Rightarrow B) \wedge (B \Rightarrow C) \wedge (C \Rightarrow D)$. I don't want to break the theorem into pieces, it is the reason why I ask about this
Jun
20
comment Writing a chain of implications in English
I was suggested "Consider the following assertions. (Statements of (a)...(d)) Then the implications (a) => (b) => (c) => (d) hold."
Jun
20
asked Writing a chain of implications in English
Jun
10
asked Quantifiers bind tightly?
May
27
comment Choosing from two index families of sets
I've solved it positively. My proof uses somehow advanced operations on filters. The proof is in mathematics21.org/binaries/staroids2.pdf
May
26
asked Choosing from two index families of sets
May
1
comment One more question about filters
I've proved it. See this draft: mathematics21.org/binaries/staroids2.pdf
May
1
comment One more question about filters
@AsafKaragila: See the note added at the bottom of the question.
May
1
revised One more question about filters
added 231 characters in body
May
1
asked One more question about filters
Apr
30
comment A question about filters on a set
I've proved this theorem myself. See mathematics21.org/binaries/staroids2.pdf draft for a proof
Apr
30
revised A question about filters on a set
added 26 characters in body
Apr
30
revised A question about filters on a set
added 317 characters in body
Apr
30
asked A question about filters on a set
Apr
26
comment Random matrices in coordinate independent way
It may be made independent of swapping any two unit vectors, simply by random shuffling of all unit vectors, before applying a transformation
Apr
25
comment Random matrices in coordinate independent way
It should work, but this algorithm is SLOW. Can you help to make it faster?
Apr
25
revised Random matrices in coordinate independent way
added 32 characters in body
Apr
25
revised Random matrices in coordinate independent way
added 13 characters in body