30:
as they apply to model-theoretical structures. Computable model theory introduces the ideas of computable and decidable models and theories and one of the basic problems is discovering whether or not computable or decidable models fulfilling certain model-theoretic conditions can be shown to exist.
114:
87:
53:
there was little communication between these two groups and so a number of important results were discovered independently.
34:
Computable model theory was developed almost simultaneously by mathematicians in the West, primarily located in the
119:
82:, Studies in Logic and the Foundations of Mathematics, vol. 138, North Holland, pp. 3–114,
75:
83:
62:
97:
93:
108:
35:
27:
43:
23:
78:(1998), "Pure Computable Model Theory", in Ershov, Iurii Leonidovich (ed.),
39:
50:
46:
80:
Handbook of
Recursive Mathematics, Volume 1: Recursive Model Theory
49:
during the middle of the 20th century. Because of the
16:Branch of model theory that deals with computation
8:
7:
14:
26:which deals with questions of
1:
115:Constructivism (mathematics)
136:
20:Computable model theory
89:978-0-444-50003-8
63:Vaught conjecture
127:
100:
76:Harizanov, V. S.
135:
134:
130:
129:
128:
126:
125:
124:
105:
104:
90:
74:
71:
59:
22:is a branch of
17:
12:
11:
5:
133:
131:
123:
122:
117:
107:
106:
103:
102:
88:
70:
67:
66:
65:
58:
55:
15:
13:
10:
9:
6:
4:
3:
2:
132:
121:
118:
116:
113:
112:
110:
99:
95:
91:
85:
81:
77:
73:
72:
68:
64:
61:
60:
56:
54:
52:
48:
45:
41:
37:
36:United States
32:
29:
28:computability
25:
21:
120:Model theory
79:
33:
24:model theory
19:
18:
109:Categories
69:References
40:Australia
57:See also
51:Cold War
98:1673621
96:
86:
47:Russia
44:Soviet
42:, and
84:ISBN
38:and
111::
94:MR
92:,
101:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.