Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000066-0121.pdf
Type |
:application/pdf |
Download
|
Size |
:521.1 KB
|
Last updated |
:Sep 21, 2010 |
Downloads |
: 585 |
Total downloads since Sep 21, 2010 : 585
|
|
Release Date |
|
Title |
Title |
Model Spaces
|
Kana |
|
Romanization |
|
|
Other Title |
Title |
Model Spaces
|
Kana |
|
Romanization |
|
|
Creator |
Name |
西脇, 与作
|
Kana |
ニシワキ, ヨサク
|
Romanization |
Nishiwaki, Yosaku
|
Affiliation |
Faculty of Letters, Keio University
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
1977
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
|
Volume |
|
Issue |
66
|
Year |
1977
|
Month |
9
|
Start page |
121
|
End page |
135
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
In this paper we shall show a general framework of studying some properties between relational structures and first order languages describing them. Recently usual two-valued models have been quite naturally extended to the Boolean-valued models especially in set theory when Cohen's forcing method was studied by the Boolean-valued method. Here we want to clarify a general construction of Boolean-valued models using the analogous method of a construction of Stone-tech compactification and ultrafilters of Boolean algebras. Properly speaking, the concept of compactifications is one of the important concepts in topology, but applying its method we can easily treat model constructions if we are given a language and a structure of the same similarity type. In section 1 we will define a Boolean-valued structure. Then we study classical models in section 2. Further we show the relations between classical models and so called Kripke models with respect to a introduction of constants in section 3.
|
|
Table of contents |
|
Keyword |
|
NDC |
|
Note |
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|