Holdings: Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem:

Saved in:

Bibliographic Details
Main Authors:	Hirschfeldt, Denis R. (Author), Lange, Karen 1980- (Author), Shore, Richard A. 1946- (Author)
Format:	Book
Language:	English
Published:	Providence, Rhode Island American Mathematical Society September 2017
Series:	Memoirs of the American Mathematical Society 1187
Subjects:	Berechnungskomplexität Homogenität Modelltheorie
Online Access:	Inhaltsverzeichnis Inhaltsverzeichnis
Physical Description:	v, 101, 4 ungezählte Seiten
ISBN:	9781470426576

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV044555874
003	DE-604
005	00000000000000.0
007	t
008	171025s2017 \|\|\|\| 00\|\|\| eng d
020			\|a 9781470426576 \|9 978-1-4704-2657-6
035			\|a (OCoLC)1015862541
035			\|a (DE-599)HBZHT019469942
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-29T \|a DE-355 \|a DE-11 \|a DE-83
100	1		\|a Hirschfeldt, Denis R. \|4 aut
245	1	0	\|a Induction, bounding, weak combinatorial principles, and the homogeneous model theorem \|c Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
264		1	\|a Providence, Rhode Island \|b American Mathematical Society \|c September 2017
300			\|a v, 101, 4 ungezählte Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Memoirs of the American Mathematical Society \|v volume 249, number 1187 (eight of eight numbers)
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Homogenität \|0 (DE-588)4300430-1 \|2 gnd \|9 rswk-swf
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	1	\|a Homogenität \|0 (DE-588)4300430-1 \|D s
689	0	2	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	0		\|5 DE-604
700	1		\|a Lange, Karen \|d 1980- \|0 (DE-588)1141065037 \|4 aut
700	1		\|a Shore, Richard A. \|d 1946- \|0 (DE-588)172660513 \|4 aut
830		0	\|a Memoirs of the American Mathematical Society \|v 1187 \|w (DE-604)BV008000141 \|9 1187
856	4		\|u http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer \|y Induction, bounding, weak combinatorial principles, and the homogeneous model theorem \|3 Inhaltsverzeichnis
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=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-029954613

Record in the Search Index

_version_	1804177923555459072
adam_text	Titel: Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Autor: Hirschfeldt, Denis R Jahr: 2017 Contents Chapter 1. Introduction 1 1.1. The thematic level 1 1.2. The specifics 5 1.3. An outline of the paper 13 Chapter 2. Definitions 15 2.1. Reverse mathematics . 15 2.2. Model theoretic notions 1G 2.3. Other notions 19 Chapter 3. The Atomic Model Theorem and Related Principles 21 Chapter 4. Defining Homogeneity 27 Chapter 5. Closure Conditions and Model Existence 41 5.1. Type spectra of homogeneous models 41 5.2. Type spectra of general models 43 5.3. Comparing closure conditions 44 5.4. Spectrum enumeration existence theorems 45 5.5. Model existence theorems 48 Chapter G. Extension Functions and Model Existence 51 G.l. Extension functions 51 G.2. The reverse mathematics of extension functions 5G Chapter 7. The Reverse Mathematics of Model Existence Theorems 75 7.1. Extension function approximations. AMT, and ATT 7G 7.2. Comparing model existence theorems 83 7.3. Computability theoretic equivalences 84 Chapter 8. Open Questions 87 Appendix A. Approximating Generics 89 Appendix 13. Atomic Trees 93 Appendix C. Saturated Models 97 Bibliography 99
any_adam_object	1
author	Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946-
author_GND	(DE-588)1141065037 (DE-588)172660513
author_facet	Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946-
author_role	aut aut aut
author_sort	Hirschfeldt, Denis R.
author_variant	d r h dr drh k l kl r a s ra ras
building	Verbundindex
bvnumber	BV044555874
ctrlnum	(OCoLC)1015862541 (DE-599)HBZHT019469942
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02045nam a2200409 cb4500</leader><controlfield tag="001">BV044555874</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171025s2017 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470426576</subfield><subfield code="9">978-1-4704-2657-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1015862541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT019469942</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hirschfeldt, Denis R.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Induction, bounding, weak combinatorial principles, and the homogeneous model theorem</subfield><subfield code="c">Denis R. Hirschfeldt, Karen Lange, Richard A. Shore</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">September 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">v, 101, 4 ungezählte 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">Memoirs of the American Mathematical Society</subfield><subfield code="v">volume 249, number 1187 (eight of eight numbers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Homogenität</subfield><subfield code="0">(DE-588)4300430-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Homogenität</subfield><subfield code="0">(DE-588)4300430-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lange, Karen</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)1141065037</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shore, Richard A.</subfield><subfield code="d">1946-</subfield><subfield code="0">(DE-588)172660513</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">1187</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">1187</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer</subfield><subfield code="y">Induction, bounding, weak combinatorial principles, and the homogeneous model theorem</subfield><subfield code="3">Inhaltsverzeichnis</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=029954613&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-029954613</subfield></datafield></record></collection>
id	DE-604.BV044555874
illustrated	Not Illustrated
indexdate	2024-07-10T07:55:47Z
institution	BVB
isbn	9781470426576
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029954613
oclc_num	1015862541
open_access_boolean
owner	DE-29T DE-355 DE-BY-UBR DE-11 DE-83
owner_facet	DE-29T DE-355 DE-BY-UBR DE-11 DE-83
physical	v, 101, 4 ungezählte Seiten
publishDate	2017
publishDateSearch	2017
publishDateSort	2017
publisher	American Mathematical Society
record_format	marc
series	Memoirs of the American Mathematical Society
series2	Memoirs of the American Mathematical Society
spelling	Hirschfeldt, Denis R. aut Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore Providence, Rhode Island American Mathematical Society September 2017 v, 101, 4 ungezählte Seiten txt rdacontent n rdamedia nc rdacarrier Memoirs of the American Mathematical Society volume 249, number 1187 (eight of eight numbers) Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Homogenität (DE-588)4300430-1 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Homogenität (DE-588)4300430-1 s Berechnungskomplexität (DE-588)4134751-1 s DE-604 Lange, Karen 1980- (DE-588)1141065037 aut Shore, Richard A. 1946- (DE-588)172660513 aut Memoirs of the American Mathematical Society 1187 (DE-604)BV008000141 1187 http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Inhaltsverzeichnis HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Hirschfeldt, Denis R. Lange, Karen 1980- Shore, Richard A. 1946- Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Memoirs of the American Mathematical Society Berechnungskomplexität (DE-588)4134751-1 gnd Homogenität (DE-588)4300430-1 gnd Modelltheorie (DE-588)4114617-7 gnd
subject_GND	(DE-588)4134751-1 (DE-588)4300430-1 (DE-588)4114617-7
title	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
title_auth	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
title_exact_search	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
title_full	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
title_fullStr	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
title_full_unstemmed	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
title_short	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
title_sort	induction bounding weak combinatorial principles and the homogeneous model theorem
topic	Berechnungskomplexität (DE-588)4134751-1 gnd Homogenität (DE-588)4300430-1 gnd Modelltheorie (DE-588)4114617-7 gnd
topic_facet	Berechnungskomplexität Homogenität Modelltheorie
url	http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=7419923&custom_att_2=simple_viewer http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029954613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV008000141
work_keys_str_mv	AT hirschfeldtdenisr inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem AT langekaren inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem AT shorericharda inductionboundingweakcombinatorialprinciplesandthehomogeneousmodeltheorem

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes
Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items