Logic Colloquium '96 :: proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge : Ithaca, NY :
Cambridge University Press ; Association for Symbolic Logic,
[2016]
|
| Schriftenreihe: | Lecture notes in logic ;
12. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. |
| Beschreibung: | 1 online resource : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781316754238 1316754235 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982287949 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170413s2016 enka ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d EBLCP |d N$T |d OCLCF |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 020 | |a 9781316754238 |q (electronic bk.) | ||
| 020 | |a 1316754235 |q (electronic bk.) | ||
| 035 | |a (OCoLC)982287949 | ||
| 050 | 4 | |a QA9.A1 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium |d (1996 : |c San Sebastián, Spain) | |
| 245 | 1 | 0 | |a Logic Colloquium '96 : |b proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / |c edited by J.M. Larrazabal, D. LAscar, G. Mints. |
| 264 | 1 | |a Cambridge : |b Cambridge University Press ; |a Ithaca, NY : |b Association for Symbolic Logic, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic ; |v 12 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). | |
| 505 | 8 | |a 1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC | |
| 505 | 8 | |a 5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels | |
| 505 | 0 | |a Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)] | |
| 505 | 8 | |a 7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity | |
| 505 | 8 | |a 9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis | |
| 520 | |a Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Larrazabal, Jesús M., |e editor. |0 http://id.loc.gov/authorities/names/n91104381 | |
| 700 | 1 | |a Lascar, D. |q (Daniel), |d 1942- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjCP6qBvdXhMFjXQbtFpCP |0 http://id.loc.gov/authorities/names/n82091371 | |
| 700 | 1 | |a Mint︠s︡, G. E., |e editor. |0 http://id.loc.gov/authorities/names/n84801193 | |
| 700 | 1 | |a Cooper, S. B. |q (S. Barry) |1 https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq |0 http://id.loc.gov/authorities/names/n95107558 | |
| 758 | |i has work: |a Logic Colloquium '96 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGVm9d3HDX8RPYW9CrphVC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 830 | 0 | |a Lecture notes in logic ; |v 12. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475856 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34211146 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32658257 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32588626 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4812292 | ||
| 938 | |a EBSCOhost |b EBSC |n 1475856 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287949 |
|---|---|
| _version_ | 1816882385896079360 |
| adam_text | |
| any_adam_object | |
| author2 | Larrazabal, Jesús M. Lascar, D. (Daniel), 1942- Mint︠s︡, G. E. Cooper, S. B. (S. Barry) |
| author2_role | edt edt edt |
| author2_variant | j m l jm jml d l dl g e m ge gem s b c sb sbc |
| author_GND | http://id.loc.gov/authorities/names/n91104381 http://id.loc.gov/authorities/names/n82091371 http://id.loc.gov/authorities/names/n84801193 http://id.loc.gov/authorities/names/n95107558 |
| author_corporate | Logic Colloquium San Sebastián, Spain |
| author_corporate_role | |
| author_facet | Larrazabal, Jesús M. Lascar, D. (Daniel), 1942- Mint︠s︡, G. E. Cooper, S. B. (S. Barry) Logic Colloquium San Sebastián, Spain |
| author_sort | Logic Colloquium San Sebastián, Spain |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 |
| callnumber-search | QA9.A1 |
| callnumber-sort | QA 19 A1 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | 1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC 5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)] 7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity 9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis |
| ctrlnum | (OCoLC)982287949 |
| 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 | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05807cam a2200613 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287949</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">170413s2016 enka ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCF</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316754238</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316754235</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287949</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(1996 :</subfield><subfield code="c">San Sebastián, Spain)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '96 :</subfield><subfield code="b">proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /</subfield><subfield code="c">edited by J.M. Larrazabal, D. LAscar, G. Mints.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press ;</subfield><subfield code="a">Ithaca, NY :</subfield><subfield code="b">Association for Symbolic Logic,</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">12</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 18, 2017).</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)]</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larrazabal, Jesús M.,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n91104381</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lascar, D.</subfield><subfield code="q">(Daniel),</subfield><subfield code="d">1942-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjCP6qBvdXhMFjXQbtFpCP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n82091371</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mint︠s︡, G. E.,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84801193</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="q">(S. Barry)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95107558</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic Colloquium '96 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGVm9d3HDX8RPYW9CrphVC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">12.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475856</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH34211146</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32658257</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32588626</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4812292</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475856</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn982287949 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| isbn | 9781316754238 1316754235 |
| language | English |
| oclc_num | 982287949 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press ; Association for Symbolic Logic, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Logic Colloquium (1996 : San Sebastián, Spain) Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints. Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016] ©2016 1 online resource : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 12 Includes bibliographical references. Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). 1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC 5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)] 7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity 9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast Conference papers and proceedings fast Larrazabal, Jesús M., editor. http://id.loc.gov/authorities/names/n91104381 Lascar, D. (Daniel), 1942- editor. https://id.oclc.org/worldcat/entity/E39PCjCP6qBvdXhMFjXQbtFpCP http://id.loc.gov/authorities/names/n82091371 Mint︠s︡, G. E., editor. http://id.loc.gov/authorities/names/n84801193 Cooper, S. B. (S. Barry) https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq http://id.loc.gov/authorities/names/n95107558 has work: Logic Colloquium '96 (Text) https://id.oclc.org/worldcat/entity/E39PCGVm9d3HDX8RPYW9CrphVC https://id.oclc.org/worldcat/ontology/hasWork Lecture notes in logic ; 12. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475856 Volltext |
| spellingShingle | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / Lecture notes in logic ; 1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC 5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)] 7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity 9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast |
| title | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / |
| title_auth | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / |
| title_exact_search | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / |
| title_full | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints. |
| title_fullStr | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints. |
| title_full_unstemmed | Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints. |
| title_short | Logic Colloquium '96 : |
| title_sort | logic colloquium 96 proceedings of the colloquium held in san sebastian spain july 9 15 1996 |
| title_sub | proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / |
| topic | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS General. Logic, Symbolic and mathematical Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475856 |
| work_keys_str_mv | AT logiccolloquiumsansebastianspain logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 AT larrazabaljesusm logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 AT lascard logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 AT mintsge logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 AT coopersb logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 |