«AUTOSTABILITY»に関連する英語の本
以下の図書目録から
autostabilityの使いかたを見つけましょう。
autostabilityに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
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
