（ZFC＋GCH＋7Suslinw2树）是协调的
-
1李娜.公理系统的布尔值模型[J].河南大学学报（自然科学版）,1998,28(2):37-42. 被引量：1
-
2李娜.公理系统GB的布尔值模型[J].河南大学学报（自然科学版）,1989,19(4):53-57. 被引量：1
-
3李娜.GB的布尔值模型[J].科学通报,1990,35(1):16-18. 被引量：8
-
4李娜.聚合公理系统COG的布尔值模型[J].河南大学学报（自然科学版）,1993,23(2):39-42. 被引量：4
-
5栾静闻.聚合公理系统的布尔值模型[J].数学杂志,1997,17(2):207-213. 被引量：2
-
6李娜.模态系统S4.1的协调性[J].苏州科技学院学报（自然科学版）,2004,21(2):13-16.
-
7李娜.关于严格蕴涵系统的布尔值模型[J].南京大学学报（数学半年刊）,2003,20(2):161-168. 被引量：4
-
8沈恩绍.有限弱力迫的布尔值模型表示[J].北京师范大学学报（自然科学版）,1990,26(3):9-17.
-
9李娜.道义逻辑D──系统的一种布尔值模型[J].河南大学学报（自然科学版）,2002,32(2):10-13. 被引量：1
-
10李娜.Λ~B中的序数和基数[J].河南大学学报（自然科学版）,1997,27(2):12-14.
;
