Conference in Mathematical Logic: London 70
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1972
|
| Schriftenreihe: | Lecture notes in mathematics
255 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 351 S. graph. Darst. |
| ISBN: | 3540057447 0387057447 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001941443 | ||
| 003 | DE-604 | ||
| 005 | 20080514 | ||
| 007 | t | ||
| 008 | 890928s1972 d||| |||| 10||| eng d | ||
| 020 | |a 3540057447 |9 3-540-05744-7 | ||
| 020 | |a 0387057447 |9 0-387-05744-7 | ||
| 035 | |a (OCoLC)603590111 | ||
| 035 | |a (DE-599)BVBBV001941443 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-19 |a DE-706 |a DE-11 |a DE-188 |a DE-83 |a DE-210 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 511/.3 | |
| 082 | 0 | |a 511/.8 | |
| 082 | 0 | |a 510/.8 | |
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 111 | 2 | |a Conference in Mathematical Logic |d 1970 |c London |j Verfasser |0 (DE-588)1017174-5 |4 aut | |
| 245 | 1 | 0 | |a Conference in Mathematical Logic |b London 70 |c ed. by Wilfrid Hodges |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1972 | |
| 300 | |a VI, 351 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 255 | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hodges, Wilfrid |d 1941- |e Sonstige |0 (DE-588)108085392 |4 oth | |
| 830 | 0 | |a Lecture notes in mathematics |v 255 |w (DE-604)BV000676446 |9 255 | |
| 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=001265397&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001265397 | ||
Datensatz im Suchindex
| _version_ | 1804116381820518400 |
|---|---|
| adam_text | CONTENTS
1. PETER ACZEL and WAYNE HICHTER
Inductive definitions and analogues of large cardinals .. 1
2. PAUL D. BACSICH
Compact injectives and non standard analysis 10
3. J. C. COLE and M. A. DICKMANN
Non axiomatizability results in infinitary languages for
higher order structures 29
k. NI EL CUTLAND
llj models and Hj categoricity 42
5. SOLOMON PEPERMAN
Infinitary properties, local functors, and systems of
ordinal functions 63
6. KIT PINE
Logics containing SU without the finite model property .. 98
7. MELVIN PITTING
An e calculus system for first order SU 103
8. DOV M. GABBAY
Craig s interpolation theorem for modal logics . • ..111
9. HAIM GAIPMAN
A note on models and submodels of arithmetic .. .. .. 12o
10. ARNULP HIRSCHELMANN
An application of ultra products to prime rings with
polynomial identities 145
11. A. H. LACHLAN
Embedding nondistributive lattices in the recursively
enumerable degrees 149
VI
12. ANGUS MACINTYRE
Direct powers with distinguished diagonal 178
13. A. R. D. MATHIAS
Solution of problems of Choquet and Puritz 204
11+. J. M. B. MOSS
Some B. Russell s sprouts (1903 1908) 211
15. J. B. PARIS
On models of arithmetic 251
16. MOTO 0 TAKAHASHI
2^ definability in set theory 281
17. C E. M. YATES
Initial segments and implications for the structure of
degrees 305
18. ABSTRACTS OP CONTRIBUTED PAPERS
Peter Aczel
J. L. Bell and P. Jellett
Roger Cusin
Paul Eklof and Gabriel Sabbagh
Paul Poulkes
Dov M. Gabbay
J. Heidema
P. Henrard
Th. Lucas
G. P. Monro
B. P. Moss
Gerold Stahl
John Tucker
S. S. Wainer 336
|
| any_adam_object | 1 |
| author_GND | (DE-588)108085392 |
| author_corporate | Conference in Mathematical Logic London |
| author_corporate_role | aut |
| author_facet | Conference in Mathematical Logic London |
| author_sort | Conference in Mathematical Logic London |
| building | Verbundindex |
| bvnumber | BV001941443 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 850 SK 130 |
| ctrlnum | (OCoLC)603590111 (DE-599)BVBBV001941443 |
| dewey-full | 511/.3 511/.8 510/.8 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics 510 - Mathematics |
| dewey-raw | 511/.3 511/.8 510/.8 |
| dewey-search | 511/.3 511/.8 510/.8 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01900nam a2200469 cb4500</leader><controlfield tag="001">BV001941443</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080514 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1972 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540057447</subfield><subfield code="9">3-540-05744-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387057447</subfield><subfield code="9">0-387-05744-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)603590111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001941443</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.8</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</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="111" ind1="2" ind2=" "><subfield code="a">Conference in Mathematical Logic</subfield><subfield code="d">1970</subfield><subfield code="c">London</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1017174-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference in Mathematical Logic</subfield><subfield code="b">London 70</subfield><subfield code="c">ed. by Wilfrid Hodges</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 351 S.</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">Lecture notes in mathematics</subfield><subfield code="v">255</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</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="700" ind1="1" ind2=" "><subfield code="a">Hodges, Wilfrid</subfield><subfield code="d">1941-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)108085392</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">255</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">255</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=001265397&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-001265397</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV001941443 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:37:37Z |
| institution | BVB |
| institution_GND | (DE-588)1017174-5 |
| isbn | 3540057447 0387057447 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001265397 |
| oclc_num | 603590111 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-83 DE-210 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-83 DE-210 |
| physical | VI, 351 S. graph. Darst. |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Conference in Mathematical Logic 1970 London Verfasser (DE-588)1017174-5 aut Conference in Mathematical Logic London 70 ed. by Wilfrid Hodges Berlin [u.a.] Springer 1972 VI, 351 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 255 Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Hodges, Wilfrid 1941- Sonstige (DE-588)108085392 oth Lecture notes in mathematics 255 (DE-604)BV000676446 255 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001265397&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference in Mathematical Logic London 70 Lecture notes in mathematics Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Conference in Mathematical Logic London 70 |
| title_auth | Conference in Mathematical Logic London 70 |
| title_exact_search | Conference in Mathematical Logic London 70 |
| title_full | Conference in Mathematical Logic London 70 ed. by Wilfrid Hodges |
| title_fullStr | Conference in Mathematical Logic London 70 ed. by Wilfrid Hodges |
| title_full_unstemmed | Conference in Mathematical Logic London 70 ed. by Wilfrid Hodges |
| title_short | Conference in Mathematical Logic |
| title_sort | conference in mathematical logic london 70 |
| title_sub | London 70 |
| topic | Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique symbolique et mathématique - Congrès Wiskundige logica Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001265397&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT conferenceinmathematicallogiclondon conferenceinmathematicallogiclondon70 AT hodgeswilfrid conferenceinmathematicallogiclondon70 |