Bulletin of Symbolic Logic最新文献_第6页

Strong logics of first and second order 强大的一阶和二阶逻辑

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2010-03-01 DOI: 10.2178/bsl/1264433796

P. Koellner

{"title":"Strong logics of first and second order","authors":"P. Koellner","doi":"10.2178/bsl/1264433796","DOIUrl":"https://doi.org/10.2178/bsl/1264433796","url":null,"abstract":"In this paper we investigate strong logics of first and second order that have certain absoluteness properties. We begin with an investigation of first order logic and the strong logics co-logic and /?-logic, isolating two facets of absoluteness, namely, generic invariance and faithfulness. It turns out that absoluteness is relative in the sense that stronger background assumptions secure greater degrees of absoluteness. Our aim is to investigate the hierarchies of strong logics of first and second order that are generically invariant and faithful against the backdrop of the strongest large cardinal hypotheses. We show that there is a close correspondence between the two hierarchies and we characterize the strongest logic in each hierarchy. On the first-order side, this leads to a new presentation of Woodin's Q-logic. On the second-order side, we compare the strongest logic with full second-order logic and argue that the comparison lends support to Quine's claim that second-order logic is really set theory in sheep's clothing. This paper is concerned with strong logics of first and second order. At the most abstract level, a strong logic of first-order has the following general form: Let L be a first-order language and let (x) be a formula that defines a class of L-structures. Then, for a recursively enumerable set T of sentences of L, and for a sentence ip of L set","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"37 1 1","pages":"1-36"},"PeriodicalIF":0.6,"publicationDate":"2010-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72953192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 27

Fifty years of the spectrum problem: survey and new results 频谱问题的五十年:调查和新结果

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2009-07-31 DOI: 10.2178/bsl.1804020

Arnaud Durand, N. Jones, J. Makowsky, Malika More

引用次数: 23

15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) 第十五届逻辑、语言、信息与计算研讨会(WoLLIC 2008)

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/BSL/1231081466

W. Hodges, Fairouz Kamareddine, R. D. Queiroz

引用次数: 1

Association for Symbolic Logic 符号逻辑协会

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/bsl/1231081468

Henryk Kotlarski, Donald A. Martin, Charles Parsons, Richard Shore

{"title":"Association for Symbolic Logic","authors":"Henryk Kotlarski, Donald A. Martin, Charles Parsons, Richard Shore","doi":"10.2178/bsl/1231081468","DOIUrl":"https://doi.org/10.2178/bsl/1231081468","url":null,"abstract":"COUNCIL (* indicates Executive Committee member) Aldo Antonelli . . . . . . . . . . . . . . . . . . . 2010 Toshiyasu Arai . . . . . . . . . . . . . . . . . . . 2010 Jeremy Avigad . . . . . . . . . . . . . . . . . . . . 2010 Steve Awodey . . . . . . . . . . . . . . . . . . . . . 2011 Verónica Becher . . . . . . . . . . . . . . . . . . 2011 Alessandro Berarducci . . . . . . . . . . . . 2011 Elisabeth Bouscaren . . . . . . . . . . . . . . 2010 Sam Buss . . . . . . . . . . . . . . . . . . . . . . . . . 2013 Peter Cholak . . . . . . . . . . . . . . . . . . . . . 2010 C.T. Chong* . . . . . . . . . . . . . . . . . . . . . . 2010 Ruy de Queiroz . . . . . . . . . . . . . . . . . . . 2009 Rod Downey . . . . . . . . . . . . . . . . . . . . . 2010 Mirna Džamonja* . . . . . . . . . . . . . . . . 2011 Erich Grädel . . . . . . . . . . . . . . . . . . . . . 2011 Alexander Kechris . . . . . . . . . . . . . . . . 2013 Bakhadyr Khoussainov . . . . . . . . . . . 2010 Julia Knight* . . . . . . . . . . . . . . . . . . . . . 2009 Jean Larson . . . . . . . . . . . . . . . . . . . . . . 2009 Penelope Maddy* . . . . . . . . . . . . . . . . . 2016 Justin Moore . . . . . . . . . . . . . . . . . . . . . 2010 Hiroakira Ono* . . . . . . . . . . . . . . . . . . 2009 Anand Pillay . . . . . . . . . . . . . . . . . . . . . 2010 Pavel Pudlák . . . . . . . . . . . . . . . . . . . . . 2011 Ralf Schindler . . . . . . . . . . . . . . . . . . . . 2011 Philip Scott* . . . . . . . . . . . . . . . . . . . . . . 2011 Richard A. Shore . . . . . . . . . . . . . . . . . 2011 Charles I. Steinhorn* . . . . . . . . . . . . . 2011 Alasdair Urquhart . . . . . . . . . . . . . . . . 2012 Jouko Väänänen* . . . . . . . . . . . . . . . . . 2010 Alex J. Wilkie* . . . . . . . . . . . . . . . . . . . 2016 Richard Zach . . . . . . . . . . . . . . . . . . . . . 2011","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"553 - 558"},"PeriodicalIF":0.6,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68347133","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Individual Members 2008 2008年度个人会员

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/bsl/1231081469

M. Abadi, Y. Abe, Andreas Abel, F. Abeles, Andrew Aberdein, J. D. Abernethy, B. Adams, Klaus Aehlig, F. Aeschbach, Henry Africk

引用次数: 0

Geraldine Brady. From Peirce to Skolem. A neglected chapter in the history of logic . Elsevier, Amsterdam, 2000, xi + 468 pp. 杰拉尔丁·布雷迪。从皮尔斯到斯科勒姆。逻辑学历史上被忽视的一章。爱思唯尔，阿姆斯特丹，2000,xi + 468页。

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/BSL/1231081463

John Corcoran

引用次数: 1

BSL volume 14 issue 4 Cover and Front matter BSL第14卷第4期封面和正面问题

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.1017/s1079898600009689

引用次数: 0

Second Indian Winter School on Logic 第二届印度冬季逻辑学校

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/BSL/1231081464

M. Banerjee, Anil Seth

引用次数: 0

Errata to “Cohen and Set Theory” [1] 《科恩与集合理论》的勘误表

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/bsl/1231081467

A. Kanamori

引用次数: 0

Full Development of Tarski's Geometry of Solids 塔斯基立体几何的全面发展

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2008-12-01 DOI: 10.2178/bsl/1231081462

Rafał Gruszczyński, A. Pietruszczak

{"title":"Full Development of Tarski's Geometry of Solids","authors":"Rafał Gruszczyński, A. Pietruszczak","doi":"10.2178/bsl/1231081462","DOIUrl":"https://doi.org/10.2178/bsl/1231081462","url":null,"abstract":"Abstract In this paper we give probably an exhaustive analysis of the geometry of solids which was sketched by Tarski in his short paper [20, 21]. We show that in order to prove theorems stated in [20, 21] one must enrich Tarski's theory with a new postulate asserting that the universe of discourse of the geometry of solids coincides with arbitrary mereological sums of balls, i.e., with solids. We show that once having adopted such a solution Tarski's Postulate 4 can be omitted, together with its versions 4′ and 4″. We also prove that the equivalence of postulates 4, 4′ and 4″ is not provable in any theory whose domain contains objects other than solids. Moreover, we show that the concentricity relation as defined by Tarski must be transitive in the largest class of structures satisfying Tarski's axioms. We build a model (in three-dimensional Euclidean space) of the theory of so called T*-structures and present the proof of the fact that this is the only (up to isomorphism) model of this theory. Moreover, we propose different categorical axiomatizations of the geometry of solids. In the final part of the paper we answer the question concerning the logical status (within the theory of T*-structures) of the definition of the concentricity relation given by Tarski.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"481 - 540"},"PeriodicalIF":0.6,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1231081462","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 25