Splitting properties of n-c.e. enumeration degrees

2002 ◽  
Vol 67 (2) ◽  
pp. 537-546 ◽  
Author(s):  
I. SH. Kalimullin

AbstractIt is proved that if 1 < m < 2p ≤ n for some integer p then the elementary theories of posets of m-c.e. and n-c.e. e-degrees are distinct. It is proved also that the structures 〈2n, ≤, 〉 and 〈2n, ≤. P〉 are not elementary equivalent where P is the predicate P(a) = “a is a e-degree”.

1991 ◽  
Vol 14 (1) ◽  
pp. 91-108
Author(s):  
Jarosław Stepaniuk

The purpose of this paper is to investigate some aspects concerning elementary theories of finite models and to give the applications in approximation logics and algorithmic theory of dictionaries.


1992 ◽  
Vol 31 (4) ◽  
pp. 277-285 ◽  
Author(s):  
Alistair H. Lachlan ◽  
Richard A. Shore
Keyword(s):  

2017 ◽  
pp. 44-56
Author(s):  
Marat M. Arslanov ◽  
Andrea Sorbi
Keyword(s):  

1983 ◽  
Vol 23 (5) ◽  
pp. 711-724
Author(s):  
A. G. Myasnikov ◽  
V. N. Remeslennikov

Sign in / Sign up

Export Citation Format

Share Document