Countable Boolean algebras and decidability:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Consultants Bureau
1997
|
| Schriftenreihe: | Siberian school of algebra and logic
|
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 318 S. graph. Darst. |
| ISBN: | 030611061X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011436762 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 970715s1997 d||| |||| 00||| eng d | ||
| 020 | |a 030611061X |9 0-306-11061-X | ||
| 035 | |a (OCoLC)832749250 | ||
| 035 | |a (DE-599)BVBBV011436762 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-11 | ||
| 082 | 0 | |a 511.324 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Gocarov, Sergej S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Countable Boolean algebras and decidability |c Sergei S. Goncharov |
| 264 | 1 | |a New York [u.a.] |b Consultants Bureau |c 1997 | |
| 300 | |a XII, 318 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Siberian school of algebra and logic | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007691255&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007691255 | ||
Datensatz im Suchindex
| _version_ | 1804125952686424064 |
|---|---|
| adam_text | COUNTABLE BOOLEAN ALGEBRAS AND DECIDABILITY SERGEI S. GONCHAROV
NOVOSIBIRSK STATE UNIVERSITY AND INSTITUTE OF MATHEMATICS NOVOSIBIRSK,
RUSSIA CONSULTANTS BUREAU * NEW YORK, LONDON, AND MOSCOW CONTENTS
CHAPTER 1. ALGEBRAIC PROPERTIES OF BOOLEAN ALGEBRAS 1 1.1 ALGEBRAIC
SYSTEMS AND CONSTRUCTIONS 1 1.2 DEFINITIONS AND THE SIMPLEST PROPERTIES
OF BOOLEAN ALGEBRAS . . 15 1.3 IDEALS AND QUOTIENT ALGEBRAS OF BOOLEAN
ALGEBRAS 26 1.4 THE STONE THEOREM ON REPRESENTATIONS OF BOOLEAN ALGEBRAS
. . 39 1.5 THE VAUGHT CRITERION 44 1.6 LINEARLY ORDERED GENERATING SETS
53 1.7 GENERATING TREES 59 1.8 ERSHOV ALGEBRAS AND THE ISOMORPHISM
PROBLEM 71 CHAPTER 2. ELEMENTARY CLASSIFICATION OF BOOLEAN ALGEBRAS 91
2.1 BASIC NOTIONS AND METHODS OF MODEL THEORY 91 2.2 DEFINABLE
ERSHOV-TARSKI IDEALS AND ELEMENTARY CHARACTERISTICS OF BOOLEAN ALGEBRAS
108 2.3 COUNTABLY SATURATED BOOLEAN ALGEBRAS AND ELEMENTARY CLASSI-
FICATION 114 2.4 MODEL-COMPLETE THEORIES OF BOOLEAN ALGEBRAS 127 2.5
CONSISTENT COMPLETE THEORIES OF BOOLEAN ALGEBRAS 132 2.6 RESTRICTED
THEORIES OF BOOLEAN ALGEBRAS 139 XI XII CONTENTS CHAPTER 3. CONSTRUCTIVE
BOOLEAN ALGEBRAS 149 3.1 BASIC NOTIONS OF THE THEORY OF ALGORITHMS AND
CONSTRUCTIVE MODELS 150 3.2 CONSTRUCTIBILITY IN LINEAR ORDERS AND
BOOLEAN ALGEBRAS 174 3.3 TREES GENERATING CONSTRUCTIVE BOOLEAN ALGEBRAS
180 3.4 DECIDABLE BOOLEAN ALGEBRAS 190 3.5 RESTRICTED FRAGMENTS OF THE
THEORY OF BOOLEAN ALGEBRAS AND DECIDABLE ALGEBRAS 214 3.6 ALGORITHMIC
DIMENSION OF BOOLEAN ALGEBRAS 249 3.7 ALGORITHMIC PROPERTIES OF
SUBALGEBRAS AND QUOTIENT ALGEBRAS OF CONSTRUCTIVE BOOLEAN ALGEBRAS 261
3.8 AUTOMORPHISMS OF COUNTABLE BOOLEAN ALGEBRAS 290 REFERENCES 303
SUBJECT INDEX 315
|
| any_adam_object | 1 |
| author | Gocarov, Sergej S. |
| author_facet | Gocarov, Sergej S. |
| author_role | aut |
| author_sort | Gocarov, Sergej S. |
| author_variant | s s g ss ssg |
| building | Verbundindex |
| bvnumber | BV011436762 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)832749250 (DE-599)BVBBV011436762 |
| dewey-full | 511.324 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.324 |
| dewey-search | 511.324 |
| dewey-sort | 3511.324 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01154nam a2200313 c 4500</leader><controlfield tag="001">BV011436762</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970715s1997 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">030611061X</subfield><subfield code="9">0-306-11061-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832749250</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011436762</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-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.324</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="100" ind1="1" ind2=" "><subfield code="a">Gocarov, Sergej S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Countable Boolean algebras and decidability</subfield><subfield code="c">Sergei S. Goncharov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Consultants Bureau</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 318 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Siberian school of algebra and logic</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007691255&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007691255</subfield></datafield></record></collection> |
| id | DE-604.BV011436762 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:09:44Z |
| institution | BVB |
| isbn | 030611061X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007691255 |
| oclc_num | 832749250 |
| open_access_boolean | |
| owner | DE-739 DE-11 |
| owner_facet | DE-739 DE-11 |
| physical | XII, 318 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Consultants Bureau |
| record_format | marc |
| series2 | Siberian school of algebra and logic |
| spelling | Gocarov, Sergej S. Verfasser aut Countable Boolean algebras and decidability Sergei S. Goncharov New York [u.a.] Consultants Bureau 1997 XII, 318 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Siberian school of algebra and logic GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007691255&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gocarov, Sergej S. Countable Boolean algebras and decidability |
| title | Countable Boolean algebras and decidability |
| title_auth | Countable Boolean algebras and decidability |
| title_exact_search | Countable Boolean algebras and decidability |
| title_full | Countable Boolean algebras and decidability Sergei S. Goncharov |
| title_fullStr | Countable Boolean algebras and decidability Sergei S. Goncharov |
| title_full_unstemmed | Countable Boolean algebras and decidability Sergei S. Goncharov |
| title_short | Countable Boolean algebras and decidability |
| title_sort | countable boolean algebras and decidability |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007691255&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gocarovsergejs countablebooleanalgebrasanddecidability |