Sets and proofs :: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meetin...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
1999.
|
| Schriftenreihe: | London Mathematical Society lecture note series ;
258. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. |
| Beschreibung: | 1 online resource (ix, 436 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781107089129 1107089123 9781107325944 1107325943 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn861692801 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131029s1999 enka ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d OCLCO |d CAMBR |d OCLCO |d OCLCF |d UAB |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d OCLCQ |d VTS |d REC |d STF |d AU@ |d M8D |d UKAHL |d OCLCQ |d OCL |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 868493233 |a 1032365167 |a 1032602737 |a 1433228783 | ||
| 020 | |a 9781107089129 |q (electronic bk.) | ||
| 020 | |a 1107089123 |q (electronic bk.) | ||
| 020 | |a 9781107325944 |q (electronic bk.) | ||
| 020 | |a 1107325943 |q (electronic bk.) | ||
| 020 | |z 0521635497 | ||
| 020 | |z 9780521635493 | ||
| 035 | |a (OCoLC)861692801 |z (OCoLC)868493233 |z (OCoLC)1032365167 |z (OCoLC)1032602737 |z (OCoLC)1433228783 | ||
| 050 | 4 | |a QA248 |b .L634 1997eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3/22 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium |d (1997 : |c Leeds, England) | |
| 245 | 1 | 0 | |a Sets and proofs : |b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |c edited by S. Barry Cooper, John K. Truss. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 1999. | |
| 300 | |a 1 online resource (ix, 436 pages) : |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 London Mathematical Society lecture note series ; |v 258 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. | ||
| 650 | 0 | |a Set theory |v Congresses. | |
| 650 | 0 | |a Proof theory |v Congresses. | |
| 650 | 6 | |a Théorie des ensembles |v Congrès. | |
| 650 | 6 | |a Théorie de la preuve |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 1 | 7 | |a Verzamelingen (wiskunde) |2 gtt |
| 650 | 1 | 7 | |a Bewijstheorie. |2 gtt |
| 650 | 7 | |a Teoria dos conjuntos (congressos) |2 larpcal | |
| 650 | 7 | |a Lógica matemática (congressos) |2 larpcal | |
| 650 | 7 | |a Ensembles, Théorie des. |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la. |2 ram | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Cooper, S. B. |q (S. Barry) |0 http://id.loc.gov/authorities/names/n95107558 | |
| 700 | 1 | |a Truss, J. K. | |
| 710 | 2 | |a Association for Symbolic Logic. |0 http://id.loc.gov/authorities/names/n50054564 | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (1997 : Leeds, England). |t Sets and proofs |z 0521635497 |w (DLC) 99019676 |w (OCoLC)40777013 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 258. |0 http://id.loc.gov/authorities/names/n42015587 | |
| 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=569275 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25561758 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26385111 | ||
| 938 | |a EBSCOhost |b EBSC |n 569275 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn861692801 |
|---|---|
| _version_ | 1816882249006579712 |
| adam_text | |
| any_adam_object | |
| author2 | Cooper, S. B. (S. Barry) Truss, J. K. |
| author2_role | |
| author2_variant | s b c sb sbc j k t jk jkt |
| author_GND | http://id.loc.gov/authorities/names/n95107558 |
| author_corporate | Logic Colloquium Leeds, England Association for Symbolic Logic |
| author_corporate_role | |
| author_facet | Cooper, S. B. (S. Barry) Truss, J. K. Logic Colloquium Leeds, England Association for Symbolic Logic |
| author_sort | Logic Colloquium Leeds, England |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 .L634 1997eb |
| callnumber-search | QA248 .L634 1997eb |
| callnumber-sort | QA 3248 L634 41997EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch. |
| ctrlnum | (OCoLC)861692801 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| 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>04701cam a2200709 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn861692801</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">131029s1999 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">OCLCO</subfield><subfield code="d">CAMBR</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">UAB</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">STF</subfield><subfield code="d">AU@</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">868493233</subfield><subfield code="a">1032365167</subfield><subfield code="a">1032602737</subfield><subfield code="a">1433228783</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107089129</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107089123</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107325944</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107325943</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521635497</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521635493</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861692801</subfield><subfield code="z">(OCoLC)868493233</subfield><subfield code="z">(OCoLC)1032365167</subfield><subfield code="z">(OCoLC)1032602737</subfield><subfield code="z">(OCoLC)1433228783</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA248</subfield><subfield code="b">.L634 1997eb</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/22</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</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">(1997 :</subfield><subfield code="c">Leeds, England)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets and proofs :</subfield><subfield code="b">invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /</subfield><subfield code="c">edited by S. Barry Cooper, John K. Truss.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">1999.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 436 pages) :</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">London Mathematical Society lecture note series ;</subfield><subfield code="v">258</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des ensembles</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve</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">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Bewijstheorie.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos conjuntos (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles, Théorie des.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la.</subfield><subfield code="2">ram</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">Cooper, S. B.</subfield><subfield code="q">(S. Barry)</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95107558</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Truss, J. K.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n50054564</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Logic Colloquium (1997 : Leeds, England).</subfield><subfield code="t">Sets and proofs</subfield><subfield code="z">0521635497</subfield><subfield code="w">(DLC) 99019676</subfield><subfield code="w">(OCoLC)40777013</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">258.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015587</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=569275</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">AH25561758</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26385111</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">569275</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-ocn861692801 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:36Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n50054564 |
| isbn | 9781107089129 1107089123 9781107325944 1107325943 |
| language | English |
| oclc_num | 861692801 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (ix, 436 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | London Mathematical Society lecture note series ; |
| series2 | London Mathematical Society lecture note series ; |
| spelling | Logic Colloquium (1997 : Leeds, England) Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. Cambridge ; New York : Cambridge University Press, 1999. 1 online resource (ix, 436 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society lecture note series ; 258 Includes bibliographical references. An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch. Print version record. Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. Set theory Congresses. Proof theory Congresses. Théorie des ensembles Congrès. Théorie de la preuve Congrès. MATHEMATICS General. bisacsh Proof theory fast Set theory fast Logica. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal Ensembles, Théorie des. ram Preuve, Théorie de la. ram Conference papers and proceedings fast Cooper, S. B. (S. Barry) http://id.loc.gov/authorities/names/n95107558 Truss, J. K. Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564 Print version: Logic Colloquium (1997 : Leeds, England). Sets and proofs 0521635497 (DLC) 99019676 (OCoLC)40777013 London Mathematical Society lecture note series ; 258. http://id.loc.gov/authorities/names/n42015587 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569275 Volltext |
| spellingShingle | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / London Mathematical Society lecture note series ; An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch. Set theory Congresses. Proof theory Congresses. Théorie des ensembles Congrès. Théorie de la preuve Congrès. MATHEMATICS General. bisacsh Proof theory fast Set theory fast Logica. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal Ensembles, Théorie des. ram Preuve, Théorie de la. ram |
| title | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_auth | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_exact_search | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| title_full | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_fullStr | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_full_unstemmed | Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. |
| title_short | Sets and proofs : |
| title_sort | sets and proofs invited papers from logic colloquium 97 european meeting of the association for symbolic logic leeds july 1997 |
| title_sub | invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / |
| topic | Set theory Congresses. Proof theory Congresses. Théorie des ensembles Congrès. Théorie de la preuve Congrès. MATHEMATICS General. bisacsh Proof theory fast Set theory fast Logica. gtt Verzamelingen (wiskunde) gtt Bewijstheorie. gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal Ensembles, Théorie des. ram Preuve, Théorie de la. ram |
| topic_facet | Set theory Congresses. Proof theory Congresses. Théorie des ensembles Congrès. Théorie de la preuve Congrès. MATHEMATICS General. Proof theory Set theory Logica. Verzamelingen (wiskunde) Bewijstheorie. Teoria dos conjuntos (congressos) Lógica matemática (congressos) Ensembles, Théorie des. Preuve, Théorie de la. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569275 |
| work_keys_str_mv | AT logiccolloquiumleedsengland setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogic setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 |