Logic Colloquium '78: proceedings of the colloquium held in Mons, August 1978
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1979
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
97 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 434 S. Ill., graph. Darst. |
| ISBN: | 0444853782 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002246147 | ||
| 003 | DE-604 | ||
| 005 | 20111018 | ||
| 007 | t | ||
| 008 | 890928s1979 ad|| |||| 10||| eng d | ||
| 020 | |a 0444853782 |9 0-444-85378-2 | ||
| 035 | |a (OCoLC)185787619 | ||
| 035 | |a (DE-599)BVBBV002246147 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-703 |a DE-739 |a DE-19 |a DE-188 |a DE-706 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SD 1978 |0 (DE-625)142712: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 111 | 2 | |a Logic Colloquium |d 1978 |c Mons, Bruxelles |j Verfasser |0 (DE-588)810880-8 |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '78 |b proceedings of the colloquium held in Mons, August 1978 |c ed. by Maurice Boffa ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1979 | |
| 300 | |a X, 434 S. |b Ill., graph. Darst. | ||
| 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 97 | |
| 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 Boffa, Maurice |e Sonstige |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 97 |w (DE-604)BV000893472 |9 97 | |
| 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=001476122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001476122 | ||
Datensatz im Suchindex
| _version_ | 1804116702275829760 |
|---|---|
| adam_text | Titel: Logic Colloquium 78
Autor: Logic Colloquium, 1978, Mons, Bruxelles
Jahr: 1979
TABLE OF CONTENTS PREFACE vii M. BEESON 1 Continuity in intuitionistic set theories G. CHERLIN 53 Stable algebraic theories R. DAVID 75 * Un resultat de non contradiction relative au sujet de la conjecture de Solevay O. DEMUTH and A. KUČERA 81 Remarks on constructive mathematical analysis J. DENEF 131 The diophantine problem for polynomial rings of positive characteristic L. VAN DEN DRIES 147 * Algorithms and bounds for polynomial rings S. FEFERMAN 159 Constructive theories of functions and classes P. KÄJEK 225 * On partially conservative extensions of arithmetic A. HAJNAL and I. JUHÅSZ 235 Weakly separated subspaces and networks L. HARRINGTON and R. SAMI 247 * Equivalence relations, projective and beyond G.F. VAN DER HOEVEN and A.S. TROELSTRA 265 Projections of lawless sequences II R. LAVER 299 Linear order in (w) W under eventual dominance ix
X TABLE OF CONTENTS W. MITCHELL 303 Hypermeasurable cardinals Z. RATAJCZYK 317 * On the number of expansions of the model of ZFC-set theory to models of KM-theory of classes U. R. SCHMERL 335 * A fine structure generated by reflection formulas over primitive recursive arithmetic H. SCHWICHTENBERG 351 * Logic and the axoim of choice S. SHELAH 357 On the successors of singular cardinals E. SPECKER 381 Paul Bernays J. VAANANEN 391 * Abstract logic and set theory. I. Definability V. WEISPFENNING 423 Lattice products B. WÇGL0RZ 427 Some a-fields of subsets of reals The following invited lectures were presented at the Colloquium, but the text is * contributed papers “ o - not reproduced in the present volume. A. DODD, The core model J. FENSTAD, General rec ursive theory: a unified view A. JOYAL, Sheaves in constructive mathematics G. KRE1SEL, Godel s later views S. KRIPKE, Non-standard models and Godel s theorem M. MORLEY, Theories with few models J. PARIS, Some problems in arithmetic
|
| any_adam_object | 1 |
| author_corporate | Logic Colloquium Mons, Bruxelles |
| author_corporate_role | aut |
| author_facet | Logic Colloquium Mons, Bruxelles |
| author_sort | Logic Colloquium Mons, Bruxelles |
| building | Verbundindex |
| bvnumber | BV002246147 |
| classification_rvk | CC 2600 SD 1978 SK 130 |
| ctrlnum | (OCoLC)185787619 (DE-599)BVBBV002246147 |
| discipline | Mathematik Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01680nam a2200385 cb4500</leader><controlfield tag="001">BV002246147</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111018 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444853782</subfield><subfield code="9">0-444-85378-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)185787619</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002246147</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1978</subfield><subfield code="0">(DE-625)142712:</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">Logic Colloquium</subfield><subfield code="d">1978</subfield><subfield code="c">Mons, Bruxelles</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)810880-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '78</subfield><subfield code="b">proceedings of the colloquium held in Mons, August 1978</subfield><subfield code="c">ed. by Maurice Boffa ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 434 S.</subfield><subfield code="b">Ill., 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">97</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">Boffa, Maurice</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">97</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">97</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=001476122&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-001476122</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV002246147 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:42:42Z |
| institution | BVB |
| institution_GND | (DE-588)810880-8 |
| isbn | 0444853782 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001476122 |
| oclc_num | 185787619 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-19 DE-BY-UBM DE-188 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-19 DE-BY-UBM DE-188 DE-706 |
| physical | X, 434 S. Ill., graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| 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 Colloquium 1978 Mons, Bruxelles Verfasser (DE-588)810880-8 aut Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 ed. by Maurice Boffa ... Amsterdam [u.a.] North-Holland 1979 X, 434 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 97 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Boffa, Maurice Sonstige oth Studies in logic and the foundations of mathematics 97 (DE-604)BV000893472 97 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001476122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 Studies in logic and the foundations of mathematics Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 |
| title_auth | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 |
| title_exact_search | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 |
| title_full | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 ed. by Maurice Boffa ... |
| title_fullStr | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 ed. by Maurice Boffa ... |
| title_full_unstemmed | Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 ed. by Maurice Boffa ... |
| title_short | Logic Colloquium '78 |
| title_sort | logic colloquium 78 proceedings of the colloquium held in mons august 1978 |
| title_sub | proceedings of the colloquium held in Mons, August 1978 |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001476122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT logiccolloquiummonsbruxelles logiccolloquium78proceedingsofthecolloquiumheldinmonsaugust1978 AT boffamaurice logiccolloquium78proceedingsofthecolloquiumheldinmonsaugust1978 |