MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Novosibirsk University, Novosibirsk, Russia.

Download:
Download as a PDF | Download as a PS
by Peter Cholak, Sergey Goncharov, Sergey Goncharov, Bakhadyr Khoussainov, Bakhadyr Khoussainov, Richard A. Shore, Richard A. Shore
http://www.cs.auckland.ac.nz/CDMTCS//researchreports/023bmk.ps.gz
Add To MetaCart

Abstract:

Expansions by Constants

Citations

40 Computable Algebra: General theory and Theory of Computable Fields – Rabin - 1960
25 Recursively presentable prime models – Harrington - 1974
22 Effective Procedures in Field Theory – Frolich, Shepherdson - 1955
20 Recursive categoricity and persistence – Millar - 1986
19 Problem of the number of non-self-equivalent constructivizations, Algebra and Logic 19 – Goncharov - 1980
19 Computable isomorphisms, degree spectra of relations, and Scott families – Khoussainov, Shore - 1998
17 The possible Turing degree of the nonzero member in a two element degree spectrum, Ann – Harizanov - 1993
8 Aspects of Effective Algebra – Crossley, ed - 1981
8 The Work of Anil Nerode: A Retrospective, in Logical Methods – Remmel, Crossley - 1993
7 Pure Recursive Model Theory, preprint, to appear – Harizanov - 1998
6 On Strongly Constructive Models of Decidable Theories – Khissamiev - 1974
6 Constructive Algebras, Uspekhi Matem – I - 1961
6 Abstract Recursive Model Theory, in Handbook of Recursion Theory – Millar
3 On the Definitions of Computable – Grzegorczyk - 1957
3 Extension de la Notion de Function Recursive aux Functions d'une ou Plussiers Variables R'eelles – Lacombe - 1955
View or Download | Add to My Collection | Correct Errors