Constructive models

by Ershov, I︠U︡riĭ Leonidovich

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Constructive models / Yuri L. Ershov, Sergei S. Goncharov.

Edition Statements

Publication Date:©2000.

Publication Statements

Publisher(s):Consultants Bureau
Place of Publication:New York
Language:eng
Publication Date:©2000.

The Physical Object

Description:xii, 293 pages : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0306110660, 9780306110665
oclc:ocm43641379
LC Classification:QA9.56
Dewey Decimal:511.3

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.