Aspects of definability:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
North-Holland Publ.
1977
|
| Series: | Acta philosophica Fennica
29,2/3 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | L |
| Physical Description: | 236 S. |
| ISBN: | 9519505377 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002254500 | ||
| 003 | DE-604 | ||
| 005 | 20050324 | ||
| 007 | t | ||
| 008 | 890928s1977 |||| 00||| eng d | ||
| 020 | |a 9519505377 |9 951-95053-7-7 | ||
| 035 | |a (OCoLC)186483050 | ||
| 035 | |a (DE-599)BVBBV002254500 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-355 |a DE-19 |a DE-29 |a DE-188 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Rantala, Veikko |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Aspects of definability |c Veikko Rantala |
| 264 | 1 | |a Amsterdam |b North-Holland Publ. |c 1977 | |
| 300 | |a 236 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Acta philosophica Fennica |v 29,2/3 | |
| 500 | |a L | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Definition |0 (DE-588)4148989-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Definition |0 (DE-588)4148989-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Acta philosophica Fennica |v 29,2/3 |w (DE-604)BV035919543 |9 29,2/3 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001481510&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001481510 | ||
| 980 | 4 | |a (DE-12)AK18020637 | |
Record in the Search Index
| _version_ | 1804116711048216576 |
|---|---|
| adam_text | CONTENTS
INTRODUCTION 11
PABT I - UNCERTAINTY
CHAPTER 1. PRELIMINARIES 17
1. Basic Notions 17
2. Constituents 19
CHAPTER 2. URN MODELS 28
1. Game-Theoretical Semantics 28
2. Urn-Models and Uncertainty 30
CHAPTER 3. COMPLETE EXTENSIONS OF A THEORY 35
1. Basis of a Complete Extension 35
2. Element Types 37
3. co-homogeneous Models 41
CHAPTER h. UNCERTAINTY SETS 42
1. Syntactic Definition 42
2. Interpretation 45
CHAPTER 5. UNCERTAINTY DESCRIPTIONS 47
1. Construction 47
2. Intuitive Interpretation 48
CHAPTER 6. UNCERTAINTY TYPES 54
1. Syntactic Definition 54
2. Uncertainty Types and Urn Models 57
CHAPTER 7. LOCAL UNCERTAINTY 69
1. Isomorphic f.u. Models 69
2. Homogeneous f.u. Models 72
PART II - APPLICATIONS: DEFINABILITY RESULTS
CHAPTER 8. SOME KHOMl GLOBAL RESULTS ON DEFINABILITY 79
1. Explicit Definability and Its Generalizations 79
2. Definability and Uncertainty Sets 82
CHAPTER 9. REASULTS ON INFINITAKY DEFINABILITY IN A MODEL 88
1. Reduced Uncertaity Types 88
2. Local Definability and Omitting Types 91
10 Contents
PART III - GENERALIZATIONS
ChAPTER 10. THEORIES WHICH ARE HOT FINITELY AXIOMATIZABLE 105
1. Basis of a Complete Theory 105
2. Uncertainty and Definability 108
CHAPTER 11. RELATIONS 109
1. Pair-constituents 109
2. Basis of a Complete Theory 122
2. Uncertainty and Definability 125
CHAPTER 12. INFINITARY LANGUAGES 138
1. Infinitely Deep Languages 138
2. Semantics 142
3. Infinitary Constituents 1M
h. Properties of N 149
5. Uncertainty and Definability in N 153
6. Local Definability 155
PART IV - METHODOLOGICAL ASPECTS
CHAPTER 13. DECISION PROBLEMS FOR DEFINABILITY 165
1. General Problems 165
2. Decidability in a Theory 167
3. Definability and Representability 172
CHAPTER 11*. GENERAL CONDITIONS ON DEFINITIONS 179
1. Eliminability and Noncreativity 179
2. Weak Eliminability 185
CHAPTER 15. THE IMPORT OF DEFINITIONS 190
1. Definitions and Information 190
2. Real vs. Nominal Definitions 207
CHAPTER 16. DEFINABILITY IN EMPIRICAL SCIENCES 213
1. On the Logic of Empirical Theories 213
2. Identifiability 217
3. Constraints and Identifiability 220
NOTES 223
REFERENCES 225
IHDEX OF NAMES 233
SUBJECT INDEX 234
|
| any_adam_object | 1 |
| author | Rantala, Veikko |
| author_facet | Rantala, Veikko |
| author_role | aut |
| author_sort | Rantala, Veikko |
| author_variant | v r vr |
| building | Verbundindex |
| bvnumber | BV002254500 |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)186483050 (DE-599)BVBBV002254500 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01423nam a2200385 cb4500</leader><controlfield tag="001">BV002254500</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050324 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1977 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9519505377</subfield><subfield code="9">951-95053-7-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)186483050</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002254500</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rantala, Veikko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Aspects of definability</subfield><subfield code="c">Veikko Rantala</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publ.</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">236 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Acta philosophica Fennica</subfield><subfield code="v">29,2/3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">L</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Definition</subfield><subfield code="0">(DE-588)4148989-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Definition</subfield><subfield code="0">(DE-588)4148989-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Acta philosophica Fennica</subfield><subfield code="v">29,2/3</subfield><subfield code="w">(DE-604)BV035919543</subfield><subfield code="9">29,2/3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001481510&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001481510</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18020637</subfield></datafield></record></collection> |
| id | DE-604.BV002254500 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:42:51Z |
| institution | BVB |
| isbn | 9519505377 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001481510 |
| oclc_num | 186483050 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-188 |
| owner_facet | DE-12 DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-188 |
| physical | 236 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | North-Holland Publ. |
| record_format | marc |
| series | Acta philosophica Fennica |
| series2 | Acta philosophica Fennica |
| spelling | Rantala, Veikko Verfasser aut Aspects of definability Veikko Rantala Amsterdam North-Holland Publ. 1977 236 S. txt rdacontent n rdamedia nc rdacarrier Acta philosophica Fennica 29,2/3 L Logik (DE-588)4036202-4 gnd rswk-swf Definition (DE-588)4148989-5 gnd rswk-swf Definition (DE-588)4148989-5 s Logik (DE-588)4036202-4 s DE-604 Acta philosophica Fennica 29,2/3 (DE-604)BV035919543 29,2/3 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001481510&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rantala, Veikko Aspects of definability Acta philosophica Fennica Logik (DE-588)4036202-4 gnd Definition (DE-588)4148989-5 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4148989-5 |
| title | Aspects of definability |
| title_auth | Aspects of definability |
| title_exact_search | Aspects of definability |
| title_full | Aspects of definability Veikko Rantala |
| title_fullStr | Aspects of definability Veikko Rantala |
| title_full_unstemmed | Aspects of definability Veikko Rantala |
| title_short | Aspects of definability |
| title_sort | aspects of definability |
| topic | Logik (DE-588)4036202-4 gnd Definition (DE-588)4148989-5 gnd |
| topic_facet | Logik Definition |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001481510&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035919543 |
| work_keys_str_mv | AT rantalaveikko aspectsofdefinability |