关于单纯力迫和可数力迫的构造性阐述.pdf

2017年 1月 四川师范大学学报 (自然科学版) Jan．，2017 第40卷 第 1期 JoumalofSichuanNormalUniversity(NaturalScience) Vo1．40，No．1 A ConstructiveExpositiononSimpleForcingsandCountableForcings ZHU Huiling， ZHENG Fudan (GuangzhouCollege，SouthChinaUniversityofTechnology，Guangzhou510800，Guangdong) Abstract：Inthispaper，weexplaintwoclassesofforcings：simpleforcingsnadcountableforcings．A couple ofexamplesthatmathematicianaxeinterestedinxaestudiedasspecial casesofforcing．General theoremsabout thesetwoclassesayeproved． Keywords：simpleforcing；countableforcing；partialorder；denseembedding；models 2010MSC：03E17；03E35；03E50 doi：10．3969／j．issn．1001-8395．2017．01．003 1 Introduction forcingwillnotaffectthegroundmodelatal1．Mathe— maticiansraefamilira withmanykindsofpartialor- Inmodernsettheory，forcingisaneffectivetech— ders，ofrinstance，finitepartial orders，linearorders niqueinobtainingindependentresults．Sinceitsdis。 andlattices．Ina sensethatwewillexplainbelow． coveryby Cohen[ the application offorcing has ， thesepartialorders raeallsimple，astheyraereduced been extended tomanybranchesofmathematics．In toatrivialforcing． particular，thosebrancheswithinfiniteobjects．How- Forcingextendsmodelsofsettheory，preserving ever，thehighlytechnicalfeatureofforcingalsokept certainfeaturesoft