Definability and fast quantifier elimination in algebraically closed fields:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Zürich
1982
|
| Schlagworte: | |
| Beschreibung: | Zürich, Univ., Diss., 1982 |
| Beschreibung: | 52 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000045030 | ||
| 003 | DE-604 | ||
| 005 | 19890320 | ||
| 007 | t | ||
| 008 | 870612s1982 m||| 00||| eng d | ||
| 035 | |a (OCoLC)601392125 | ||
| 035 | |a (DE-599)BVBBV000045030 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-11 | ||
| 100 | 1 | |a Heintz, Joos |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Definability and fast quantifier elimination in algebraically closed fields |c vorgelegt von Joos Heintz |
| 264 | 1 | |a Zürich |c 1982 | |
| 300 | |a 52 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zürich, Univ., Diss., 1982 | ||
| 650 | 4 | |a ALGEBRAIC GEOMETRY | |
| 650 | 4 | |a ALGEBRAISCHE GEOMETRIE | |
| 650 | 4 | |a ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) | |
| 650 | 4 | |a DECISION PROBLEMS (MATHEMATICAL LOGIC) | |
| 650 | 4 | |a ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) | |
| 650 | 4 | |a GENERAL FIELD THEORY (ALGEBRA) | |
| 650 | 4 | |a GÉOMÉTRIE ALGÉBRIQUE | |
| 650 | 4 | |a LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) | |
| 650 | 4 | |a LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) | |
| 650 | 4 | |a PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) | |
| 650 | 4 | |a THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) | |
| 650 | 4 | |a THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) | |
| 650 | 0 | 7 | |a Quantorenelimination |0 (DE-588)4308709-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraisch abgeschlossener Körper |0 (DE-588)4132441-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraisch abgeschlossener Körper |0 (DE-588)4132441-9 |D s |
| 689 | 0 | 1 | |a Quantorenelimination |0 (DE-588)4308709-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000013637 | ||
Datensatz im Suchindex
| _version_ | 1804114498809757696 |
|---|---|
| any_adam_object | |
| author | Heintz, Joos |
| author_facet | Heintz, Joos |
| author_role | aut |
| author_sort | Heintz, Joos |
| author_variant | j h jh |
| building | Verbundindex |
| bvnumber | BV000045030 |
| ctrlnum | (OCoLC)601392125 (DE-599)BVBBV000045030 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01766nam a2200469 c 4500</leader><controlfield tag="001">BV000045030</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19890320 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)601392125</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000045030</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-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heintz, Joos</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Definability and fast quantifier elimination in algebraically closed fields</subfield><subfield code="c">vorgelegt von Joos Heintz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Zürich</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">52 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="500" ind1=" " ind2=" "><subfield code="a">Zürich, Univ., Diss., 1982</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ALGEBRAIC GEOMETRY</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ALGEBRAISCHE GEOMETRIE</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ALLGEMEINE KÖRPERTHEORIE (ALGEBRA)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">DECISION PROBLEMS (MATHEMATICAL LOGIC)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">GENERAL FIELD THEORY (ALGEBRA)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">GÉOMÉTRIE ALGÉBRIQUE</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantorenelimination</subfield><subfield code="0">(DE-588)4308709-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraisch abgeschlossener Körper</subfield><subfield code="0">(DE-588)4132441-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraisch abgeschlossener Körper</subfield><subfield code="0">(DE-588)4132441-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Quantorenelimination</subfield><subfield code="0">(DE-588)4308709-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000013637</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV000045030 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:07:41Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000013637 |
| oclc_num | 601392125 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-11 |
| physical | 52 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| record_format | marc |
| spelling | Heintz, Joos Verfasser aut Definability and fast quantifier elimination in algebraically closed fields vorgelegt von Joos Heintz Zürich 1982 52 S. txt rdacontent n rdamedia nc rdacarrier Zürich, Univ., Diss., 1982 ALGEBRAIC GEOMETRY ALGEBRAISCHE GEOMETRIE ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) DECISION PROBLEMS (MATHEMATICAL LOGIC) ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) GENERAL FIELD THEORY (ALGEBRA) GÉOMÉTRIE ALGÉBRIQUE LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) Quantorenelimination (DE-588)4308709-7 gnd rswk-swf Algebraisch abgeschlossener Körper (DE-588)4132441-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Algebraisch abgeschlossener Körper (DE-588)4132441-9 s Quantorenelimination (DE-588)4308709-7 s DE-604 |
| spellingShingle | Heintz, Joos Definability and fast quantifier elimination in algebraically closed fields ALGEBRAIC GEOMETRY ALGEBRAISCHE GEOMETRIE ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) DECISION PROBLEMS (MATHEMATICAL LOGIC) ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) GENERAL FIELD THEORY (ALGEBRA) GÉOMÉTRIE ALGÉBRIQUE LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) Quantorenelimination (DE-588)4308709-7 gnd Algebraisch abgeschlossener Körper (DE-588)4132441-9 gnd |
| subject_GND | (DE-588)4308709-7 (DE-588)4132441-9 (DE-588)4113937-9 |
| title | Definability and fast quantifier elimination in algebraically closed fields |
| title_auth | Definability and fast quantifier elimination in algebraically closed fields |
| title_exact_search | Definability and fast quantifier elimination in algebraically closed fields |
| title_full | Definability and fast quantifier elimination in algebraically closed fields vorgelegt von Joos Heintz |
| title_fullStr | Definability and fast quantifier elimination in algebraically closed fields vorgelegt von Joos Heintz |
| title_full_unstemmed | Definability and fast quantifier elimination in algebraically closed fields vorgelegt von Joos Heintz |
| title_short | Definability and fast quantifier elimination in algebraically closed fields |
| title_sort | definability and fast quantifier elimination in algebraically closed fields |
| topic | ALGEBRAIC GEOMETRY ALGEBRAISCHE GEOMETRIE ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) DECISION PROBLEMS (MATHEMATICAL LOGIC) ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) GENERAL FIELD THEORY (ALGEBRA) GÉOMÉTRIE ALGÉBRIQUE LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) Quantorenelimination (DE-588)4308709-7 gnd Algebraisch abgeschlossener Körper (DE-588)4132441-9 gnd |
| topic_facet | ALGEBRAIC GEOMETRY ALGEBRAISCHE GEOMETRIE ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) DECISION PROBLEMS (MATHEMATICAL LOGIC) ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) GENERAL FIELD THEORY (ALGEBRA) GÉOMÉTRIE ALGÉBRIQUE LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) Quantorenelimination Algebraisch abgeschlossener Körper Hochschulschrift |
| work_keys_str_mv | AT heintzjoos definabilityandfastquantifiereliminationinalgebraicallyclosedfields |