112

Questions
votes newest views recent
5
6
votes
3
answers
475
views

What assumptions and methodology do metaproofs of logic theorems use and employ?

jan 13 10 at 13:13 Charles Stewart 1,669●9●15

1
6
votes
1
answer
410
views

Generalizing cosine rule to symmetric spaces

mar 23 10 at 9:01 David Bar Moshe 2,968●6●7

5
5
votes
4
answers
718
views

Is the theory of incidence geometry complete?

dec 19 09 at 12:28 Nikolai Mnev 414●1●6

4
5
votes
3
answers
1k
views

What is the reverse mathematics of first-order logic and propositional logic?

may 16 10 at 12:32 Joel David Hamkins 76.8k●8●192●355

1
5
votes
2
answers
555
views

Embedding Theorem for big line bundles

may 27 11 at 18:34 Sándor Kovács 23.8k●2●53●73

1
5
votes
3
answers
200
views

Are there projective version of real Positivstellensatz?

oct 28 10 at 19:46 Andreas Thom 13.1k●1●23●65

1
5
votes
0
answers
283
views

Can we write unitary matrices as positive linear combinations of Hermitian matrices?

dec 16 10 at 11:28 Colin Tan 4,231●13●43

2
5
votes
0
answers
180
views

Left adjoints to several inclusions of homotopy simplicial model categories

nov 16 11 at 4:27 Colin Tan 4,231●13●43

2
5
votes
1
answer
404
views

Is the category of metric spaces and continuous maps Quillen equivalent to Top?

feb 3 12 at 14:37 Colin Tan 4,231●13●43

1
5
votes
1
answer
520
views

Convex Analytic or linear algebraic proof that a certain psd matrix is a sum of rank 1 psd matrices

oct 11 11 at 3:36 Colin Tan 4,231●13●43

prev 1 2 3 4 5 … 12 next