Simplified independence proofs: Boolean valued models of set theory
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Acad. Pr.
1969
|
| Schriftenreihe: | Pure and applied mathematics
31 |
| Schlagworte: | |
| Beschreibung: | xi, 217 S. |
| ISBN: | 0125980507 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002656472 | ||
| 003 | DE-604 | ||
| 005 | 20181025 | ||
| 007 | t | ||
| 008 | 900606s1969 |||| 00||| engod | ||
| 020 | |a 0125980507 |9 0-12-598050-7 | ||
| 035 | |a (OCoLC)12013 | ||
| 035 | |a (DE-599)BVBBV002656472 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-355 |a DE-824 |a DE-29 |a DE-29T |a DE-20 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 164 |2 18 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a 03E35 |2 msc | ||
| 100 | 1 | |a Rosser, John Barkley |d 1907-1989 |e Verfasser |0 (DE-588)129075728 |4 aut | |
| 245 | 1 | 0 | |a Simplified independence proofs |b Boolean valued models of set theory |c J. Barkley Rosser |
| 264 | 1 | |a New York [u.a.] |b Acad. Pr. |c 1969 | |
| 300 | |a xi, 217 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Pure and applied mathematics |v 31 | |
| 650 | 4 | |a Boole, Algèbre de | |
| 650 | 4 | |a Ensembles, Théorie des | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Independence (Mathematics) | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 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 |
| 689 | 0 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | 1 | |a Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Pure and applied mathematics |v 31 |w (DE-604)BV010177228 |9 31 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001703232 | ||
Datensatz im Suchindex
| _version_ | 1804117034887282688 |
|---|---|
| any_adam_object | |
| author | Rosser, John Barkley 1907-1989 |
| author_GND | (DE-588)129075728 |
| author_facet | Rosser, John Barkley 1907-1989 |
| author_role | aut |
| author_sort | Rosser, John Barkley 1907-1989 |
| author_variant | j b r jb jbr |
| building | Verbundindex |
| bvnumber | BV002656472 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 SK 150 |
| ctrlnum | (OCoLC)12013 (DE-599)BVBBV002656472 |
| 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 | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01873nam a2200541 cb4500</leader><controlfield tag="001">BV002656472</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181025 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900606s1969 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0125980507</subfield><subfield code="9">0-12-598050-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002656472</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-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield><subfield code="2">18</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosser, John Barkley</subfield><subfield code="d">1907-1989</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129075728</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="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Acad. Pr.</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 217 S.</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">Pure and applied mathematics</subfield><subfield code="v">31</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="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Independence (Mathematics)</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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">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="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Pure and applied mathematics</subfield><subfield code="v">31</subfield><subfield code="w">(DE-604)BV010177228</subfield><subfield code="9">31</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001703232</subfield></datafield></record></collection> |
| id | DE-604.BV002656472 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:47:59Z |
| institution | BVB |
| isbn | 0125980507 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001703232 |
| oclc_num | 12013 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-824 DE-29 DE-29T DE-20 DE-83 DE-188 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-824 DE-29 DE-29T DE-20 DE-83 DE-188 DE-11 |
| physical | xi, 217 S. |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Acad. Pr. |
| record_format | marc |
| series | Pure and applied mathematics |
| series2 | Pure and applied mathematics |
| spelling | Rosser, John Barkley 1907-1989 Verfasser (DE-588)129075728 aut Simplified independence proofs Boolean valued models of set theory J. Barkley Rosser New York [u.a.] Acad. Pr. 1969 xi, 217 S. txt rdacontent n rdamedia nc rdacarrier Pure and applied mathematics 31 Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s DE-604 Mengenlehre (DE-588)4074715-3 s Boolesche Algebra (DE-588)4146280-4 s Pure and applied mathematics 31 (DE-604)BV010177228 31 |
| spellingShingle | Rosser, John Barkley 1907-1989 Simplified independence proofs Boolean valued models of set theory Pure and applied mathematics Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| subject_GND | (DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4074715-3 (DE-588)4146280-4 |
| title | Simplified independence proofs 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 | Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| topic_facet | Boole, Algèbre de Ensembles, Théorie des Logique symbolique et mathématique Algebra, Boolean Independence (Mathematics) Set theory Beweis Mathematik Mengenlehre Boolesche Algebra |
| volume_link | (DE-604)BV010177228 |
| work_keys_str_mv | AT rosserjohnbarkley simplifiedindependenceproofsbooleanvaluedmodelsofsettheory |