7

Answers

votes newest views recent

11

Fixed point theorems (2)

9

Topological spaces determined by generalized metric spaces

4

Barwise compactness theorem

2

What are the most attractive Turing undecidable problems in mathematics?

2

Proofs that require fundamentally new ways of thinking

1

Higher categorical analogue of concreteness

1

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