Constructive Models
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer US

9781461369325, 9781461543053
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Models of Finite Algorithmic Dimension and Autostability

2000 ◽  
pp. 247-269
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov
Keyword(s):  
Algorithmic Dimension

Algorithmic Dimensions and Computable Classes

2000 ◽  
pp. 167-246
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov

Theories with a Countable Set of Countable Models

2000 ◽  
pp. 141-165
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov
Keyword(s):  
Countable Models

Constructive Models

2000 ◽  
pp. 47-118 ◽  
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov
Keyword(s):  
Constructive Models

Strongly Constructive and Decidable Models

2000 ◽  
pp. 119-140
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov

Models, Computability, and Numberings

2000 ◽  
pp. 1-46
Author(s):  
Yuri L. Ershov ◽  
Sergei S. Goncharov
Load More ...
Sign in / Sign up

Export Citation Format

Share Document