Annals of the Japan Association for Philosophy of Science

Annals of the Japan Association for Philosophy of Science

Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691

検索

検索
閲覧

巻号一覧

7 巻, 3 号

選択された号の論文の6件中1～6を表示しています

メタデータをダウンロード

すべての抄録を表示する

|<
<
1
>
>|

Abraham Robinson's Notes

On a relatively effective procedure getting all quasi-integer solutions of diophantine equations with positive genus

Abraham ROBINSON

1988 年 7 巻 3 号 p. 111-115
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.111

ジャーナルフリー

抄録を表示する抄録を非表示にする

These notes were written by Abraham Robinson in preparation for his paper with Peter Roquette [4]. They were written shortly before his death in 1974, but were omitted from the published paper. The published material was in much more polished, and use different terminology. Nevertheless these notes are easily understood with a knowledge of [4]. What Robinson aimed at in those notes was done by number-theoretical methods in [6]. See also [5] for the logical side of the subject.
In those notes, Robinson used the elementary and familiar idea that consequence relative to nonstandard models is recursively enumerable in the set of axioms defining the class. The idea is intriguing because nonstandard models are usually associated with very nonconstructive ideas especially, because the models needed cannot be recursive. These notes should be a useful reminder for applications of the idea in nonstandard mathematics. (G.T.)

抄録全体を表示

PDF形式でダウンロード (271K)
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order

Mitio TAKANO

1988 年 7 巻 3 号 p. 117-123
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.117

ジャーナルフリー

PDF形式でダウンロード (328K)
On Limiting Procedures

M. M. YANASE

1988 年 7 巻 3 号 p. 125-129
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.125

ジャーナルフリー

PDF形式でダウンロード (250K)
Weber's Sociology and the Exact Sciences: The Common Characteristics of Both Epistemologies

Katsumi YASUMURA

1988 年 7 巻 3 号 p. 131-146
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.131

ジャーナルフリー

PDF形式でダウンロード (1011K)
Mind, Causality, and Ur-monism

Hyakudai SAKAMOTO

1988 年 7 巻 3 号 p. 147-154
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.147

ジャーナルフリー

PDF形式でダウンロード (453K)
Nature and Ethics: Whiteheadian Approach

Hiromasa MASE

1988 年 7 巻 3 号 p. 155-161
発行日: 1988/03/05
公開日: 2009/02/16

DOIhttps://doi.org/10.4288/jafpos1956.7.155

ジャーナルフリー

PDF形式でダウンロード (436K)

|<
<
1
>
>|

Top