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

The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp 单价基础课程。同伦类型论:数学的一元基础。http://www.photon.cn/cn/homotopytypetheory.org/book，中国高等研究院，2013,vol + 583 pp

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-01-01 DOI: 10.1017/bsl.2014.31

J. V. Oosten

引用次数: 73

Symmetries in Modal Logics 模态逻辑中的对称性

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2013-03-28 DOI: 10.4204/EPTCS.113.6

C. Areces, Guillaume Hoffmann, Ezequiel Orbe

引用次数: 3

On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture 论形式主义的自由:实现Gödel 1946年普林斯顿大学200周年纪念讲座

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2013-01-01 DOI: 10.1017/S1079898600010684

J. Kennedy

引用次数: 0

The philosophy of logic 逻辑哲学

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2012-12-01 DOI: 10.2178/BSL.1804010

P. Maddy

引用次数: 427

The graph-theoretic approach to descriptive set theory 描述集合论的图论方法

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2012-12-01 DOI: 10.2178/bsl.1804030

B. D. Miller

引用次数: 30

The stable core 稳定的核心

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2012-06-01 DOI: 10.2178/bsl/1333560807

S. Friedman

{"title":"The stable core","authors":"S. Friedman","doi":"10.2178/bsl/1333560807","DOIUrl":"https://doi.org/10.2178/bsl/1333560807","url":null,"abstract":"Vopěnka [2] proved long ago that every set of ordinals is set-generic over HOD, Godel’s inner model of hereditarily ordinal-definable sets. Here we show that the entire universe V is class-generic over (HOD, S), and indeed over the even smaller inner model S = (L[S], S), where S is the Stability predicate. We refer to the inner model S as the Stable Core of V . The predicate S has a simple definition which is more absolute than any definition of HOD; in particular, it is possible to add reals which are not set-generic but preserve the Stable Core (this is not possible for HOD by Vopěnka’s theorem). For an infinite cardinal α, H(α) consists of those sets whose transitive closure has size less than α. Let C denote the closed unbounded class of all infinite cardinals β such that H(α) has cardinality less than β whenever α is an infinite cardinal less than β. Definition 1 For a finite n > 0, we say that α is n-Stable in β iff α < β, α and β are limit points of C and (H(α), C ∩ α) is Σn elementary in (H(β), C ∩ β). The Stability predicate S places the Stability notion into a single predicate. S consists of all triples (α, β, n) such that α is n-Stable in β. The ∆2 definable predicate S describes the “core” of V , in the following sense. ∗The author wishes to thank the Austrian Science Fund (FWF) for its generous support through Project P 22430-N13.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"21 1","pages":"261-267"},"PeriodicalIF":0.6,"publicationDate":"2012-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83894791","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}

引用次数: 7

On Tarski's foundations of the geometry of solids 塔斯基的固体几何基础

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2012-06-01 DOI: 10.2178/bsl/1333560806

A. Betti, I. Loeb

引用次数: 52

Early history of the Generalized Continuum Hypothesis: 1878 - 1938 广义连续统假说的早期历史:1878 - 1938

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2011-12-01 DOI: 10.2178/BSL/1318855631

Gregory H. Moore

引用次数: 12

A survey of Mučnik and Medvedev degrees mu<s:1>尼克和梅德韦杰夫学位调查

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2010-07-14 DOI: 10.2178/bsl/1333560805

P. Hinman

引用次数: 25

The Axiom of Infinity and transformations j: V -> V 无穷公理与变换j: V -> V

IF 0.6 3区数学

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

P. Corazza

{"title":"The Axiom of Infinity and transformations j: V -> V","authors":"P. Corazza","doi":"10.2178/bsl/1264433797","DOIUrl":"https://doi.org/10.2178/bsl/1264433797","url":null,"abstract":"We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to be derivable? It was shown in the 1960s by Lawvere that the existence of an infinite set is equivalent to the existence of a certain kind of structure-preserving transformation from V to itself, not isomorphic to the identity. We use Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity. A first refinement was discussed in later work by Trnkova–Blass, showing that if the preservation properties of Lawvere's tranformation are strengthened to the point of requiring it to be an exact functor , such a transformation is provably equivalent to the existence of a measurable cardinal. We propose to push the preservation properties as far as possible, short of inconsistency. The resulting transformation V → V is strong enough to account for virtually all large cardinals, but is at the same time a natural generalization of an assertion about transformations V → V known to be equivalent to the Axiom of Infinity.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"53 8","pages":"37-84"},"PeriodicalIF":0.6,"publicationDate":"2010-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1264433797","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72488781","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}

引用次数: 4