Simplified independence proofs: Boolean valued models of set theory
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Academic Press
1969
|
| Schriftenreihe: | Pure and applied mathematics (Academic Press)
31 |
| Schlagwörter: | |
| Links: | http://www.sciencedirect.com/science/book/9780123745736 |
| Beschreibung: | Includes bibliographical references (p. 214) |
| Umfang: | 1 Online-Ressource (xv, 217 p.) |
| ISBN: | 9780123745736 012374573X 9780080873435 008087343X 0125980507 9780125980500 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317892 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1969 xx o|||| 00||| eng d | ||
| 020 | |a 9780123745736 |9 978-0-12-374573-6 | ||
| 020 | |a 012374573X |9 0-12-374573-X | ||
| 020 | |a 9780080873435 |c electronic bk. |9 978-0-08-087343-5 | ||
| 020 | |a 008087343X |c electronic bk. |9 0-08-087343-X | ||
| 020 | |a 0125980507 |9 0-12-598050-7 | ||
| 020 | |a 9780125980500 |9 978-0-12-598050-0 | ||
| 035 | |a (ZDB-33-EBS)ocn316573433 | ||
| 035 | |a (OCoLC)316573433 | ||
| 035 | |a (DE-599)BVBBV042317892 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 164 |2 22 | |
| 100 | 1 | |a Rosser, J. Barkley, (John Barkley) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Simplified independence proofs |b Boolean valued models of set theory |c J. Barkley Rosser |
| 246 | 1 | 3 | |a Boolean valued models of set theory |
| 264 | 1 | |a New York |b Academic Press |c 1969 | |
| 300 | |a 1 Online-Ressource (xv, 217 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Pure and applied mathematics (Academic Press) |v 31 | |
| 500 | |a Includes bibliographical references (p. 214) | ||
| 650 | 7 | |a Unabhängigkeitsbeweis |2 swd | |
| 650 | 4 | |a Boole, Algèbre de | |
| 650 | 4 | |a Ensembles, Théorie des | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Algebra, Boolean |2 fast | |
| 650 | 7 | |a Independence (Mathematics) |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 7 | |a MATHEMATICS / Set Theory |2 bisacsh | |
| 650 | 7 | |a Beweis |2 swd | |
| 650 | 7 | |a Boolesche Algebra |2 swd | |
| 650 | 7 | |a Mathematik |2 swd | |
| 650 | 7 | |a Mengenlehre |2 swd | |
| 650 | 4 | |a Independence (Mathematics) | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Algebra |0 (DE-588)4146280-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780123745736 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 912 | |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027754883 | |
Datensatz im Suchindex
| _version_ | 1818979961815433216 |
|---|---|
| any_adam_object | |
| author | Rosser, J. Barkley, (John Barkley) |
| author_facet | Rosser, J. Barkley, (John Barkley) |
| author_role | aut |
| author_sort | Rosser, J. Barkley, (John Barkley) |
| author_variant | j b j b r jbjb jbjbr |
| building | Verbundindex |
| bvnumber | BV042317892 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316573433 (OCoLC)316573433 (DE-599)BVBBV042317892 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02739nam a2200757zcb4500</leader><controlfield tag="001">BV042317892</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1969 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780123745736</subfield><subfield code="9">978-0-12-374573-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">012374573X</subfield><subfield code="9">0-12-374573-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080873435</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-087343-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">008087343X</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-087343-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0125980507</subfield><subfield code="9">0-12-598050-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780125980500</subfield><subfield code="9">978-0-12-598050-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316573433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316573433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317892</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosser, J. Barkley, (John Barkley)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simplified independence proofs</subfield><subfield code="b">Boolean valued models of set theory</subfield><subfield code="c">J. Barkley Rosser</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Boolean valued models of set theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Academic Press</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 217 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Pure and applied mathematics (Academic Press)</subfield><subfield code="v">31</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 214)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Unabhängigkeitsbeweis</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Boole, Algèbre de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra, Boolean</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Independence (Mathematics)</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=" " ind2="7"><subfield code="a">MATHEMATICS / Set Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Beweis</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Independence (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780123745736</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754883</subfield></datafield></record></collection> |
| id | DE-604.BV042317892 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:07:51Z |
| institution | BVB |
| isbn | 9780123745736 012374573X 9780080873435 008087343X 0125980507 9780125980500 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754883 |
| oclc_num | 316573433 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xv, 217 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Academic Press |
| record_format | marc |
| series2 | Pure and applied mathematics (Academic Press) |
| spelling | Rosser, J. Barkley, (John Barkley) Verfasser aut Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser Boolean valued models of set theory New York Academic Press 1969 1 Online-Ressource (xv, 217 p.) txt rdacontent c rdamedia cr rdacarrier Pure and applied mathematics (Academic Press) 31 Includes bibliographical references (p. 214) Unabhängigkeitsbeweis swd Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean fast Independence (Mathematics) fast Set theory fast MATHEMATICS / Set Theory bisacsh Beweis swd Boolesche Algebra swd Mathematik swd Mengenlehre swd Independence (Mathematics) Algebra, Boolean Set theory Mengenlehre (DE-588)4074715-3 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Boolesche Algebra (DE-588)4146280-4 s 1\p DE-604 Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s 2\p DE-604 http://www.sciencedirect.com/science/book/9780123745736 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Rosser, J. Barkley, (John Barkley) Simplified independence proofs Boolean valued models of set theory Unabhängigkeitsbeweis swd Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean fast Independence (Mathematics) fast Set theory fast MATHEMATICS / Set Theory bisacsh Beweis swd Boolesche Algebra swd Mathematik swd Mengenlehre swd Independence (Mathematics) Algebra, Boolean Set theory Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4146280-4 (DE-588)4037944-9 (DE-588)4132532-1 |
| title | Simplified independence proofs Boolean valued models of set theory |
| title_alt | Boolean valued models of set theory |
| title_auth | Simplified independence proofs Boolean valued models of set theory |
| title_exact_search | Simplified independence proofs Boolean valued models of set theory |
| title_full | Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser |
| title_fullStr | Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser |
| title_full_unstemmed | Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser |
| title_short | Simplified independence proofs |
| title_sort | simplified independence proofs boolean valued models of set theory |
| title_sub | Boolean valued models of set theory |
| topic | Unabhängigkeitsbeweis swd Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean fast Independence (Mathematics) fast Set theory fast MATHEMATICS / Set Theory bisacsh Beweis swd Boolesche Algebra swd Mathematik swd Mengenlehre swd Independence (Mathematics) Algebra, Boolean Set theory Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Unabhängigkeitsbeweis Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory MATHEMATICS / Set Theory Beweis Boolesche Algebra Mathematik Mengenlehre |
| url | http://www.sciencedirect.com/science/book/9780123745736 |
| work_keys_str_mv | AT rosserjbarkleyjohnbarkley simplifiedindependenceproofsbooleanvaluedmodelsofsettheory AT rosserjbarkleyjohnbarkley booleanvaluedmodelsofsettheory |