6

Questions

votes newest views recent

1

11

votes

5

answers

1k

views

Consistency strength needed for applied mathematics

math-philosophy lo.logic metamathematics reverse-math

may 22 at 11:57 Waldemar 189●4

1

8

votes

2

answers

645

views

Higher-order axiomatisations of Euclidean Geometry?

lo.logic mg.metric-geometry

feb 12 11 at 2:49 none 1●1

5

votes

2

answers

374

views

Connection between the axiom of universes and Tarski’s axiom

set-theory

jun 16 10 at 15:43 Joel David Hamkins 76.8k●8●192●355

3

votes

2

answers

542

views

Looking for a complete exposition of the Burali-Forti paradox

set-theory lo.logic

nov 29 10 at 15:30 Marcos Cramer 324●2●10

3

votes

2

answers

4k

views

Simple bijection between reals and sets of natural numbers

set-theory examples

feb 25 11 at 16:01 Timothy Chow 15.2k●1●70●139

1

1

vote

4

answers

337

views

Recovering a function from a set of approximations

mathematical-modeling pr.probability st.statistics

sep 15 11 at 21:22 MathOverflow♦ 1●2●3