Simplicity theory:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Oxford
Oxford Univ. Press
2014
|
Ausgabe: | 1. ed. |
Schriftenreihe: | Oxford logic guides
53 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | X, 224 S. |
ISBN: | 9780198567387 0198567383 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV035066776 | ||
003 | DE-604 | ||
005 | 20131206 | ||
007 | t | ||
008 | 080924s2014 |||| 00||| eng d | ||
020 | |a 9780198567387 |9 978-0-19-856738-7 | ||
020 | |a 0198567383 |9 0-1985-6738-3 | ||
035 | |a (OCoLC)228497904 | ||
035 | |a (DE-599)BVBBV035066776 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-19 |a DE-11 |a DE-83 |a DE-824 | ||
082 | 0 | |a 511.34 |2 22 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 03C45 |2 msc | ||
100 | 1 | |a Kim, Byunghan |e Verfasser |0 (DE-588)1045089737 |4 aut | |
245 | 1 | 0 | |a Simplicity theory |c Byunghan Kim |
250 | |a 1. ed. | ||
264 | 1 | |a Oxford |b Oxford Univ. Press |c 2014 | |
300 | |a X, 224 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Oxford logic guides |v 53 | |
650 | 4 | |a Model theory | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | |5 DE-604 | |
830 | 0 | |a Oxford logic guides |v 53 |w (DE-604)BV000013997 |9 53 | |
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=016735213&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-016735213 |
Datensatz im Suchindex
_version_ | 1804138013331030016 |
---|---|
adam_text | Titel: Simplicity theory
Autor: Kim, Byunghan
Jahr: 2014
CONTENTS
1 Introduction........................................1
1.1 Model Theory 3
1.2 Stability 7
1.3 Bibliographical Remarks 11
2 Dividing, Forking, and Simplicity.........................12
2.1 Dividing and Forking 12
2.2 Simplicity and Forking 17
2.3 Dp,fc-Ranks and the Tree Property 21
2.4 Fundamental Theorem of Forking 29
2.5 Ranks and Supersimple Theories 31
2.6 Examples of Simple Theories 42
2.7 Bibliographical Remarks 44
3 Lascar Strong Types and Type Amalgamation.................45
3.1 Lascar Strong Types 45
3.2 Type Amalgamation 47
3.3 Characterizing Simple Theories 52
3.4 Bibliographical Remarks 54
4 Hyperimaginaries and Canonical Bases.....................SS
4.1 Hyperimaginaries 55
4.2 Non-forking Independence of Hyperimaginaries 60
4.3 Canonical Bases 66
4.4 Forking Relationships between Types 70
4.5 Bibliographical Remarks 80
5 Elimination of Hyperimaginaries.........................81
5.1 The Lascar Group 82
5.2 Lascar Types Are Strong Types in Low Theories 91
5.3 Elimination of Finitary Hyperimaginaries for Small Theories 92
5.4 Elimination of Hyperimaginaries for Supersimple Theories 96
5.5 Definability 101
5.6 Bibliographical Remarks 107
6 Constructing Simple Structures......................... 108
6.1 ModularityandCM-Triviality 109
6.2 Hrushovski Construction 113
X | CONTENTS
6.3 Generic Predicates/Automorphisms and Lovely Pairs 121
6.4 Bibliographical Remarks 125
7 Groups.........................................126
7.1 Type-Definable Groups 126
7.2 Hyperdefinable Groups 135
7.3 Commensurativity and Local Connectedness 141
7.4 1-Based Groups 147
7.5 Supersimple Groups 152
7.6 Generically Given Partial Groups and Homogeneous Spaces 163
7.7 Bibliographical Remarks 170
8 AGeometryof Forking...............................171
8.1 SU-Rank 1 Types 173
8.2 Non-affineLocallyModular Types 178
8.3 1-Based Types 182
8.4 Bibliographical Remarks 190
9 Generalized Amalgamation and the Group Configuration
Theorem........................................191
9.1 Generalized Amalgamation 192
9.2 The Group Configuration 198
9.3 The Generic Group Operation onF/R 204
9.4 An Application to 1-Based Theories 208
9.5 Recovering the Hyperdefinable Group Action 208
9.6 Bibliographical Remarks 215
References 217
Index 223
|
adam_txt |
Titel: Simplicity theory
Autor: Kim, Byunghan
Jahr: 2014
CONTENTS
1 Introduction.1
1.1 Model Theory 3
1.2 Stability 7
1.3 Bibliographical Remarks 11
2 Dividing, Forking, and Simplicity.12
2.1 Dividing and Forking 12
2.2 Simplicity and Forking 17
2.3 Dp,fc-Ranks and the Tree Property 21
2.4 Fundamental Theorem of Forking 29
2.5 Ranks and Supersimple Theories 31
2.6 Examples of Simple Theories 42
2.7 Bibliographical Remarks 44
3 Lascar Strong Types and Type Amalgamation.45
3.1 Lascar Strong Types 45
3.2 Type Amalgamation 47
3.3 Characterizing Simple Theories 52
3.4 Bibliographical Remarks 54
4 Hyperimaginaries and Canonical Bases.SS
4.1 Hyperimaginaries 55
4.2 Non-forking Independence of Hyperimaginaries 60
4.3 Canonical Bases 66
4.4 Forking Relationships between Types 70
4.5 Bibliographical Remarks 80
5 Elimination of Hyperimaginaries.81
5.1 The Lascar Group 82
5.2 Lascar Types Are Strong Types in Low Theories 91
5.3 Elimination of Finitary Hyperimaginaries for Small Theories 92
5.4 Elimination of Hyperimaginaries for Supersimple Theories 96
5.5 Definability 101
5.6 Bibliographical Remarks 107
6 Constructing Simple Structures. 108
6.1 ModularityandCM-Triviality 109
6.2 Hrushovski Construction 113
X | CONTENTS
6.3 Generic Predicates/Automorphisms and Lovely Pairs 121
6.4 Bibliographical Remarks 125
7 Groups.126
7.1 Type-Definable Groups 126
7.2 Hyperdefinable Groups 135
7.3 Commensurativity and Local Connectedness 141
7.4 1-Based Groups 147
7.5 Supersimple Groups 152
7.6 Generically Given Partial Groups and Homogeneous Spaces 163
7.7 Bibliographical Remarks 170
8 AGeometryof Forking.171
8.1 SU-Rank 1 Types 173
8.2 Non-affineLocallyModular Types 178
8.3 1-Based Types 182
8.4 Bibliographical Remarks 190
9 Generalized Amalgamation and the Group Configuration
Theorem.191
9.1 Generalized Amalgamation 192
9.2 The Group Configuration 198
9.3 The Generic Group Operation onF/R 204
9.4 An Application to 1-Based Theories 208
9.5 Recovering the Hyperdefinable Group Action 208
9.6 Bibliographical Remarks 215
References 217
Index 223 |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
author | Kim, Byunghan |
author_GND | (DE-588)1045089737 |
author_facet | Kim, Byunghan |
author_role | aut |
author_sort | Kim, Byunghan |
author_variant | b k bk |
building | Verbundindex |
bvnumber | BV035066776 |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)228497904 (DE-599)BVBBV035066776 |
dewey-full | 511.34 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.34 |
dewey-search | 511.34 |
dewey-sort | 3511.34 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
discipline_str_mv | Mathematik |
edition | 1. ed. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01412nam a2200397 cb4500</leader><controlfield tag="001">BV035066776</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131206 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080924s2014 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198567387</subfield><subfield code="9">978-0-19-856738-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198567383</subfield><subfield code="9">0-1985-6738-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228497904</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035066776</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.34</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03C45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kim, Byunghan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1045089737</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simplicity theory</subfield><subfield code="c">Byunghan Kim</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 224 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">Oxford logic guides</subfield><subfield code="v">53</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Oxford logic guides</subfield><subfield code="v">53</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">53</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=016735213&sequence=000001&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-016735213</subfield></datafield></record></collection> |
id | DE-604.BV035066776 |
illustrated | Not Illustrated |
index_date | 2024-07-02T22:02:36Z |
indexdate | 2024-07-09T21:21:26Z |
institution | BVB |
isbn | 9780198567387 0198567383 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016735213 |
oclc_num | 228497904 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-11 DE-83 DE-824 |
owner_facet | DE-19 DE-BY-UBM DE-11 DE-83 DE-824 |
physical | X, 224 S. |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Oxford Univ. Press |
record_format | marc |
series | Oxford logic guides |
series2 | Oxford logic guides |
spelling | Kim, Byunghan Verfasser (DE-588)1045089737 aut Simplicity theory Byunghan Kim 1. ed. Oxford Oxford Univ. Press 2014 X, 224 S. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 53 Model theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Oxford logic guides 53 (DE-604)BV000013997 53 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016735213&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Kim, Byunghan Simplicity theory Oxford logic guides Model theory Mathematische Logik (DE-588)4037951-6 gnd |
subject_GND | (DE-588)4037951-6 |
title | Simplicity theory |
title_auth | Simplicity theory |
title_exact_search | Simplicity theory |
title_exact_search_txtP | Simplicity theory |
title_full | Simplicity theory Byunghan Kim |
title_fullStr | Simplicity theory Byunghan Kim |
title_full_unstemmed | Simplicity theory Byunghan Kim |
title_short | Simplicity theory |
title_sort | simplicity theory |
topic | Model theory Mathematische Logik (DE-588)4037951-6 gnd |
topic_facet | Model theory Mathematische Logik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016735213&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000013997 |
work_keys_str_mv | AT kimbyunghan simplicitytheory |