Reputation
5,108
Next privilege 10,000 Rep.
Access moderator tools
Badges
2 24 70
Impact
~169k people reached

Dec
10
revised Are free modules injective?
added 229 characters in body
Dec
10
answered Are free modules injective?
Dec
10
awarded  Benefactor
Dec
10
comment Is the axiom of universes 'harmless'?
This answer is very interesting as a comment: since the bounty is coming to an end, I will award it to you. I do not consider it really answers the question, as you point out in the first paragraph yourself, hence I will still leave this question without a checkmark.
Dec
9
comment Is the axiom of universes 'harmless'?
@Asaf: The bounty expires soon. Perhaps you have something relevant to say about this question?
Dec
9
awarded  Disciplined
Dec
9
comment “Submissions in TeX”
I think the answer to the question would depend on the journal... Why don't you ask them?
Dec
8
comment Is the axiom of universes 'harmless'?
... metamathematically and heuristically about the boundaries of the consequences of this axiom. I know this may all be a bit too fuzzy; I'm sorry I can't be more precise, but I lack a more profound set theory formation to be able to formulate the question more precisely. To conclude, anything there is to be said that is related to the concerns expressed in the OP and in these comments, will surely be welcome :)
Dec
8
comment Is the axiom of universes 'harmless'?
@AsafKaragila: I agree the question, as stated, may be a little bit broad. Of course, we will never be able to list all consequences of the axiom of universes. However, surely some of them must be known. Now, I know that the consequences necessarily will have to do with cardinality issues, and probably a plethora of consequences are known in the realm of set theory; I ask what are the consequences outside the set theory concerned with large cardinal axioms, and what are the consequences in the rest of mathematics. More ambitiously, perhaps something can be said (continues)...
Nov
26
comment Motivation behind the definition of GCD and LCM
With this definition, gcd and lcm are pullback and pushout, if you see $\mathbb{Z}$ as a category where $m\to n \iff m\mid n$ (every preorder is a category in this way). See en.wikipedia.org/wiki/Pullback_(category_theory). I don't think this is why this definition is preferred, but some (such as myself) find definitions that are categorical quite satisfying.
Nov
13
comment Is there any difference between a math invention and a math discovery?
Related: math.stackexchange.com/questions/47656/…
Nov
12
accepted A ring with IBN which admits a free module with a generator with less elements than a basis
Nov
10
comment A ring with IBN which admits a free module with a generator with less elements than a basis
@Mariano: Oh, I may have heard about them in Córdoba, in any case ;) A lot of things flew over my head there, unfortunately!
Nov
9
comment A ring with IBN which admits a free module with a generator with less elements than a basis
@t.b. There it is, in page 11! Great. As expected, the example is quite nasty :) Thank you once again, Theo. You can perfectly post is as an answer, I'll accept it if in a safe time from now no one offers another (perhaps simpler?) example.
Nov
9
comment Cardinality of a minimal generating set is the cardinality of a basis
Georges: just to let you know, here's a followup to this question, math.stackexchange.com/questions/80658/…
Nov
9
asked A ring with IBN which admits a free module with a generator with less elements than a basis
Nov
9
accepted Cardinality of a minimal generating set is the cardinality of a basis
Nov
9
comment Differential forms on fuzzy manifolds
This question should be more upvoted: what a great amount of detail and information! Reading this question is interesting in itself.
Nov
7
comment Cardinality of a minimal generating set is the cardinality of a basis
Georges' answer below made me realize that giving a generator with $s$ elements of a module $M$ is the same as giving an epimorphism $R^s\to M\to 0$. In light of this, my question is actually this one: math.stackexchange.com/questions/20178/… ! Because of the different formulation, I hadn't found it before asking the question; I wouldn't have asked the question if I had ;P
Nov
7
comment Cardinality of a minimal generating set is the cardinality of a basis
Great! Yes, I'm aware of the restriction-extension of scalars constructions, but I'm not yet familiar with their applications. What an useful and elegant application! Thank you once again.