共 50 条
- [21] Canonical form of Tarski sets in Zermelo-Fraenkel set theory Mathematical Notes, 2005, 77 : 297 - 306
- [25] FINITELY AXIOMATIZABLE SUB-SYSTEMS IN ZERMELO-FRAENKEL SET THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (01): : 39 - &
- [28] ELEMENTARY EQUIVALENCE AND CONSTRUCTIBLE MODELS OF ZERMELO-FRAENKEL SET-THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (04): : 333 - 338