4

Questions
votes newest views recent
3
9
votes
1
answer
547
views

Is an ultrafinitist Hilbert’s program doomed?

jan 30 at 19:08 abo 689●1●2●6

3
12
votes
1
answer
433
views

Can FPA really prove its consistency?

jan 29 at 16:23 Emil Jeřábek 10.7k●1●24●41

2
4
votes
3
answers
385
views

Provability in Second-Order Arithmetic without the Successor Axiom

jan 28 at 14:57 Emil Jeřábek 10.7k●1●24●41

2
5
votes
2
answers
299
views

First-order vs second-order provability

jan 24 at 12:54 Carl Mummert 4,838●1●15●27