39,725 reputation
247119
bio website
location
age
visits member for 3 years, 11 months
seen 1 hour ago

Dec
14
answered Satisfaction in models of non-sentences?
Dec
13
answered Set of generators in an abelian category - two definitions
Dec
13
answered Show there exists a finite flat morphism
Dec
11
answered How to characterize categories which their only isomorphisms are identities?
Dec
11
answered Automorphism of an elementary extension of a structure that moves an undefinable element
Dec
10
answered Good references for stacks
Dec
9
answered Why must we distinguish between rational and irrational numbers?
Dec
9
answered Inductive vs projective limit of sequence of split surjections
Dec
9
asked Model existence for infinitary logics
Dec
8
answered Help with a logic question
Dec
8
answered Does elementary embedding exist between two elementary equivalent structures?
Dec
7
answered Why isn't the covariant powerset functor representable?
Dec
7
asked Automorphisms of saturated models
Dec
6
answered Tautological 1-form on the cotangent bundle
Dec
3
answered Relation between algebraic geometry over a field of characteristic $0$ and that over $\mathbb{C}$
Dec
3
answered What fragment of ZFC do we need to prove Zorn's lemma?
Nov
30
asked Is there a classifying space for covering maps?
Nov
29
answered For a finitely generated abelian group are the homomorphisms into the integers finitely generated
Nov
28
asked What fragment of ZFC do we need to prove Zorn's lemma?
Nov
28
answered “The purpose of being categorical is to make that which is formal, formally formal” what does it mean?