John Goodrick's user avatar
John Goodrick's user avatar
John Goodrick's user avatar
John Goodrick
  • Member for 14 years, 5 months
  • Last seen more than 2 years ago
81 votes
Accepted

When does Cantor-Bernstein hold?

70 votes

Most interesting mathematics mistake?

56 votes

Most interesting mathematics mistake?

35 votes
Accepted

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

17 votes

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

15 votes
Accepted

Alternative axiom to induction

12 votes

Pedagogical question about linear algebra

12 votes

Geometric flavored textbook on algebra

12 votes

A few questions on model theory, especially model theory of rings

11 votes
Accepted

Elements of infinite order in a profinite group

11 votes

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

10 votes

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

10 votes

Which graphs are elementarily equivalent to their own disjoint sums?

9 votes

Algebraically closed fields of positive characteristic

9 votes

What is a logic?

8 votes

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

7 votes

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

7 votes

Three questions on large simple groups and model theory

7 votes

Choice vs. countable choice

7 votes
Accepted

Model theory stressing order type of universe.

7 votes

What is lambda calculus related to?

6 votes

What do models where the CH is false look like?

6 votes

What is the general opinion on the Generalized Continuum Hypothesis?

6 votes

Are there nonequivalent randomnesses?

5 votes

Isomorphism types or structure theory for nonstandard analysis

5 votes

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

5 votes

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

4 votes
Accepted

a general theory of configurations?

4 votes

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

4 votes

Complete extensions of first order logic (or language)