Reputation
4,795
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
2 10 26
Newest
 Yearling
Impact
~44k people reached

Apr
30
revised Closed Subset of Connected Space with Boundary a Single Point is Connected
deleted 69 characters in body
Apr
29
accepted Is BPIT equivalent to some ordering principle?
Apr
29
comment Is BPIT equivalent to some ordering principle?
I know that you are plenty of "MSECoins", but if you put this as an answer, I will gladly accept it.
Apr
29
comment Is BPIT equivalent to some ordering principle?
@AsafKaragila It was, thanks. The author of the paper in the reference is working under $\mathsf{ZF+BPIT}$, though, so I think that this doesn't answer my question exactly.
Apr
29
revised Is BPIT equivalent to some ordering principle?
added 26 characters in body; edited title
Apr
28
comment Is BPIT equivalent to some ordering principle?
@AsafKaragila Believe me, I did my homework, and searched thoroughly across the questions involving $\mathsf{BPIT}$. I will wait, though, thanks!
Apr
28
reviewed Approve In classical logic ~~p -> p? Intuitionistic?
Apr
28
asked Is BPIT equivalent to some ordering principle?
Apr
28
reviewed Approve Difficulty in Laurent series
Apr
27
comment Godel's completeness theorem and formula that states consistency of ZF
@AsafKaragila Next time just search "motorhead" in, say, Wikipedia, copy, and paste!
Apr
27
comment iterative conception of set --> axiom of regularity
Paragraphing is welcomed on MSE.
Apr
26
comment Classification of prime ideals of $\mathbb{Z}[X]$
@ArturoMagidin Do you mean that the result continues to hold for UFDs but the proof is harder, or that the result is no longer true in its full extent? A reference is welcomed, thanks!
Apr
26
reviewed Approve Is there some geometric intuition for the quotient $G/Z(G)$, where $G=GL_n(\mathbb{R})$?
Apr
26
reviewed Approve Big O Notation asymptotic relationship
Apr
26
comment When does the modular law apply to ideals in a commutative ring
I want to point out that rings (not necessarily domains) satisfying the condition stated by the OP are called arithmetical.
Apr
23
comment Groups of cardinality greater than the continuum
Yes, yes... a little bit harder.
Apr
17
comment Giving a specific example of a positive sequence increasing to 1 and with its partial products having a positive limit
@R.. I partially (and humbly ;-) ) disagree: I put my remark as a commentary because I think that previous, explicit answers, were worthy as well. Thanks anyway.
Apr
17
comment Giving a specific example of a positive sequence increasing to 1 and with its partial products having a positive limit
By working with $b_n=\log a_n$, your problem is equivalent to construct a increasing sequence $(b_n)$ of negative real numbers converging to $0$ such that the series $\sum b_n$ converges, which is in turn equivalent (via $c_n=-b_n$) to construct a convergent series $\sum c_n$ with $(c_n)$ decreasing..
Apr
17
reviewed Approve How to show $P_U $ is linear for the following condition?
Apr
17
reviewed Approve How do I find arc length using the trapezoid rule?