4

Questions
votes newest views recent
4
17
votes
6
answers
2k
views

undecidable sentences of first-order arithmetic whose truth values are unknown

feb 8 12 at 13:36 Joel David Hamkins 75.3k●7●187●343

4
7
votes
3
answers
1k
views

exotic differentiable structures on manifolds in dimensions 5 and 6

jul 22 10 at 12:18 Yalcin 1●1

 
5
votes
1
answer
430
views

decidable fragments of first-order logic without the finite countermodel property

dec 20 11 at 19:39 Matt Lord 349●9

 
2
votes
1
answer
225
views

quantifier order in monadic first-order logic

nov 13 11 at 4:33 Andreas Blass 32.9k●4●54●109