Result 1 to 13 of 13 total
A semilattice of numberings. II. (English)
Algebra Logic 49, No. 4, 340-353 (2010); translation from Algebra Logika 49, No. 4, 498-519 (2010).
1
On a semilattice of numberings. (Russian ;English)
Mat. Tr. 12, No. 2, 170-209 (2009); translation in Sib. Adv. Math. 20, No. 2, 128-154 (2010).
2
On the index sets of $Σ$-subsets of the real numbers. (Russian ;English)
Sib. Mat. Zh. 49, No. 6, 1351-1360 (2008); translation in Sib. Math. J. 49, No. 6, 1078-1084 (2008).
3
$Σ$-subsets of natural numbers. (Russian ;English)
Algebra Logika 43, No. 3, 291-320 (2004); translation in Algebra Logic 43, No. 3, 162-178 (2004).
4
On principles of computability on admissible sets. (Russian)
Sib. Adv. Math. 15, No. 4, 1-33 (2005); translation from Mat. Tr. 7, No. 2, 35-71 (2004).
5
$Σ$-definability in hereditarily finite superstructures and pairs of models. (Russian ;English)
Algebra Logika 43, No. 4, 459-481 (2004); translation in Algebra Logic 43, No. 4, 258-270 (2004).
6
On the Ershov upper semilattice ${\goth L}_E$. (Russian ;English)
Sib. Mat. Zh. 45, No. 1, 211-228 (2004); translation in Sib. Math. J. 45, No. 1, 173-187 (2004).
7
Definability of Boolean algebras in ${\Bbb {HF}}$-superstructures. (English)
Algebra Logika 39, No.6, 711-719 (2000); translation in Algebra Logic 39, No.6, 407-411 (2000).
8
The intrinsic enumerability of linear orders. (English)
Algebra Logika 39, No.6, 741-750 (2000); translation in Algebra Logic 39, No.6, 423-428 (2000).
9
On computability over models of decidable theories. (English)
Pinus, A. G. (ed.) et al., Algebra and model theory. 2. Collection of papers. Novosibirsk: Novosibirsk State Technical University. 94-103 (1999).
10
On definability of a model in a hereditarily finite admissible set. (Russian)
Vychisl. Sist. 161, 15-20 (1998).
11
Uniformization theorem in hereditarily finite superstructures. (Russian)
Vychisl. Sist. 161, 3-14 (1998).
12
Numberings and definability in the hereditarily finite superstructure of a model. (English)
Sib. Adv. Math. 7, No.3, 63-74 (1997).
13
Result 1 to 13 of 13 total
Start
Contact
Print
General Help
