1 problem
- 0 votes0 replies0 views
The ULST conjecture for second-order logic
The ULST conjecture. The strength of the existence of is exactly that of an extendible cardinal; equivalently, the number f…
The ULST conjecture for second-order logic
The ULST conjecture. The strength of the existence of is exactly that of an extendible cardinal; equivalently, the number f…