Holdings: Countable Boolean algebras and decidability

Countable Boolean algebras and decidability:

Saved in:

Bibliographic Details
Main Author:	Gocarov, Sergej S. (Author)
Format:	Book
Language:	English
Published:	New York [u.a.] Consultants Bureau 1997
Series:	Siberian school of algebra and logic
Online Access:	Inhaltsverzeichnis
Physical Description:	XII, 318 S. graph. Darst.
ISBN:	030611061X

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items