本文選題：正則互摸擬　切入點(diǎn)：非良基公理　出處：《湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2014年01期 　論文類(lèi)型：期刊論文

【摘要】：正則互模擬是非良基公理和非良基集合論形成的基礎(chǔ),基于正則互模擬形成了一簇非良基公理。定義了三種正則互模擬≌*、≌t和≡V0,由它們生成的非良基公理AFA≌*、AFA≌t和AFA≡V0與經(jīng)典的非良基公理FAFA、SAFA和AFA分別等價(jià);非良基公理FAFA和AFA位于非良基公理簇的兩端,SAFA處于FAFA和AFA之間;非良基公理FAFA、SAFA和AFA兩兩不相容;與非良基公理FAFA、SAFA、AFA相對(duì)應(yīng)的外延力依次增強(qiáng),而相對(duì)應(yīng)的非良基集合論的域依次縮小。
[Abstract]:The basis of the formation of the axiom of the non-good basis and the theory of the non-good basis set of the regular mutual simulation, Based on the canonical mutual simulation, a family of non-good base axioms is formed, and three kinds of canonical cross-simulation axioms are defined. The AFA axioms, which are generated by them, are equivalent to the classical non-good base axioms FAFASAFA and AFA, respectively, and to the classical non-good basis axioms FAFASAFA and AFA, respectively. FAFA and AFA are located between FAFA and AFA at the two ends of the non-good axiom cluster, and they are incompatible with AFA, and the epitaxial force corresponding to the non-good axiom FAFAFASAFA is increased in turn. However, the corresponding domain of non-good basis set theory shrinks in turn.
【作者單位】： 湖南科技學(xué)院思政部;中國(guó)社會(huì)科學(xué)院哲學(xué)所;
【基金】：國(guó)家社科基金項(xiàng)目(12BZX060)
【分類(lèi)號(hào)】：B81

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 姚從軍;;非良基公理的本質(zhì)及其應(yīng)用[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2012年05期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 姚從軍;;互模擬——檢驗(yàn)集合相等的一個(gè)新工具[J];湖南科技學(xué)院學(xué)報(bào);2011年03期

2 李娜;姚從軍;;互模擬理論的邏輯研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2010年04期

3 李娜;姚從軍;;互模擬的一些基本性質(zhì)[J];云南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2010年05期

4 姚從軍;;走進(jìn)模態(tài)邏輯的互模擬[J];科學(xué)技術(shù)哲學(xué)研究;2010年03期

5 史t，

本文編號(hào)：1609654