集合论的反基础公理被引量：4

原文传递

导出

作者李娜史璟

机构地区南开大学哲学系

出处《哲学动态》 CSSCI 北大核心 2009年第1期100-105,共6页 Philosophical Trends

关键词集合论公理方程组

参考文献13

1P. Aczel,Non- Well- Founded Sets, CSLI , Stanford, 1988.
2T.E. Forster, Set Theory with a Universal Set: Exploring an Untyped Universe,New York: Oxford University Press, 1992.
3J. Barwise and L. Moss, Vicious Circles : On the Mathematics of Non - well -founded Phenomena, CSLI, Stanford, 1996.
4G. A. Antonelli, "Extensional Quotients for Type Theory and the Consistency Problem for NF," Journal of Symbolic Logic, 63 ( 1 ), 1998.
5B. Sidney Smith, "Hypersets," PhD Dissertation, University of Cambridge, 1996.
6J. Lurie. "Anti -Admissible Sets, "Journal of Symbolic Logic 64(2), 1999.
7M. Rathjen ," Kripke - Platek Set Theory and the Anti - Foundation Axiom, "Mathematical Logic 4, 2001.
8B. Van den Berg & F. De Marchi, "Non - well - founded Trees in Categories," Annals of Pure and Applied Logic 146( 1 ), 2006.
9T. Nitta & T. Okada, "Classifcation of Non - well - founded Sets and an Application," Mathematical Logic Quarterly 49 (2), 2003.
10I. Jane & G. Uzquiano ," Well - and Non - well - founded Fregean Extensions, "Journal of Philosophical Logic 33 ( 5 ), 2004.

1B. Pierce. Basic category theory for computer scientist[M]. Cambridge MA: the MIT press, 199l.
2Steve Awodey. Category theory[M]. Clarendon Press, 2006.
3B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction[J]. Bulletin of the European Association for Theoretical Computer Science, 1997(62) :222-259.
4P. Aczel. Non-well-founded sets[M]. Stanford CSLI Publications, 1988.
5J. Barwise and L. Moss. Vicious circles: on the mathematics of non-well-founded phenomena[M]. CSLI Lecture Notes, Number 60. Stanford: CSLI Publications, 1996.
6A. Baltag. STS: A structural theory of sets[M]. Ph.D. dissertation, Indiana University, 1998.
7L. Moss. Coalgebraic logic[J]. Annals of Pure and Applied Logic, 1999(96) :277-317.
8P. Blackburn, M. de Rijke and Yde Venema. Modal logic[M]. Cambridge University Press, 2001.
9Yde Venema. Algebras and coalgebras. In J. van Benthem et. Al. , ed. , Handbook of modal logic[M]. Elsevier, 2007.
10H. Peter Gumm. Birkhoff's variety theorem for coalgebras[J]. Contributions to General Algebra, 2000(13):159-173.

1吕林霞,张国芳,王帅伟,张志清.Rare Decay B_c → D_s *μ^+ μ^- in a Family Non-Universal Z′ Model[J].Communications in Theoretical Physics,2013,59(2):187-192.
2邓方安,徐扬,吴建乐.关于N(2,2,0)代数的平移变换[J].广西民族大学学报（自然科学版）,1998,9(1):6-8. 被引量：6
3向群.科学不是教条不是宗教——读王超的“商榷”与陈克宁的“叫好”文有感[J].发明与创新（大科技）,2004(1):34-35.
4徐锋军,杨富中.Off-shell superpotentials and Ooguri-Vafa invariants of type Ⅱ/F theory compactification[J].Chinese Physics C,2014,38(3):12-17. 被引量：1
5郑格于.对奇阶幻方的麦齐里阿克排法的考究[J].郧阳师范高等专科学校学报,1994,0(2):19-32.
6徐锋军,杨富中.D-brane superpotentials and Ooguri-Vafa invariants of compact Calabi-Yau threefolds[J].Chinese Physics C,2015,39(4):19-25.
7李娜,杜文静.非良基集合的外延公理(英文)[J].逻辑学研究,2009,2(3):28-36.
8包装企业期望通过调整挺过2009年[J].中国包装工业,2009(3):12-12.
9廖宇波.旧车市场模型中的逆向选择[J].华东交通大学学报,2008,25(2):109-111. 被引量：5
10楠晓.魔方转出的“上帝之数”[J].数学教学通讯（新课标中考数学）,2009(9):8-8.

哲学动态

2009年第1期

内容加载中请稍等...