7

Answers

votes newest views recent

11

Fixed point theorems (2)

4

Barwise compactness theorem

1

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

1

Higher categorical analogue of concreteness

9

Topological spaces determined by generalized metric spaces

2

What are the most attractive Turing undecidable problems in mathematics?

2

Proofs that require fundamentally new ways of thinking