2,720 reputation
1120
bio website matematicas.uniandes.edu.co/…
location Universidad de los Andes, Bogotá, Colombia
age 35
visits member for 5 years
seen Oct 8 at 16:03

Oct
15
awarded  Good Answer
Oct
8
awarded  Yearling
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.