共 50 条
- [43] INFINITE-DIMENSIONAL SPACES HAVING TRANSFINITE DIMENSION DOKLADY AKADEMII NAUK SSSR, 1971, 199 (06): : 1243 - &
- [45] Spectral theory, Hausdorff dimension and the topology of hyperbolic 3-manifolds The Journal of Geometric Analysis, 1999, 9 (1): : 17 - 40
- [47] Transfinite Constructions in Classical Type Theory INTERACTIVE THEOREM PROVING, 2015, 9236 : 391 - 404
- [48] CUT ELIMINATION IN TRANSFINITE TYPE THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (02): : 141 - 162
- [49] TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY REVIEW OF SYMBOLIC LOGIC, 2012, 5 (02): : 269 - 293
- [50] ABIAN,A - THEORY OF SETS AND TRANSFINITE ARITHMETIC CANADIAN MATHEMATICAL BULLETIN, 1967, 10 (01): : 139 - &