Logic Colloquium ...: 84 Proceedings of the colloquium held in Manchester, UK, July 1984
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1986
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
120 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 377 S. graph. Darst. |
| ISBN: | 0444879994 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV009389045 | ||
| 003 | DE-604 | ||
| 005 | 19960419 | ||
| 007 | t | ||
| 008 | 940401s1986 d||| |||| 10||| und d | ||
| 020 | |a 0444879994 |9 0-444-87999-4 | ||
| 035 | |a (OCoLC)634432280 | ||
| 035 | |a (DE-599)BVBBV009389045 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-29T | ||
| 111 | 2 | |a Logic Colloquium |d 1984 |c Manchester |j Verfasser |0 (DE-588)800723-8 |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium ... |n 84 |p Proceedings of the colloquium held in Manchester, UK, July 1984 |c ed.: J. B. Paris ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1986 | |
| 300 | |a X, 377 S. |b 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 120 | |
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v ... | |
| 490 | 0 | |a Lecture notes in logic |v ... | |
| 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 84 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 120 |w (DE-604)BV000893472 |9 120 | |
| 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=006229368&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006229368 | ||
Datensatz im Suchindex
| _version_ | 1804123791707602944 |
|---|---|
| adam_text | ix
CONTENTS
Preface vii
Some Results on Open and Diophantine Induction
Z. Adamowicz 1
Situations, Sets and the Axiom of Foundation
J. Barwise 21
Ultrafilters on Definable Sets of Arithmetic
P. Clote 37
Tarski s Problem and Pfaffian Functions
L. Van den Dries 59
Situation Schemata and Systems of Logic Related to Situation Semantics
J.E. Fenstad 91 *
Effective Construction of Models
J.F. Knight 105
Twenty Years of p adic Model Theory
A. Macintyre 121
Malaise et Guerison
B. Poizat 155
On the Lengths of Proofs of Finitistic Consistency Statements in
First Order Theories
P. Pudlak 165
On Categorical Theories
J. Saffe 197
Finite Homogeneous Rings of Odd Characteristic
D. Saracino and C. Wood 207
x Contents
Substructure Lattices of Models of Peano Arithmetic
J.H. Schmerl 225
Decidable Theories of Valuated Abelian Groups
P.H. Schmitt 245
Complete Universal Locally Finite Groups of Large Cardinality
S. Thomas 277
p Kg Categorial Structures
C. Toffalori 303
On Sentences Interpretable in Systems of Arithmetic
A.J. Wilkie 329
On the Model Theory of Exponential Fields (Survey)
H. Wolter 343
Bounded Arithmetic Formulas and Turing Machines of Constant Attention
A. Woods 355
|
| any_adam_object | 1 |
| author_GND | (DE-588)123876494 (DE-588)113746377 |
| author_corporate | Logic Colloquium Manchester Logic Colloquium |
| author_corporate_role | aut aut |
| author_facet | Logic Colloquium Manchester Logic Colloquium |
| author_sort | Logic Colloquium Manchester |
| building | Verbundindex |
| bvnumber | BV009389045 |
| ctrlnum | (OCoLC)634432280 (DE-599)BVBBV009389045 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01707nam a2200385 cc4500</leader><controlfield tag="001">BV009389045</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940401s1986 d||| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444879994</subfield><subfield code="9">0-444-87999-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634432280</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009389045</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=" " ind2=" "><subfield code="a">und</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">1984</subfield><subfield code="c">Manchester</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)800723-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium ...</subfield><subfield code="n">84</subfield><subfield code="p">Proceedings of the colloquium held in Manchester, UK, July 1984</subfield><subfield code="c">ed.: J. B. Paris ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 377 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">120</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="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">84</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">120</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">120</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=006229368&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-006229368</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009389045 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:35:23Z |
| institution | BVB |
| institution_GND | (DE-588)800723-8 (DE-588)1054884-1 |
| isbn | 0444879994 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006229368 |
| oclc_num | 634432280 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | X, 377 S. graph. Darst. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| 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 1984 Manchester Verfasser (DE-588)800723-8 aut Logic Colloquium ... 84 Proceedings of the colloquium held in Manchester, UK, July 1984 ed.: J. B. Paris ... Amsterdam u.a. North-Holland 1986 X, 377 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 120 Studies in logic and the foundations of mathematics ... Lecture notes in logic ... (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 84 Studies in logic and the foundations of mathematics 120 (DE-604)BV000893472 120 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229368&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Colloquium ... Studies in logic and the foundations of mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium ... |
| title_auth | Logic Colloquium ... |
| title_exact_search | Logic Colloquium ... |
| title_full | Logic Colloquium ... 84 Proceedings of the colloquium held in Manchester, UK, July 1984 ed.: J. B. Paris ... |
| title_fullStr | Logic Colloquium ... 84 Proceedings of the colloquium held in Manchester, UK, July 1984 ed.: J. B. Paris ... |
| title_full_unstemmed | Logic Colloquium ... 84 Proceedings of the colloquium held in Manchester, UK, July 1984 ed.: J. B. Paris ... |
| title_short | Logic Colloquium ... |
| title_sort | logic colloquium proceedings of the colloquium held in manchester uk july 1984 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006229368&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 logiccolloquiummanchester logiccolloquium84 AT gandyrobino logiccolloquium84 AT roseharveye logiccolloquium84 AT macintyreangus logiccolloquium84 AT logiccolloquium logiccolloquium84 |