10 LIVROS EM INGLÊS RELACIONADOS COM «AUTOSTABILITY»
Descubra o uso de
autostability na seguinte seleção bibliográfica. Livros relacionados com
autostability e pequenos extratos deles para contextualizar o seu uso na literatura.
1
Programs, Proofs, Processes: 6th Conference on Computability ...
Goncharov, S., Dzgoev, V.: Autostability of models. Algebra and Logic 19(1), 45–
58 (1980) 11. Goncharov, S., Ershov, Y.: Constructive models. Kluwer Academic
Pub., Dordrecht (2000) 12. Goncharov, S., Knight, J.: Computable Structure and ...
Fernando Ferreira, Elvira Mayordomo, Luís Mendes Gomes, 2010
2
Countable Boolean Algebras and Decidability
GONCHAROV, S. S. and DZGOEV, V. D., Autostability of models, Algebra Logic,
19, No. 1, 28-37, 1980. 55. GONCHAROV, S. S. and NURTAZIN, A. T.,
Constructive models of complete sovable theories, Algebra Logic, 12, No. 2, 67-
77, 1973.
3
Computable Structures and the Hyperarithmetical Hierarchy
[53] Goncharov, S. S., “Autostability and computable families of
constructivizations”, Algebra and Logic, vol.14(1975), (English translation) pp.
392-408. [54] Goncharov, S. S., “The quantity of non-autoequivalent
constructivizations”, Algebra ...
C.J. Ash, J. Knight, 2000
4
Logic and Theory of Algorithms: 4th Conference on ...
Gonˇcarov, S.S.: Autostability of models and abelian groups. Algebra i Logika 19(
1), 23–44 (1980) 9. Gonˇcarov, S.S.: The problem of the number of
nonautoequivalent constructiviza- tions. Algebra i Logika 19(6), 621–639, 745 (
1980) 10.
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lw̲e, 2008
5
NonasSociative Algebra and Its Applications
Autostability of Models and Abelian Groups. Algebra i Logika 19: 23-44, 1980. [
14] S.S. Goncharov, VD Dzgoev. Autostability of Models. Algebra i Logika 19:45-
58, 1980. [15] J. Remmel. Recursive Isomorphisms Types of Recursive Boolean ...
R. Costa, Henrique Guzzo, Jr., A. Grichkov, 2000
6
In the Scope of Logic, Methodology and Philosophy of ...
Goncharov, S.S.: (1975), 'Autostability, and computable families of
constructivizations' (Russian), Algebra i Logika 14, pp. 647-680; trans, in Algebra
and Logic 14, pp. 392-409. Goncharov, S.S.: (1977), 'The quantity of
nonautoequivalent ...
Peter Gärdenfors, Jan Woleński, K. Kijania-Placek, 2002
7
Models and Computability
... Boolean algebras (Russian), Algebra iLogika 12, 31-40; translation in Algebra
and Logic 12 (1973), 17-22. Goncharov, S. S. [I975], Autostability, and
computable families of constructivizations (Russian), Algebra i Logika 14, 647-
680 ...
S. Barry Cooper, John K. Truss, Association for Symbolic Logic, 1999
8
Logic and Computational Complexity: International Workshop, ...
Goncharov, S.S.: Autostability and computable families of constructivization.
Algebra and Logic 14 (1975) 392-409 7. Goncharov, S.S., Dzgoev, V.D.:
Autostability of models. Algebra and Logic 19 (1980) 28-37 8. Grigorieff, S.: Every
Recursive ...
S. S. Goncharov, Autostability and computable families of constructivizations (
Russian), Algebra i Logika, 14 (1975) 647-680; [translated in: Algebra and Logic,
14 (1975) 392—409]. S. S. Goncharov, Certain properties of the
constructivization ...
I?U?rii? Leonidovich Ershov, Wiktor Marek, 1998
10
Logic year 1979-80, the University of Connecticut, USA
Two Theorems on Autostability in p-Groups Rick L. Smith Department of
Mathematics The Ohio State University Columbus, Ohio 1+3210 1. Summary. Mal
'cev [6] introduced the notion of an autostable structure as a recursive structure
where ...
Manuel Lerman, James Henry Schmerl, Robert Irving Soare, 1981
