4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Andre Kornell
The Sigma formulas of the language of arithmetic express semidecidable relations on the natural numbers. More generally, whenever a totality of objects is regarded as incomplete, t…