25

Questions
votes newest views recent
3
6
votes
8
answers
1k
views

ULTRAINFINITISM, or a step beyond the transfinite

jul 2 at 6:05 David Roberts 11.9k●2●18●56

2
6
votes
4
answers
624
views

Is there a sense in which the homotopy theory of simplicial sets is the “paradigmatic” one?

jul 20 at 9:11 Tim Porter 3,805●6●14

2
5
votes
2
answers
810
views

Set Theory inside Arithmetics via the Ackermann Yoga

jun 7 11 at 17:03 Ali Enayat 4,459●1●9●23

8
5
votes
1
answer
561
views

First Quantization is a mystery… but de-quantizing perhaps not

jun 10 11 at 18:46 Greg Graviton 758●1●4●10

1
5
votes
1
answer
323
views

Resources-Aware Combinatorial Game Theory

jul 14 at 16:27 Lorenzo Lami 51●7

1
4
votes
2
answers
617
views

Large cardinals without the ambient set theory?

aug 24 at 15:32 Peter LeFanu Lumsdaine 2,692●9●20

 
4
votes
2
answers
405
views

Is the Mostowski collapse natural?

jul 22 at 12:58 Emil Jeřábek 10.8k●1●27●42

1
3
votes
1
answer
348
views

How much does a quantum oracle to find a needle in a haystack really cost?

aug 9 at 15:44 Robin Kothari 918●4●11

 
3
votes
1
answer
272
views

Godel 's Ladder: Undecidable PI_N sentences for N =2, 3, …

jun 23 at 13:36 David Harris 2,599●1●4●18

 
2
votes
2
answers
254
views

The category of Boolean-valued models associated to a model of ZFC

jul 7 at 1:04 François G. Dorais♦ 23.1k●2●52●116

prev 1 2 3 next