共 50 条
- [2] SUBGROUPS OF A FREE GROUP AND THE AXIOM OF CHOICE [J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 458 - 467
- [5] The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq [J]. CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 313 - 326
- [6] EXISTENCE OF SETS DENYING FUNDIERUNG AXIOM [J]. JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 538 - &
- [7] THEORY OF SETS WITHOUT AN AXIOM OF EXISTENCE [J]. BULLETIN DE LA CLASSE DES SCIENCES ACADEMIE ROYALE DE BELGIQUE, 1968, 54 (11): : 1410 - &
- [9] REMARK ON AXIOM OF CHOICE FOR FINITE SETS [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1967, 15 (06): : 373 - &
- [10] Closed products of sets and the axiom of choice [J]. Acta Mathematica Hungarica, 2011, 133 : 128 - 132