Logic Colloquium ...: 80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Multiple |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1982
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
108 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 342 S. |
| ISBN: | 0444864652 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV009389044 | ||
| 003 | DE-604 | ||
| 005 | 19960419 | ||
| 007 | t | ||
| 008 | 940401s1982 |||| 10||| mul d | ||
| 020 | |a 0444864652 |9 0-444-86465-2 | ||
| 035 | |a (OCoLC)461819782 | ||
| 035 | |a (DE-599)BVBBV009389044 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a mul | |
| 049 | |a DE-29T | ||
| 111 | 2 | |a Logic Colloquium |d 1980 |c Prag |j Verfasser |0 (DE-588)810882-1 |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium ... |n 80 |p Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980 |c ed. by Dirk van Dalen |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1982 | |
| 300 | |a X, 342 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 108 | |
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v ... | |
| 490 | 0 | |a Lecture notes in logic |v ... | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Gandy, Robin O. |d 1919-1995 |e Sonstige |0 (DE-588)123876494 |4 oth | |
| 700 | 1 | |a Rose, Harvey E. |e Sonstige |4 oth | |
| 700 | 1 | |a Macintyre, Angus |e Sonstige |0 (DE-588)113746377 |4 oth | |
| 711 | 2 | |a Logic Colloquium |j Verfasser |0 (DE-588)1054884-1 |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV009389041 |g 80 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 108 |w (DE-604)BV000893472 |9 108 | |
| 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=006229367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006229367 | ||
Datensatz im Suchindex
| _version_ | 1804123791703408640 |
|---|---|
| adam_text | ix
TABLE OF CONTENTS
PREFACE v
EDITORS NOTE vii
B. BALCAR, P. SIMON
Strong decomposability of ultrafilters I 1
M.J. BEESON
Problematic principles in constructive mathematics 11
P. CEGIELSKY, K. McALOON, G. WILMERS
Modeles recursivement satures de l addition et de la multiplication
des entiers naturels 57
G. CHERLIN, U. FELGNER
Quantifier eliminable groups 69
D. VAN DALEN
Singleton reals 83
S. FEFERMAN
Inductively presented systems and the formalization of
meta mathematics 95
R.O. GANDY
Limitations to mathematical knowledge 129
L. HARRINGTON, S. SHELAH
Counting equivalence classes for co K Souslin equivalence
relations 147
A. KANAMORI
On Silver s and related principles 153
x Table of Contents
R. LAVER
An (^2^2 ^o) saturated ideal on coi 173
M. LERMAN, J.B. REMMEL
The universal splitting property: I 181
W. MITCHELL
How weak is a closed unbounded ultrafilter? 209
R.A. SHORE
The Turing and truth table degrees are not elementarily equivalent 231
S.G. SIMPSON
Si and IIx transfinite induction 239
Set theoretic aspects of ATR0 255
C. SMORYNSI
Back and forth inside a recursively saturated model
of arithmetic 273
A.S. TROELSTRA
Intuitionistic extensions of the reals II 279
A.J. WILKIE
On core structures for Peano arithmetic 311
A. ZARACH
Unions of ZF models which are themselves ZF models 315
|
| any_adam_object | 1 |
| author_GND | (DE-588)123876494 (DE-588)113746377 |
| author_corporate | Logic Colloquium Prag Logic Colloquium |
| author_corporate_role | aut aut |
| author_facet | Logic Colloquium Prag Logic Colloquium |
| author_sort | Logic Colloquium Prag |
| building | Verbundindex |
| bvnumber | BV009389044 |
| ctrlnum | (OCoLC)461819782 (DE-599)BVBBV009389044 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01807nam a2200397 cc4500</leader><controlfield tag="001">BV009389044</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940401s1982 |||| 10||| mul d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444864652</subfield><subfield code="9">0-444-86465-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)461819782</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009389044</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">mul</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1980</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)810882-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium ...</subfield><subfield code="n">80</subfield><subfield code="p">Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980</subfield><subfield code="c">ed. by Dirk van Dalen</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">X, 342 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">108</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">...</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">...</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="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="700" ind1="1" ind2=" "><subfield code="a">Gandy, Robin O.</subfield><subfield code="d">1919-1995</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123876494</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rose, Harvey E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Macintyre, Angus</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113746377</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1054884-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV009389041</subfield><subfield code="g">80</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">108</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">108</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=006229367&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-006229367</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009389044 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:35:23Z |
| institution | BVB |
| institution_GND | (DE-588)810882-1 (DE-588)1054884-1 |
| isbn | 0444864652 |
| language | Multiple |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006229367 |
| oclc_num | 461819782 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | X, 342 S. |
| 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 Lecture notes in logic |
| spelling | Logic Colloquium 1980 Prag Verfasser (DE-588)810882-1 aut Logic Colloquium ... 80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980 ed. by Dirk van Dalen Amsterdam u.a. North-Holland 1982 X, 342 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 108 Studies in logic and the foundations of mathematics ... Lecture notes in logic ... Logique symbolique et mathématique - Congrès ram (DE-588)1071861417 Konferenzschrift gnd-content Gandy, Robin O. 1919-1995 Sonstige (DE-588)123876494 oth Rose, Harvey E. Sonstige oth Macintyre, Angus Sonstige (DE-588)113746377 oth Logic Colloquium Verfasser (DE-588)1054884-1 aut (DE-604)BV009389041 80 Studies in logic and the foundations of mathematics 108 (DE-604)BV000893472 108 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Colloquium ... Studies in logic and the foundations of mathematics Logique symbolique et mathématique - Congrès ram |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium ... |
| title_auth | Logic Colloquium ... |
| title_exact_search | Logic Colloquium ... |
| title_full | Logic Colloquium ... 80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980 ed. by Dirk van Dalen |
| title_fullStr | Logic Colloquium ... 80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980 ed. by Dirk van Dalen |
| title_full_unstemmed | Logic Colloquium ... 80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic, Prague, August 24 - 30, 1980 ed. by Dirk van Dalen |
| title_short | Logic Colloquium ... |
| title_sort | logic colloquium papers intended for the european summer meeting of the association for symbolic logic prague august 24 30 1980 |
| topic | Logique symbolique et mathématique - Congrès ram |
| topic_facet | Logique symbolique et mathématique - Congrès Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009389041 (DE-604)BV000893472 |
| work_keys_str_mv | AT logiccolloquiumprag logiccolloquium80 AT gandyrobino logiccolloquium80 AT roseharveye logiccolloquium80 AT macintyreangus logiccolloquium80 AT logiccolloquium logiccolloquium80 |