A constructive formulation of Gleason's theorem + A constructive proof

被引：5

作者：

Billinge, H

机构：

[1] Department of Philosophy, University of Leeds

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1997年 / 26卷 / 06期

关键词：

Standard Formulation; Restricted Form; Constructive Formulation;

D O I：

10.1023/A:1004275113665

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

In this paper I wish to show that we can give a statement of a restricted form of Gleason's Theorem that is classically equivalent to the standard formulation, but that avoids the counterexample that Hellman gives in "Gleason's Theorem is not Constructively Provable".

引用

页码：661 / 670

页数：10

共 50 条

[1] A constructive proof of Gleason's theorem
Richman, F
Bridges, D
JOURNAL OF FUNCTIONAL ANALYSIS, 1999, 162 (02) : 287 - 312
[2] A Constructive Formulation of Gleason's Theorem
Helen Billinge
Journal of Philosophical Logic, 1997, 26 : 661 - 670
[3] Gleason's theorem has a constructive proof
Richman, F
JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (04) : 425 - 431
[4] Gleason's Theorem Has a Constructive Proof
Fred Richman
Journal of Philosophical Logic, 2000, 29 : 425 - 431
[5] Constructive Proof of the Carpenter's Theorem
Bownik, Marcin
Jasper, John
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 2014, 57 (03): : 463 - 476
[6] A constructive proof of Kirszbraun’s theorem
A. V. Akopyan
A. S. Tarasov
Mathematical Notes, 2008, 84 : 725 - 728
[7] A Constructive Proof of Kirszbraun's Theorem
Akopyan, A. V.
Tarasov, A. S.
MATHEMATICAL NOTES, 2008, 84 (5-6) : 725 - 728
[8] A CONSTRUCTIVE PROOF OF HELMHOLTZ'S THEOREM
de la Calle Ysern, Bernardo
Sabina de Lis, Jose C.
QUARTERLY JOURNAL OF MECHANICS AND APPLIED MATHEMATICS, 2019, 72 (04): : 521 - 533
[9] A CONSTRUCTIVE PROOF OF GIBSON'S STABILITY THEOREM
Alabau-Boussouira, Fatiha
Cannarsa, Piermarco
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2013, 6 (03): : 611 - 617
[10] On a Constructive Proof of Kolmogorov’s Superposition Theorem
Jürgen Braun
Michael Griebel
Constructive Approximation, 2009, 30 : 653 - 675

← 1 2 3 4 5 →