4

Questions
votes newest views recent
 
0
votes
0
answers
89
views

Compactness-like property for universal generalization?

jan 19 at 7:36 Nick Thomas 325●8

2
10
votes
2
answers
336
views

Constructible models of New Foundations?

may 3 at 17:28 Thomas Forster 451●2●3

2
11
votes
6
answers
894
views

Understanding Specker’s disproof of the axiom of choice in New Foundations

dec 26 at 19:17 Thomas Forster 451●2●3

 
2
votes
2
answers
200
views

Existential instantiation in Hilbert-style deduction systems

dec 21 at 20:51 Carl Mummert 4,838●1●15●27