Patras Logic Symposion: proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1982
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
109 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 391 S. |
| ISBN: | 0444864768 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000076613 | ||
| 003 | DE-604 | ||
| 005 | 20081114 | ||
| 007 | t | ||
| 008 | 870612s1982 |||| 10||| eng d | ||
| 020 | |a 0444864768 |9 0-444-86476-8 | ||
| 035 | |a (OCoLC)8689394 | ||
| 035 | |a (DE-599)BVBBV000076613 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9.A1 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SD 1980 |0 (DE-625)142714: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 111 | 2 | |a Logic Symposion |d 1980 |c Patras |j Verfasser |0 (DE-588)1086816-1 |4 aut | |
| 245 | 1 | 0 | |a Patras Logic Symposion |b proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 |c ed. by George Metakides |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1982 | |
| 300 | |a IX, 391 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 109 | |
| 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 |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1980 |z Patras |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Metakidēs, Geōrgios |e Sonstige |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 109 |w (DE-604)BV000893472 |9 109 | |
| 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=000034728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 940 | 1 | |q TUB-nseb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000034728 | ||
| 942 | 1 | 1 | |e 22/bsb |g 495 |
Datensatz im Suchindex
| _version_ | 1804114531588243456 |
|---|---|
| adam_text | vii
CONTENTS
PROLOGOS ix
S.C. KLEENE
Recursive Functionals and Quantifiers of Finite Types Revisited III 1
A. NERODE and J. REMMEL
Recursion Theory on Matroids 41
J.T. BALDWIN
Recursion Theory and Abstract Dependence 67
I. KALANTARI
Major Subsets in Effective Topology 77
E. EISENBERG and J. REMMEL
Effective Isomorphisms of Algebraic Structures 95
M. LERMAN and J. ROSENSTEIN
Recursive Linear Orderings 123
D. NORMANN
External and Internal Algorithms on the Continous Functionals 137
S.D. FRIEDMAN
The Turing Degrees and the Metadegrees have Isomorphic Cones 145
V. HUBER DYSON
Symmetric Groups and the Open Sentence Problem 159
S. FEFERMAN
Iterated Inductive, Fixed Point Theories: Application to Hancock s
Conjecture 171
H. FRIEDMAN, K. McALOON and S.G. SIMPSON
A Finite Combinatorial Principle which is Equivalent to the 1 Consistency
of Predicative Analysis 197
vHi Contents
L. HAY and D.E. MILLER
The Addison Game Played Backwards: Index Sets in Topology 231
J. STERN
Analytic Equivalence Relations and Coanalytic Games 239
V. WEISPFENNING
Model Theory and Lattices of Formulas 261
R. LAVER
Saturated Ideals and Nonregular Ultrafilters 297
J. BURGESS
What are R Sets? 307
C.T. CHONG
Global and Local Admissibility 325
A. KANAMORI
Morass Level Combinatorial Principles 339
J. VAANANEN
Generalized Quantifiers in Models of Set Theory 359
N. MOTOHASHI
e Theorems and Elimination Theorems of Uniqueness Conditions 373
list of Partipants 389
|
| any_adam_object | 1 |
| author_corporate | Logic Symposion Patras |
| author_corporate_role | aut |
| author_facet | Logic Symposion Patras |
| author_sort | Logic Symposion Patras |
| building | Verbundindex |
| bvnumber | BV000076613 |
| 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 1980 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)8689394 (DE-599)BVBBV000076613 |
| 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 | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02037nam a2200505 cb4500</leader><controlfield tag="001">BV000076613</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444864768</subfield><subfield code="9">0-444-86476-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)8689394</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000076613</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.A1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1980</subfield><subfield code="0">(DE-625)142714:</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="111" ind1="2" ind2=" "><subfield code="a">Logic Symposion</subfield><subfield code="d">1980</subfield><subfield code="c">Patras</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1086816-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Patras Logic Symposion</subfield><subfield code="b">proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980</subfield><subfield code="c">ed. by George Metakides</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 391 S.</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">109</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="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">1980</subfield><subfield code="z">Patras</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="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Metakidēs, Geōrgios</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">109</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">109</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=000034728&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="940" ind1="1" ind2=" "><subfield code="q">TUB-nseb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000034728</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">495</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1980 Patras gnd-content |
| genre_facet | Konferenzschrift 1980 Patras |
| id | DE-604.BV000076613 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:08:12Z |
| institution | BVB |
| institution_GND | (DE-588)1086816-1 |
| isbn | 0444864768 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000034728 |
| oclc_num | 8689394 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | IX, 391 S. |
| psigel | TUB-nseb |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic Symposion 1980 Patras Verfasser (DE-588)1086816-1 aut Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides Amsterdam [u.a.] North-Holland 1982 IX, 391 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 109 Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1980 Patras gnd-content Logik (DE-588)4036202-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s Metakidēs, Geōrgios Sonstige oth Studies in logic and the foundations of mathematics 109 (DE-604)BV000893472 109 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000034728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 Studies in logic and the foundations of mathematics Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 |
| title_auth | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 |
| title_exact_search | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 |
| title_full | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides |
| title_fullStr | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides |
| title_full_unstemmed | Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides |
| title_short | Patras Logic Symposion |
| title_sort | patras logic symposion proceedings of the logic symposion held at patras greece august 18 22 1980 |
| title_sub | proceedings of the Logic Symposion held at Patras, Greece, August 18 - 22, 1980 |
| topic | Logique symbolique et mathématique - Congrès Wiskundige logica gtt Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique symbolique et mathématique - Congrès Wiskundige logica Logic, Symbolic and mathematical Congresses Mathematische Logik Logik Konferenzschrift 1980 Patras |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000034728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT logicsymposionpatras patraslogicsymposionproceedingsofthelogicsymposionheldatpatrasgreeceaugust18221980 AT metakidesgeorgios patraslogicsymposionproceedingsofthelogicsymposionheldatpatrasgreeceaugust18221980 |