2,700 reputation
920
bio website matematicas.uniandes.edu.co/…
location Universidad de los Andes, Bogotá, Colombia
age 34
visits member for 4 years, 11 months
seen Sep 2 at 19:10

Aug
13
comment Countable model theory for $\omega$-stable theories?
Have you thought about "eni-nmd", that is, any eventually nonisolated type is nonorthogonal to the emptyset?
Aug
13
answered Countable model theory for $\omega$-stable theories?
Nov
20
awarded  Guru
Oct
8
awarded  Yearling
Jun
25
awarded  lo.logic
Jun
25
awarded  Citizen Patrol
Oct
12
awarded  Good Answer
Oct
8
awarded  Yearling
Aug
28
awarded  Nice Answer
Aug
10
awarded  Good Answer
Apr
20
awarded  Nice Answer
Oct
9
awarded  Yearling
Aug
30
awarded  Enlightened
Aug
30
awarded  Nice Answer
Aug
21
awarded  Good Answer
Oct
9
awarded  Yearling
Oct
4
comment When does Cantor-Bernstein hold?
@Diego: Offhand, I don't know of a "categorical" proof of the Myhill isomorphism theorem, whatever this would mean (I'm not saying that there isn't one, but I don't know of one). To be clear, I didn't mean that "classifiability by a bounded set of cardinal invariants" is necessary to have S-B in your category, just that it is (with a suitable interpretation of the terms) a sufficient condition for S-B.
Sep
18
comment Heuristic argument that finite simple groups _ought_ to be “classifiable”?
@Andrés: I wonder if anyone has defined an easy-to-classify/hard-to-classify boundary for axiomatizable classes of finite structures? I can't recall hearing about such a thing, but it could be interesting if it exists.
Sep
17
comment Is the sphere the only surface all of whose projections are circles? Or: Can we deduce a spherical Earth by observing that its shadows on the Moon are always circular?
And I guess this argument generalizes to n-dimensional projections of convex (n+1)-dimensional objects when n is at least 2?
Sep
17
answered Heuristic argument that finite simple groups _ought_ to be “classifiable”?