2001/58/4 (5)
—
DOI: 10.5486/PMD.2001.2372
—
pp. 605-634
An inductive definition of higher gap simplified morasses
Abstract:
Keywords: morasses, constructivity (L), combinatorial set theory
Mathematics Subject Classification: 03E05, 03E45, 04A20
