Truth definitions without exponentiation and the Σ1 collection scheme
Adamowicz, Zofia, Kołodziejczyk, Leszek Aleksander, Paris, J.Volume:
77
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1333566643
Date:
June, 2012
Fichier:
PDF, 107 KB
english, 2012