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

Explicit Mathematics and Operational Set Theory: some Ontological comparisons 显式数学与操作集合论:一些本体论比较

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-09-01 DOI: 10.1017/BSL.2014.21

Gerhard Jäger, Rico Zumbrunnen

引用次数: 6

David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp 大卫·希尔伯特关于算术和逻辑基础的讲座，1917-1933。编辑威廉·埃瓦尔德和威尔弗里德·西格。施普林格，柏林，海德堡和纽约，2013年，xxv + 1062页

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-09-01 DOI: 10.1017/BSL.2014.27

J. Plato

引用次数: 7

Computable Abelian Groups 可计算阿贝尔群

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-09-01 DOI: 10.1017/BSL.2014.32

A. Melnikov

引用次数: 21

Recent developments in model theory, Notre Dame Journal of Formal Logic, vol.54, nos.3-4, 2013 模型理论的新进展，形式逻辑学报，vol.54, no .3-4, 2013

IF 0.6 3区数学

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

D. Macpherson

引用次数: 0

Chain conditions of Products, and Weakly Compact Cardinals 乘积的链式条件和弱紧基数

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-09-01 DOI: 10.1017/BSL.2014.24

A. Rinot

引用次数: 44

Ulrich Pardey, Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number), Palgrave Macmillian, Basingstoke-New York, 2012, xxiv+242 pp 乌尔里希·帕迪:《绝对真理与相对真理》。《哲学文本阐释实践导论》，《分析哲学史》(no vol. number)， Palgrave macmillan出版社，贝辛斯托克-纽约，2012年，第24 +242页

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-09-01 DOI: 10.1017/BSL.2014.26

B. Buldt

引用次数: 0

Constructive Geometry and the Parallel postulate 构造几何与平行公设

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-07-13 DOI: 10.1017/BSL.2015.41

M. Beeson

{"title":"Constructive Geometry and the Parallel postulate","authors":"M. Beeson","doi":"10.1017/BSL.2015.41","DOIUrl":"https://doi.org/10.1017/BSL.2015.41","url":null,"abstract":"Euclidean geometry consists of straightedge-and-compass constructions and reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. We consider three versions of Euclid's parallel postulate: Euclid's own formulation in his Postulate 5; Playfair's 1795 version, and a new version we call the strong parallel postulate. These differ in that Euclid's version and the new version both assert the existence of a point where two lines meet, while Playfair's version makes no existence assertion. Classically, the models of Euclidean (straightedge-and-compass) geometry are planes over Euclidean fields. We prove a similar theorem for constructive Euclidean geometry, by showing how to define addition and multiplication without a case distinction about the sign of the arguments. With intuitionistic logic, there are two possible definitions of Euclidean fields, which turn out to correspond to the different versions of the parallel axiom. In this paper, we completely settle the questions about implications between the three versions of the parallel postulate: the strong parallel postulate easily implies Euclid 5, and in fact Euclid 5 also implies the strong parallel postulate, although the proof is lengthy, depending on the verification that Euclid 5 suffices to define multiplication geometrically. We show that Playfair does not imply Euclid 5, and we also give some other independence results. Our independence proofs are given without discussing the exact choice of the other axioms of geometry; all we need is that one can interpret the geometric axioms in Euclidean field theory. The proofs use Kripke models of Euclidean field theories based on carefully constructed rings of real-valued functions.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"1 1","pages":"1-104"},"PeriodicalIF":0.6,"publicationDate":"2014-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90582482","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}

引用次数: 12

Nicholas J. J. Smith. Logic: The laws of truth. Princeton University Press, Princeton NJ, 2012, xiv + 528 pp 尼古拉斯·j·j·史密斯。逻辑:真理的法则。普林斯顿大学出版社，新泽西州普林斯顿，2012,14 + 528页

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-06-01 DOI: 10.1017/BSL.2014.19

Jennifer Duke-Yonge

引用次数: 0

Nonstandard Models in Recursion Theory and Reverse Mathematics 递归理论和逆向数学中的非标准模型

IF 0.6 3区数学

Bulletin of Symbolic Logic Pub Date : 2014-06-01 DOI: 10.1017/BSL.2014.14

C. Chong, Wei Li, Yue Yang

引用次数: 12

Approximating Beppo Levi's principio di Approssimazione 方法近似原理