
COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS
FISCHER, VERA, FRIEDMAN, SY D., MEJÍA, DIEGO A., MONTOYA, DIANA C.Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2017.20
Date:
February, 2018
Fichier:
PDF, 563 KB
english, 2018