Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008507319/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog contributor b11891577.
- catalog contributor b11891578.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description "Ch. 1. Models, Computability, and Numberings -- 1.1. Algebraic Systems, Models, and Theories -- 1.2. Notions and Definitions of Algorithm Theory -- 1.3. The Main Notions and Results of Numbering Theory -- 1.4. Numbered Algebraic Systems -- Ch. 2. Constructive Models -- 2.1. The Simplest Properties -- 2.2. Existence of Constructivizations -- 2.3. The Kernel Theorem and Applications -- 2.4. Theories with Finite Obstacles -- 2.5. Constructive Fields -- Ch. 3. Strongly Constructive and Decidable Models -- 3.1. Strong Constructivizability and Types -- 3.2. Effective Extensions -- 3.3. Decidability of Homogeneous Models -- Ch. 4. Theories with a Countable Set of Countable Models -- 4.1. Theories with Decidable Models -- 4.2. The Ehrenfeucht Theories -- 4.3. The Complexity of Countable Models of Ehrenfeucht Theories -- Ch. 5. Algorithmic Dimensions and Computable Classes -- 5.1. Infinite Algorithmic Dimensions. Criteria -- 5.2. Computability and Effectively Infinite Classes -- Ch. 6. Models of Finite Algorithmic Dimension and Autostability -- 6.1. Autostable Models -- 6.2. Algebraic Systems of Finite Algorithmic Dimension.".
- catalog description "Includes bibliographical references (p. 271-290) and index.".
- catalog extent "xii, 293 p. :".
- catalog hasFormat "Constructive models.".
- catalog identifier "0306110660".
- catalog isFormatOf "Constructive models.".
- catalog isPartOf "Siberian school of algebra and logic".
- catalog isPartOf "Sibirskai︠a︡ shkola algebry i logiki.".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng rus".
- catalog language "eng".
- catalog publisher "New York : Consultants Bureau,".
- catalog relation "Constructive models.".
- catalog subject "511/.8 21".
- catalog subject "Mathematical models.".
- catalog subject "QA401 .E37 2000".
- catalog tableOfContents "Ch. 1. Models, Computability, and Numberings -- 1.1. Algebraic Systems, Models, and Theories -- 1.2. Notions and Definitions of Algorithm Theory -- 1.3. The Main Notions and Results of Numbering Theory -- 1.4. Numbered Algebraic Systems -- Ch. 2. Constructive Models -- 2.1. The Simplest Properties -- 2.2. Existence of Constructivizations -- 2.3. The Kernel Theorem and Applications -- 2.4. Theories with Finite Obstacles -- 2.5. Constructive Fields -- Ch. 3. Strongly Constructive and Decidable Models -- 3.1. Strong Constructivizability and Types -- 3.2. Effective Extensions -- 3.3. Decidability of Homogeneous Models -- Ch. 4. Theories with a Countable Set of Countable Models -- 4.1. Theories with Decidable Models -- 4.2. The Ehrenfeucht Theories -- 4.3. The Complexity of Countable Models of Ehrenfeucht Theories -- Ch. 5. Algorithmic Dimensions and Computable Classes -- 5.1. Infinite Algorithmic Dimensions. Criteria -- 5.2. Computability and Effectively Infinite Classes -- Ch. 6. Models of Finite Algorithmic Dimension and Autostability -- 6.1. Autostable Models -- 6.2. Algebraic Systems of Finite Algorithmic Dimension.".
- catalog title "Constructive models / Yuri L. Ershov, Sergei S. Goncharov.".
- catalog type "text".