20 citations · 82 across the 18 of their papers we have counts for
1 paper · 1 filter
Andrew W Swan
Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories,…