Nate Ackerman's user avatar
Nate Ackerman's user avatar
Nate Ackerman's user avatar
Nate Ackerman
  • Member for 13 years, 8 months
  • Last seen more than a week ago
  • Cambridge, MA USA
18 votes

Fixed point theorems

15 votes

Topological spaces determined by generalized metric spaces

12 votes

Application of Fraïssé construction in set theory

10 votes

Fixed point theorems

9 votes

Category of Gödel Codings? [Reference Request]

9 votes
Accepted

Reverse Skolem's paradox

7 votes

Applications of forcing in model theory

6 votes
Accepted

Searching for $C^*$

4 votes

Model existence theorem in topos theory

4 votes
Accepted

Barwise compactness theorem

4 votes

What are the most attractive Turing undecidable problems in mathematics?

3 votes

irregular pairs in half graphs - Szemeredi regularity

2 votes

Proofs that require fundamentally new ways of thinking

2 votes

Sketches for categories of models of complete theories

1 vote

Higher categorical analogue of concreteness

1 vote

Proper class forcing vs forcing with a set of conditions bigger than one's model