{"title":"Notions of Independence: Examples and Properties","authors":"Bruno Bandeira, Márcia R. Cerioli, Petrucio Viana","doi":"10.5753/WBL.2021.15775","DOIUrl":null,"url":null,"abstract":"We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and give illustrative examples. We give a complete picture of the implications between these notions of independence. Then, we make some additional observations that shed some light on these notions and some concepts related to them.","PeriodicalId":231385,"journal":{"name":"Anais do II Workshop Brasileiro de Lógica (WBL 2021)","volume":"8 4","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do II Workshop Brasileiro de Lógica (WBL 2021)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/WBL.2021.15775","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and give illustrative examples. We give a complete picture of the implications between these notions of independence. Then, we make some additional observations that shed some light on these notions and some concepts related to them.
我们分析了由G. Peano, E. H. Moore, a . Church和F. Harary提出的一组公设的独立性概念，以及由H. M. Sheffer启发的一个可能的新概念。对于每一个概念，我们都给出了适当的定义，并给出了说明性的例子。我们给出了这些独立概念之间含义的完整图景。然后，我们做一些额外的观察来阐明这些概念和与之相关的一些概念。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
