Categoricity:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Providence, Rhode Island
American Mathematical Society
[2009]
|
Schriftenreihe: | University lecture series
Volume 50 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | xi, 235 Seiten |
ISBN: | 9780821848937 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV035746026 | ||
003 | DE-604 | ||
005 | 20230821 | ||
007 | t | ||
008 | 090929s2009 xxu |||| 00||| eng d | ||
010 | |a 2009018740 | ||
020 | |a 9780821848937 |c alk. paper |9 978-0-8218-4893-7 | ||
035 | |a (OCoLC)320621732 | ||
035 | |a (DE-599)BVBBV035746026 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
044 | |a xxu |c US | ||
049 | |a DE-83 |a DE-355 |a DE-11 |a DE-91G |a DE-19 | ||
050 | 0 | |a QA9.67 | |
082 | 0 | |a 511.3 | |
084 | |a SI 165 |0 (DE-625)143085: |2 rvk | ||
084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
084 | |a 03Cxx |2 msc | ||
100 | 1 | |a Baldwin, John T. |d 1944- |e Verfasser |0 (DE-588)128927690 |4 aut | |
245 | 1 | 0 | |a Categoricity |c John T. Baldwin |
264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c [2009] | |
264 | 4 | |c © 2009 | |
300 | |a xi, 235 Seiten | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a University lecture series |v Volume 50 | |
650 | 4 | |a Completeness theorem | |
650 | 4 | |a Model theory | |
650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
689 | 0 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4704-1645-4 |
830 | 0 | |a University lecture series |v Volume 50 |w (DE-604)BV004153846 |9 50 | |
856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018606148&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-018606148 |
Datensatz im Suchindex
_version_ | 1804140660903641088 |
---|---|
adam_text | Contents
Introduction
vii
Part
1. Quasiminimal
Excellence
and Complex Exponentiation
1
Chapter
1.
Combinatorial Geometries and Infinitary Logics
3
1.1.
Combinatorial Geometries
3
1.2.
Infinitary Logic
4
Chapter
2.
Abstract Quasiminimality
7
Chapter
3.
Covers of the Multiplicative Group of
С
17
Part
2.
Abstract Elementary Classes
25
Chapter
4.
Abstract Elementary Classes
27
Chapter
5.
Two Basic Results about
£ωι,ω(<2)
39
5.1.
Non-definability of Well-order in LUuU(Q)
39
5.2.
The Number of Models in
ωχ
41
Chapter
6.
Categoricity Implies Completeness
45
6.1.
Completeness
45
6.2.
Arbitrarily Large Models
50
6.3.
Few Models in Small Cardinals
52
6.4.
Categoricity and Completeness for LUl>u(Q)
54
Chapter
7.
A Model in N2
57
Part
3.
Abstract Elementary Classes with Arbitrarily Large
Models
63
Chapter
8.
Galois types, Saturation, and Stability
67
Chapter
9.
Brimful Models
73
Chapter
10.
Special, Limit and Saturated Models
75
Chapter
11.
Locality and Tameness
83
Chapter
12.
Splitting and Minimality
91
Chapter
13.
Upward Categorieity Transfer
99
Chapter
14.
Omitting Types and Downward Categoricity
105
vi
CONTENTS
Chapter
15.
Unions of Saturated Models
113
Chapter
16.
Life without Amalgamation
119
Chapter
17.
Amalgamation and Few Models
125
Part
4.
Categoricity in
ЬШііШ
133
Chapter
18.
Atomic AEC
137
Chapter
19.
Independence in
ω
-stable Classes
143
Chapter
20.
Good Systems
151
Chapter
21.
Excellence Goes Up
159
Chapter
22.
Very Few Models Implies Excellence
165
Chapter
23.
Very Few Models Implies Amalgamation over Pairs
173
Chapter
24.
Excellence and ^-Excellence
179
Chapter
25.
Quasiminimal Sets and Categoricity Transfer
185
Chapter
26.
Demystifying Non-excellence
193
26.1.
The Basic Structure
193
26.2.
Solutions and Categoricity
196
26.3.
Disjoint Amalgamation for Models of
ф%
200
26.4.
Tameness
201
26.5.
Instability and Non-tameness
202
Appendix A. Morley s Omitting Types Theorem
205
Appendix B. Omitting Types in Uncountable Models
211
Appendix
С
Weak Diamonds
217
Appendix D. Problems
223
Bibliography
227
Index
233
|
any_adam_object | 1 |
author | Baldwin, John T. 1944- |
author_GND | (DE-588)128927690 |
author_facet | Baldwin, John T. 1944- |
author_role | aut |
author_sort | Baldwin, John T. 1944- |
author_variant | j t b jt jtb |
building | Verbundindex |
bvnumber | BV035746026 |
callnumber-first | Q - Science |
callnumber-label | QA9 |
callnumber-raw | QA9.67 |
callnumber-search | QA9.67 |
callnumber-sort | QA 19.67 |
callnumber-subject | QA - Mathematics |
classification_rvk | SI 165 SK 320 |
ctrlnum | (OCoLC)320621732 (DE-599)BVBBV035746026 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
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>01678nam a2200457 cb4500</leader><controlfield tag="001">BV035746026</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230821 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090929s2009 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009018740</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821848937</subfield><subfield code="c">alk. paper</subfield><subfield code="9">978-0-8218-4893-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)320621732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035746026</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 165</subfield><subfield code="0">(DE-625)143085:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Cxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baldwin, John T.</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128927690</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Categoricity</subfield><subfield code="c">John T. Baldwin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 235 Seiten</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">University lecture series</subfield><subfield code="v">Volume 50</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Completeness theorem</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4704-1645-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">University lecture series</subfield><subfield code="v">Volume 50</subfield><subfield code="w">(DE-604)BV004153846</subfield><subfield code="9">50</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=018606148&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-018606148</subfield></datafield></record></collection> |
id | DE-604.BV035746026 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T22:03:31Z |
institution | BVB |
isbn | 9780821848937 |
language | English |
lccn | 2009018740 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018606148 |
oclc_num | 320621732 |
open_access_boolean | |
owner | DE-83 DE-355 DE-BY-UBR DE-11 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
owner_facet | DE-83 DE-355 DE-BY-UBR DE-11 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
physical | xi, 235 Seiten |
publishDate | 2009 |
publishDateSearch | 2009 |
publishDateSort | 2009 |
publisher | American Mathematical Society |
record_format | marc |
series | University lecture series |
series2 | University lecture series |
spelling | Baldwin, John T. 1944- Verfasser (DE-588)128927690 aut Categoricity John T. Baldwin Providence, Rhode Island American Mathematical Society [2009] © 2009 xi, 235 Seiten txt rdacontent n rdamedia nc rdacarrier University lecture series Volume 50 Completeness theorem Model theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s DE-604 Erscheint auch als Online-Ausgabe 978-1-4704-1645-4 University lecture series Volume 50 (DE-604)BV004153846 50 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018606148&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Baldwin, John T. 1944- Categoricity University lecture series Completeness theorem Model theory Modelltheorie (DE-588)4114617-7 gnd |
subject_GND | (DE-588)4114617-7 |
title | Categoricity |
title_auth | Categoricity |
title_exact_search | Categoricity |
title_full | Categoricity John T. Baldwin |
title_fullStr | Categoricity John T. Baldwin |
title_full_unstemmed | Categoricity John T. Baldwin |
title_short | Categoricity |
title_sort | categoricity |
topic | Completeness theorem Model theory Modelltheorie (DE-588)4114617-7 gnd |
topic_facet | Completeness theorem Model theory Modelltheorie |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018606148&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV004153846 |
work_keys_str_mv | AT baldwinjohnt categoricity |