User John Goodrick - MathOverflow

John Goodrick

Member for 14 years, 6 months
Last seen more than 2 years ago

matematicas.uniandes.edu.co/…
Universidad de los Andes, Bogotá, Colombia

39 Answers

Score Activity Newest

4 votes

Accepted

Examples of NIP fields of characteristic $p$

answered Feb 29, 2016 at 19:26

2 votes

Countable model theory for $\omega$-stable theories?

answered Aug 13, 2014 at 19:47

17 votes

Heuristic argument that finite simple groups _ought_ to be "classifiable"?

answered Sep 17, 2010 at 16:49

10 votes

Which graphs are elementarily equivalent to their own disjoint sums?

answered Sep 1, 2010 at 15:31

7 votes

Accepted

Model theory stressing order type of universe.

answered Aug 18, 2010 at 19:57

4 votes

Complete extensions of first order logic (or language)

answered Aug 3, 2010 at 18:26

7 votes

Three questions on large simple groups and model theory

answered Jul 27, 2010 at 3:36

12 votes

Geometric flavored textbook on algebra

answered Jul 27, 2010 at 2:21

6 votes

Choice vs. countable choice

answered Apr 29, 2010 at 15:22

3 votes

Accepted

Where's the notion of interpretation (model) originally introduced?

answered Mar 7, 2010 at 21:44

6 votes

Are there nonequivalent randomnesses?

answered Feb 10, 2010 at 1:33

6 votes

What is the general opinion on the Generalized Continuum Hypothesis?

answered Feb 6, 2010 at 21:25

4 votes

Can we recognize when a category is equivalent to the category of models of a first order theory?

answered Jan 28, 2010 at 18:27

5 votes

Can infinite first-order categories be specified other than as categories of models?

answered Jan 27, 2010 at 15:45

5 votes

Isomorphism types or structure theory for nonstandard analysis

answered Jan 5, 2010 at 21:33

8 votes

What are some results in mathematics that have snappy proofs using model theory?

answered Dec 25, 2009 at 0:01

7 votes

What are some results in mathematics that have snappy proofs using model theory?

answered Dec 24, 2009 at 19:27

12 votes

Pedagogical question about linear algebra

answered Dec 20, 2009 at 18:32

3 votes

Categorification of logic

answered Dec 18, 2009 at 22:18

9 votes

What is a logic?

answered Dec 14, 2009 at 20:32

15 votes

Accepted

Alternative axiom to induction

answered Dec 14, 2009 at 1:29

1 vote

Tropicalizing the learning

answered Dec 3, 2009 at 16:37

2 votes

A problem of an infinite number of balls and an urn

answered Nov 29, 2009 at 0:52

35 votes

Accepted

Model theoretic applications to algebra and number theory(Iwasawa Theory)

answered Nov 29, 2009 at 0:37

3 votes

How to respond to "I was never much good at maths at school."

answered Nov 13, 2009 at 15:04

3 votes

Independence from Set Theory Axioms

answered Nov 11, 2009 at 6:02

5 votes

How does one identify properties of objects with good "inheritance"?

answered Nov 10, 2009 at 14:38

11 votes

What are some reasonable-sounding statements that are independent of ZFC?

answered Nov 6, 2009 at 15:21

10 votes

Where are some interesting places where the axiom of choice crops up in category theory?

answered Oct 31, 2009 at 16:29

9 votes

Algebraically closed fields of positive characteristic

answered Oct 31, 2009 at 15:44

1