The strange logic of random graphs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schriftenreihe: | Algorithms and Combinatorics
22 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 168 Seiten graph. Darst. |
| ISBN: | 3540416544 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013717459 | ||
| 003 | DE-604 | ||
| 005 | 20210322 | ||
| 007 | t | ||
| 008 | 010430s2001 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 961380152 |2 DE-101 | |
| 020 | |a 3540416544 |c Gb. : DM 98.00 |9 3-540-41654-4 | ||
| 035 | |a (OCoLC)248654608 | ||
| 035 | |a (DE-599)BVBBV013717459 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-355 |a DE-29T |a DE-384 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA166.17 | |
| 082 | 0 | |a 511.5 | |
| 084 | |a SK 820 |0 (DE-625)143258: |2 rvk | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a SK 170 |0 (DE-625)143221: |2 rvk | ||
| 084 | |a 03B10 |2 msc | ||
| 084 | |a 05C80 |2 msc | ||
| 100 | 1 | |a Spencer, Joel H. |d 1946- |e Verfasser |0 (DE-588)133091546 |4 aut | |
| 245 | 1 | 0 | |a The strange logic of random graphs |c Joel Spencer |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a X, 168 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Algorithms and Combinatorics |v 22 | |
| 650 | 4 | |a Zufallsgraph - Mathematische Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Random graphs | |
| 650 | 0 | 7 | |a Zufallsgraph |0 (DE-588)4277661-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zufallsgraph |0 (DE-588)4277661-2 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Algorithms and Combinatorics |v 22 |w (DE-604)BV000617357 |9 22 | |
| 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=009373846&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009373846 | ||
Datensatz im Suchindex
| _version_ | 1804128532399390720 |
|---|---|
| adam_text | Contents
Part I. Beginnings
0. Two Starting Examples 3
0.1 A Blend of Probability, Logic and Combinatorics 3
0.2 A Random Unary Predicate 8
0.3 Some Comments on References 11
1. Preliminaries 13
1.1 What is the Random Graph G(n,p)7 13
1.1.1 The Erdos Renyi Evolution 14
1.1.2 The Appearance of Small Subgraphs 15
1.2 What is a First Order Theory? 15
1.3 Extension Statements and Rooted Graphs 17
1.4 What is a Zero One Law? 18
1.5 Almost Sure Theories and Complete Theories 20
1.6 Countable Models 20
2. The Ehrenfeucht Game 23
2.1 The Rules of the Game 23
2.2 Equivalence Classes and Ehrenfeucht Value 27
2.3 Connection to First Order Sentences 31
2.4 Inside Outside Strategies 33
2.5 The Bridge to Zero One Laws 37
2.6 Other Structures 39
2.6.1 General First Order Structures 39
2.6.2 The Simple Case of Total Order 40
2.6.3 fc Similar Neighborhoods 42
Part II. Random Graphs
3. Very Sparse Graphs 49
3.1 The Void 50
3.2 On the fc th Day 50
3.3 On Day w 51
VIII Contents
3.3.1 An Excursion into Rooted Trees 51
3.3.2 Two Consequences 55
3.4 Past the Double Jump 56
3.5 Beyond Connectivity 57
3.6 Limiting Probabilities 58
3.6.1 A General Result on Limiting Probabilities 58
3.6.2 In the Beginning 59
3.6.3 On the jfc th Day 60
3.6.4 At the Threshold of Connectivity 61
3.7 The Double Jump in the First Order World 62
3.7.1 Poisson Childbearing 63
3.7.2 Almost Completing the Almost Sure Theory 65
4. The Combinatorics of Rooted Graphs 69
4.1 Sparse, Dense, Rigid, Safe 69
4.2 The i Closure 73
4.3 The Finite Closure Theorem 74
5. The Janson Inequality 79
5.1 Extension Statements 80
5.2 Counting Extensions 82
5.3 Generic Extension 85
6. The Main Theorem 87
6.1 The Look Ahead Strategy 87
6.1.1 The Final Move 88
6.1.2 The Core Argument (Middle Moves) 88
6.1.3 The First Move 89
6.2 The Original Argument 90
7. Countable Models 93
7.1 An Axiomatization for Ta 93
7.1.1 The Schema 93
7.1.2 Completeness Proof 93
7.1.3 The Truth Game 95
7.2 Countable Models 97
7.2.1 Construction 97
7.2.2 Uniqueness of the Model 99
7.2.3 NonUniqueness of the Model 100
7.3 A Continuum of Complete Theories 102
8. Near Rational Powers of n 103
8.1 Infinitely Many Ups and Downs 103
8.1.1 In the Second Order World 103
8.1.2 Replacing Second Order by First Order 105
Contents IX
8.1.3 Are First Order Properties Natural? 107
8.2 Existence of Finite Models 108
8.3 NonSeparability and NonConvergence 109
8.3.1 Representing All Finite Graphs 110
8.3.2 NonSeparability Ill
8.3.3 Arithmetization 112
8.3.4 NonConvergence 113
8.4 The Last Threshold 115
8.4.1 Just Past n a: The Theory T~ 115
8.4.2 Just Past n~a: A Zero One Law 117
Part III. Extras
9. A Dynamic View 121
9.1 More Zero One Laws 121
9.1.1 Near Irrational Powers 121
9.1.2 Dense Random Graphs 122
9.2 The Limit Function 122
9.2.1 Definition 122
9.2.2 Look Ahead Functions 123
9.2.3 Well Ordered Discontinuities 124
9.2.4 Underapproximation sequences 125
9.2.5 Determination in PH 127
10. Strings 131
10.1 Models and Language 131
10.2 Ehrenfeucht Redux 132
10.2.1 The Rules 132
10.2.2 The Semigroup 133
10.2.3 Long Strings 133
10.3 Persistent and Transient 134
10.4 Persistent Strings 136
10.5 Random Strings 137
10.6 Circular Strings 138
10.7 Sparse Unary Predicate 140
11. Stronger Logics 145
11.1 Ordered Graphs 145
11.1.1 Arithmetization 145
11.1.2 Dance Marathon 147
11.1.3 Slow Oscillation 148
11.2 Existential Monadic 149
X Contents
12. Three Final Examples 153
12.1 Random Functions 153
12.2 Distance Random G(n, p) 155
12.2.1 Without Order 155
12.2.2 With Order 157
12.3 Random Lifts 160
Bibliography 165
Index 167
|
| any_adam_object | 1 |
| author | Spencer, Joel H. 1946- |
| author_GND | (DE-588)133091546 |
| author_facet | Spencer, Joel H. 1946- |
| author_role | aut |
| author_sort | Spencer, Joel H. 1946- |
| author_variant | j h s jh jhs |
| building | Verbundindex |
| bvnumber | BV013717459 |
| callnumber-first | Q - Science |
| callnumber-label | QA166 |
| callnumber-raw | QA166.17 |
| callnumber-search | QA166.17 |
| callnumber-sort | QA 3166.17 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 820 SK 890 SK 170 |
| ctrlnum | (OCoLC)248654608 (DE-599)BVBBV013717459 |
| dewey-full | 511.5 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.5 |
| dewey-search | 511.5 |
| dewey-sort | 3511.5 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01863nam a22004938cb4500</leader><controlfield tag="001">BV013717459</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010430s2001 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961380152</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540416544</subfield><subfield code="c">Gb. : DM 98.00</subfield><subfield code="9">3-540-41654-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248654608</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013717459</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA166.17</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 820</subfield><subfield code="0">(DE-625)143258:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 170</subfield><subfield code="0">(DE-625)143221:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">05C80</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Spencer, Joel H.</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133091546</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The strange logic of random graphs</subfield><subfield code="c">Joel Spencer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 168 Seiten</subfield><subfield code="b">graph. Darst.</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">Algorithms and Combinatorics</subfield><subfield code="v">22</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zufallsgraph - Mathematische Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Random graphs</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zufallsgraph</subfield><subfield code="0">(DE-588)4277661-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Zufallsgraph</subfield><subfield code="0">(DE-588)4277661-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Algorithms and Combinatorics</subfield><subfield code="v">22</subfield><subfield code="w">(DE-604)BV000617357</subfield><subfield code="9">22</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=009373846&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-009373846</subfield></datafield></record></collection> |
| id | DE-604.BV013717459 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:50:44Z |
| institution | BVB |
| isbn | 3540416544 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009373846 |
| oclc_num | 248654608 |
| open_access_boolean | |
| owner | DE-739 DE-355 DE-BY-UBR DE-29T DE-384 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-355 DE-BY-UBR DE-29T DE-384 DE-634 DE-83 DE-11 DE-188 |
| physical | X, 168 Seiten graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Algorithms and Combinatorics |
| series2 | Algorithms and Combinatorics |
| spelling | Spencer, Joel H. 1946- Verfasser (DE-588)133091546 aut The strange logic of random graphs Joel Spencer Berlin [u.a.] Springer 2001 X, 168 Seiten graph. Darst. txt rdacontent n rdamedia nc rdacarrier Algorithms and Combinatorics 22 Zufallsgraph - Mathematische Logik Logic, Symbolic and mathematical Random graphs Zufallsgraph (DE-588)4277661-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Zufallsgraph (DE-588)4277661-2 s Mathematische Logik (DE-588)4037951-6 s DE-604 Algorithms and Combinatorics 22 (DE-604)BV000617357 22 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009373846&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Spencer, Joel H. 1946- The strange logic of random graphs Algorithms and Combinatorics Zufallsgraph - Mathematische Logik Logic, Symbolic and mathematical Random graphs Zufallsgraph (DE-588)4277661-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4277661-2 (DE-588)4037951-6 |
| title | The strange logic of random graphs |
| title_auth | The strange logic of random graphs |
| title_exact_search | The strange logic of random graphs |
| title_full | The strange logic of random graphs Joel Spencer |
| title_fullStr | The strange logic of random graphs Joel Spencer |
| title_full_unstemmed | The strange logic of random graphs Joel Spencer |
| title_short | The strange logic of random graphs |
| title_sort | the strange logic of random graphs |
| topic | Zufallsgraph - Mathematische Logik Logic, Symbolic and mathematical Random graphs Zufallsgraph (DE-588)4277661-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Zufallsgraph - Mathematische Logik Logic, Symbolic and mathematical Random graphs Zufallsgraph Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009373846&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000617357 |
| work_keys_str_mv | AT spencerjoelh thestrangelogicofrandomgraphs |