Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Elsevier

9780444500038

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 8 Groups of computable automorphisms

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80009-8 ◽

1998 ◽

pp. 311-345 ◽

Author(s):

A.S. Morozov

Download Full-text

Chapter 2 Elementary theories and their constructive models

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80003-7 ◽

1998 ◽

pp. 115-165 ◽

Author(s):

Yu.L. Ershov ◽

S.S. Goncharov

Keyword(s):

Constructive Models ◽

Elementary Theories

Download Full-text

Chapter 9 Constructive models of finitely axiomatizable theories

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80010-4 ◽

1998 ◽

pp. 347-379

Author(s):

M.G. Peretyat'kin

Keyword(s):

Constructive Models

Download Full-text

Chapter 1 Pure computable model theory

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80002-5 ◽

1998 ◽

pp. 3-114 ◽

Author(s):

Valentina S. Harizanov

Keyword(s):

Model Theory ◽

Computable Model ◽

Computable Model Theory

Download Full-text

Chapter 3 Isomorphic recursive structures

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80004-9 ◽

1998 ◽

pp. 167-181

Author(s):

C.J. Ash

Keyword(s):

Recursive Structures

Download Full-text

Chapter 5 Σ-Definability of algebraic structures

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80006-2 ◽

1998 ◽

pp. 235-260 ◽

Author(s):

Yu.L. Ershov

Keyword(s):

Algebraic Structures

Download Full-text

Introduction to the handbook of Recursive Mathematics

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80001-3 ◽

1998 ◽

pp. vii-xlvi ◽

Author(s):

Y.L. Ershov ◽

S.S. Goncharov ◽

A. Nerode ◽

J.B. Remmel

Download Full-text

Chapter 12 A bibliography of recursive analysis and recursive topology

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80013-x ◽

1998 ◽

pp. 583-620 ◽

Author(s):

V. Brattka ◽

I. Kalantari

Keyword(s):

Recursive Analysis ◽

Recursive Topology

Download Full-text

Chapter 4 Computable classes of constructive models

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80005-0 ◽

1998 ◽

pp. 183-233 ◽

Author(s):

V.P. Dobritsa

Keyword(s):

Constructive Models

Download Full-text

Chapter 6 Autostable models and algorithmic dimensions

Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80007-4 ◽

1998 ◽

pp. 261-287 ◽

Author(s):

S.S. Goncharov

Download Full-text