Logic Colloquium '90: ASL summer meeting in Helsinki
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1993
|
| Schriftenreihe: | Lecture notes in logic
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 305 S. graph. Darst. |
| ISBN: | 3540570942 0387570942 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008308408 | ||
| 003 | DE-604 | ||
| 005 | 20080609 | ||
| 007 | t | ||
| 008 | 931018s1993 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540570942 |9 3-540-57094-2 | ||
| 020 | |a 0387570942 |9 0-387-57094-2 | ||
| 035 | |a (OCoLC)31113502 | ||
| 035 | |a (DE-599)BVBBV008308408 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-29 |a DE-739 |a DE-12 |a DE-91G |a DE-703 |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.A1 | |
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 245 | 1 | 0 | |a Logic Colloquium '90 |b ASL summer meeting in Helsinki |c J. Oikkonen ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1993 | |
| 300 | |a VIII, 305 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 logic |v 2 | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a logique informatique |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique symbolique |2 inriac | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Helsinki |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Oikkonen, Juha |e Sonstige |4 oth | |
| 710 | 2 | |a Association for Symbolic Logic |e Sonstige |0 (DE-588)1000449-X |4 oth | |
| 711 | 2 | |a Logic Colloquium |d 1990 |c Helsinki |j Sonstige |0 (DE-588)2133008-6 |4 oth | |
| 830 | 0 | |a Lecture notes in logic |v 2 |w (DE-604)BV008909514 |9 2 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005488619&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005488619 | ||
| 942 | 1 | 1 | |e 22/bsb |g 4897 |
Datensatz im Suchindex
| _version_ | 1804122700146278400 |
|---|---|
| adam_text | CONTENTS
Wilfried Buchholz
A note on the ordinal analysis of
KPM
................1
Steven Buechler and
Ludomir Newelski
On the geometry of
U
-rank
2
types
.................10
S. Barry Cooper
Definability and global degree theory
.................25
Patrick Dehornoy
About the irreflexivity hypothesis for free left distributive magmas
.... 46
Hans-Dieter
Donder
On
ωι-
complete filters
.......................62
D. M. Gabbay
Labelled deductive systems: a position paper
.............66
D. M. Gabbay, I. M. Hodkinson, and M. A. Reynolds
Temporal expressive completeness in the presence of gaps
........89
Jaakko Hintikka
New foundations for mathematical theories
..............122
Наш
Judah
Absoluteness for
projective
sets
...................145
Richard Laver
A division algorithm for the free left distributive algebra
........155
Grigori Mints
Gentzen-type systems and resolution rule. Part II. Predicate logic
.... 163
Joan Rand Moschovakis
An intuitionistic theory of lawlike, choice and lawless sequences
.....191
Yiannis
N.
Moschovakis
Sense and denotation as algorithm and value
.............210
M. H. Mourgues and J.-P. Ressayre
A transfinite
version of Puiseux s theorem, with applications to real
closed fields
..........................250
T. G. MUSTAFIN
On similarities of complete theories
.................259
Françoise Point
Decidability questions for theories of modules
.............266
Saharon Shelah
On
С
H
+
2Κ·
-+
(α)!
fora<w2
..................281
Alan P. Silver
On the structure of gamma degrees
.................290
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008308408 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 |
| callnumber-search | QA9.A1 |
| callnumber-sort | QA 19 A1 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1990 SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)31113502 (DE-599)BVBBV008308408 |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02111nam a2200529 cb4500</leader><controlfield tag="001">BV008308408</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931018s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540570942</subfield><subfield code="9">3-540-57094-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387570942</subfield><subfield code="9">0-387-57094-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31113502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008308408</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-384</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</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">QA9.A1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</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="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '90</subfield><subfield code="b">ASL summer meeting in Helsinki</subfield><subfield code="c">J. Oikkonen ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 305 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 logic</subfield><subfield code="v">2</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">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique informatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</subfield><subfield code="2">inriac</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="y">1990</subfield><subfield code="z">Helsinki</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Oikkonen, Juha</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1000449-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1990</subfield><subfield code="c">Helsinki</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2133008-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=005488619&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005488619</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">4897</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Helsinki gnd-content |
| genre_facet | Konferenzschrift 1990 Helsinki |
| id | DE-604.BV008308408 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:18:02Z |
| institution | BVB |
| institution_GND | (DE-588)1000449-X (DE-588)2133008-6 |
| isbn | 3540570942 0387570942 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005488619 |
| oclc_num | 31113502 |
| open_access_boolean | |
| owner | DE-384 DE-29 DE-739 DE-12 DE-91G DE-BY-TUM DE-703 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-29 DE-739 DE-12 DE-91G DE-BY-TUM DE-703 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | VIII, 305 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium '90 ASL summer meeting in Helsinki J. Oikkonen ... (ed.) Berlin [u.a.] Springer 1993 VIII, 305 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 2 Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram logique informatique inriac logique mathématique inriac logique symbolique inriac Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Helsinki gnd-content Logik (DE-588)4036202-4 s DE-604 Oikkonen, Juha Sonstige oth Association for Symbolic Logic Sonstige (DE-588)1000449-X oth Logic Colloquium 1990 Helsinki Sonstige (DE-588)2133008-6 oth Lecture notes in logic 2 (DE-604)BV008909514 2 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005488619&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Colloquium '90 ASL summer meeting in Helsinki Lecture notes in logic Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram logique informatique inriac logique mathématique inriac logique symbolique inriac Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_auth | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_exact_search | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_full | Logic Colloquium '90 ASL summer meeting in Helsinki J. Oikkonen ... (ed.) |
| title_fullStr | Logic Colloquium '90 ASL summer meeting in Helsinki J. Oikkonen ... (ed.) |
| title_full_unstemmed | Logic Colloquium '90 ASL summer meeting in Helsinki J. Oikkonen ... (ed.) |
| title_short | Logic Colloquium '90 |
| title_sort | logic colloquium 90 asl summer meeting in helsinki |
| title_sub | ASL summer meeting in Helsinki |
| topic | Logique symbolique et mathématique - Congrès Logique symbolique et mathématique - Congrès ram logique informatique inriac logique mathématique inriac logique symbolique inriac Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique symbolique et mathématique - Congrès logique informatique logique mathématique logique symbolique Logic, Symbolic and mathematical Congresses Logik Konferenzschrift 1990 Helsinki |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005488619&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT oikkonenjuha logiccolloquium90aslsummermeetinginhelsinki AT associationforsymboliclogic logiccolloquium90aslsummermeetinginhelsinki AT logiccolloquiumhelsinki logiccolloquium90aslsummermeetinginhelsinki |