Institution-independent model theory:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Basel ; Boston ; Berlin
Birkhäuser
2008
|
| Series: | Studies in universal logic
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 355 - 367 |
| Physical Description: | XI, 376 S. 24 cm |
| ISBN: | 9783764387075 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035109374 | ||
| 003 | DE-604 | ||
| 005 | 20081118 | ||
| 007 | t | ||
| 008 | 081020s2008 sz |||| 00||| eng d | ||
| 015 | |a 07,N49,0809 |2 dnb | ||
| 015 | |a 08,A24,0892 |2 dnb | ||
| 016 | 7 | |a 986316369 |2 DE-101 | |
| 020 | |a 9783764387075 |c kart. : EUR 74.79 (freier Pr.), sfr 125.00 (freier Pr.) |9 978-3-7643-8707-5 | ||
| 024 | 3 | |a 9783764387075 | |
| 028 | 5 | 2 | |a 12195299 |
| 035 | |a (OCoLC)191759987 | ||
| 035 | |a (DE-599)DNB986316369 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH |a gw |c XA-DE | ||
| 049 | |a DE-703 |a DE-29T |a DE-11 | ||
| 050 | 0 | |a QA9.7 | |
| 082 | 0 | |a 511.34 |2 22/ger | |
| 082 | 0 | |a 511.3/4 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Diaconescu, Răzvan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Institution-independent model theory |c Răzvan Diaconescu |
| 264 | 1 | |a Basel ; Boston ; Berlin |b Birkhäuser |c 2008 | |
| 300 | |a XI, 376 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in universal logic | |
| 500 | |a Literaturverz. S. 355 - 367 | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 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-3-7643-8708-2 |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777229&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016777229 | ||
Record in the Search Index
| _version_ | 1804138081243103232 |
|---|---|
| adam_text | CONTENTS 1 INTRODUCTION 1 2 CATEGORIES 7 2.1 BASIC CONCEPTS 7 2.2 LIMITS
AND CO-LIMITS 11 2.3 ADJUNCTIONS 16 2.4 2-CATEGORIES 18 2.5 INDEXED
CATEGORIES AND FIBRATIONS 20 3 INSTITUTIONS 23 3.1 FROM CONCRETE LOGIC
TO INSTITUTIONS 23 3.2 EXAMPLES OF INSTITUTIONS 28 3.3 MORPHISMS AND
COMORPHISMS 38 3.4 INSTITUTIONS AS FUNCTORS 45 4 THEORIES AND MODELS 49
4.1 THEORIES AND PRESENTATIONS 50 4.2 THEORY (CO-)LIMITS 57 4.3 MODEL
AMALGAMATION 60 4.4 THE METHOD OF DIAGRAMS 65 4.5 INCLUSION SYSTEMS 74
4.6 FREE MODELS 82 5 INTERNAL LOGIC 91 5.1 LOGICAL CONNECTIVES 92 5.2
QUANTIFIERS 94 5.3 SUBSTITUTIONS 97 5.4 REPRESENTABLE SIGNATURE
MORPHISMS 102 5.5 SATISFACTION BY INJECTIVITY 107 5.6 ELEMENTAR}
HOMOMORPHI.SMS 114 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/986316369 DIGITALISIERT DURCH * * * INDEX 368 CONTENTS
XI 13 INSTITUTIONS WITH PROOFS 275 13.1 FREE PROOF SYSTEMS 278 13.2
COMPACTNESS 284 13.3 PROOF-THEORETIC INFERNAL LOGIC 288 13.4 THE
ENTAILMENT INSTITUTION 297 13.5 BIRKHOFF COMPLETENESS 302 14
SPECIFICATION 317 14.1 STRUCTURED SPECIFICATIONS 318 14.2 SPECIFICATIONS
WITH PROOFS 327 14.3 PREDEFINED TYPES 331 15 LOGIC PROGRAMMING 337 15.1
HERBRAND THEOREMS 338 15.2 UNIFICATION 340 15.3 MODULARIZATION 344 15.4
CONSTRAINTS 346 A TABLE OF NOTATION 351 BIBLIOGRAPH}- 355
|
| adam_txt |
CONTENTS 1 INTRODUCTION 1 2 CATEGORIES 7 2.1 BASIC CONCEPTS 7 2.2 LIMITS
AND CO-LIMITS 11 2.3 ADJUNCTIONS 16 2.4 2-CATEGORIES 18 2.5 INDEXED
CATEGORIES AND FIBRATIONS 20 3 INSTITUTIONS 23 3.1 FROM CONCRETE LOGIC
TO INSTITUTIONS 23 3.2 EXAMPLES OF INSTITUTIONS 28 3.3 MORPHISMS AND
COMORPHISMS 38 3.4 INSTITUTIONS AS FUNCTORS 45 4 THEORIES AND MODELS 49
4.1 THEORIES AND PRESENTATIONS 50 4.2 THEORY (CO-)LIMITS 57 4.3 MODEL
AMALGAMATION 60 4.4 THE METHOD OF DIAGRAMS 65 4.5 INCLUSION SYSTEMS 74
4.6 FREE MODELS 82 5 INTERNAL LOGIC 91 5.1 LOGICAL CONNECTIVES 92 5.2
QUANTIFIERS 94 5.3 SUBSTITUTIONS 97 5.4 REPRESENTABLE SIGNATURE
MORPHISMS 102 5.5 SATISFACTION BY INJECTIVITY 107 5.6 ELEMENTAR}'
HOMOMORPHI.SMS 114 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/986316369 DIGITALISIERT DURCH * * * INDEX 368 CONTENTS
XI 13 INSTITUTIONS WITH PROOFS 275 13.1 FREE PROOF SYSTEMS 278 13.2
COMPACTNESS 284 13.3 PROOF-THEORETIC INFERNAL LOGIC 288 13.4 THE
ENTAILMENT INSTITUTION 297 13.5 BIRKHOFF COMPLETENESS 302 14
SPECIFICATION 317 14.1 STRUCTURED SPECIFICATIONS 318 14.2 SPECIFICATIONS
WITH PROOFS 327 14.3 PREDEFINED TYPES 331 15 LOGIC PROGRAMMING 337 15.1
HERBRAND THEOREMS 338 15.2 UNIFICATION 340 15.3 MODULARIZATION 344 15.4
CONSTRAINTS 346 A TABLE OF NOTATION 351 BIBLIOGRAPH}- 355 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Diaconescu, Răzvan |
| author_facet | Diaconescu, Răzvan |
| author_role | aut |
| author_sort | Diaconescu, Răzvan |
| author_variant | r d rd |
| building | Verbundindex |
| bvnumber | BV035109374 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.7 |
| callnumber-search | QA9.7 |
| callnumber-sort | QA 19.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)191759987 (DE-599)DNB986316369 |
| dewey-full | 511.34 511.3/4 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.34 511.3/4 |
| dewey-search | 511.34 511.3/4 |
| dewey-sort | 3511.34 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01760nam a2200493 c 4500</leader><controlfield tag="001">BV035109374</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081118 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081020s2008 sz |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N49,0809</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A24,0892</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986316369</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783764387075</subfield><subfield code="c">kart. : EUR 74.79 (freier Pr.), sfr 125.00 (freier Pr.)</subfield><subfield code="9">978-3-7643-8707-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783764387075</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12195299</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)191759987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB986316369</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">sz</subfield><subfield code="c">XA-CH</subfield><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.34</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/4</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Diaconescu, Răzvan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Institution-independent model theory</subfield><subfield code="c">Răzvan Diaconescu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel ; Boston ; Berlin</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 376 S.</subfield><subfield code="c">24 cm</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="0" ind2=" "><subfield code="a">Studies in universal logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 355 - 367</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">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-3-7643-8708-2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=016777229&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-016777229</subfield></datafield></record></collection> |
| id | DE-604.BV035109374 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:16:55Z |
| indexdate | 2024-07-09T21:22:31Z |
| institution | BVB |
| isbn | 9783764387075 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016777229 |
| oclc_num | 191759987 |
| open_access_boolean | |
| owner | DE-703 DE-29T DE-11 |
| owner_facet | DE-703 DE-29T DE-11 |
| physical | XI, 376 S. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Birkhäuser |
| record_format | marc |
| series2 | Studies in universal logic |
| spelling | Diaconescu, Răzvan Verfasser aut Institution-independent model theory Răzvan Diaconescu Basel ; Boston ; Berlin Birkhäuser 2008 XI, 376 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Studies in universal logic Literaturverz. S. 355 - 367 Logic, Symbolic and mathematical Model theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s DE-604 Erscheint auch als Online-Ausgabe 978-3-7643-8708-2 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777229&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Diaconescu, Răzvan Institution-independent model theory Logic, Symbolic and mathematical Model theory Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4114617-7 |
| title | Institution-independent model theory |
| title_auth | Institution-independent model theory |
| title_exact_search | Institution-independent model theory |
| title_exact_search_txtP | Institution-independent model theory |
| title_full | Institution-independent model theory Răzvan Diaconescu |
| title_fullStr | Institution-independent model theory Răzvan Diaconescu |
| title_full_unstemmed | Institution-independent model theory Răzvan Diaconescu |
| title_short | Institution-independent model theory |
| title_sort | institution independent model theory |
| topic | Logic, Symbolic and mathematical Model theory Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Logic, Symbolic and mathematical Model theory Modelltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016777229&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT diaconescurazvan institutionindependentmodeltheory |