354:
293:
72:
17:
285:
255:
372:
331:
147:
68:
8:
120:
104:
343:
319:
116:
350:
289:
127:
40:
311:
244:
278:
327:
123:
349:, Studies in Logic and the Foundations of Mathematics (2nd ed.), Elsevier,
338:
273:
90:
366:
259:
251:
228:
if every model of that theory does (and similarly for uniform elimination).
28:
32:
323:
315:
262:
with at least 3 elements does not have elimination of imaginaries.
164:
is an equivalence formula φ together with an equivalence class
345:
Classification theory and the number of nonisomorphic models
302:
Poizat, Bruno (1983), "Une théorie de Galois imaginaire. ",
238:
342:
277:
364:
217:if the formula θ can be chosen independently of
247:has uniform elimination of imaginaries.
14:
365:
337:
301:
272:
52:
44:
39:of a structure is roughly a definable
190:) such that there is a unique tuple
24:
215:uniform elimination of imaginaries
25:
384:
194:so that the equivalence class of
241:has elimination of imaginaries.
178:if for every imaginary element
89:-tuples of variables, for some
58:
13:
1:
266:
43:. These were introduced by
7:
232:
10:
389:
286:Cambridge University Press
226:elimination of imaginaries
176:elimination of imaginaries
49:elimination of imaginaries
304:Journal of Symbolic Logic
182:/φ there is a formula θ(
198:consists of the tuples
148:equivalence relation
126:. Its domain is the
101:equivalence formula
258:at least 2 over a
51:was introduced by
356:978-0-444-70260-9
295:978-0-521-30442-9
155:imaginary element
41:equivalence class
37:imaginary element
16:(Redirected from
380:
359:
348:
334:
310:(4): 1151–1170,
298:
283:
245:Peano arithmetic
21:
388:
387:
383:
382:
381:
379:
378:
377:
363:
362:
357:
339:Shelah, Saharon
316:10.2307/2273680
296:
274:Hodges, Wilfrid
269:
235:
61:
23:
22:
15:
12:
11:
5:
386:
376:
375:
361:
360:
355:
335:
299:
294:
268:
265:
264:
263:
248:
242:
239:ZFC set theory
234:
231:
230:
229:
222:
211:
169:
151:
150:on its domain.
97:
91:natural number
76:
60:
57:
31:, a branch of
9:
6:
4:
3:
2:
385:
374:
371:
370:
368:
358:
352:
347:
346:
340:
336:
333:
329:
325:
321:
317:
313:
309:
305:
300:
297:
291:
287:
282:
281:
275:
271:
270:
261:
257:
253:
249:
246:
243:
240:
237:
236:
227:
224:A theory has
223:
220:
216:
212:
209:
205:
201:
197:
193:
189:
185:
181:
177:
173:
170:
167:
163:
159:
156:
152:
149:
145:
141:
137:
133:
129:
125:
122:
118:
114:
110:
106:
102:
98:
95:
92:
88:
84:
80:
77:
74:
70:
66:
63:
62:
56:
54:
53:Poizat (1983)
50:
46:
45:Shelah (1990)
42:
38:
34:
30:
19:
373:Model theory
344:
307:
303:
280:Model theory
279:
260:finite field
252:vector space
225:
218:
214:
213:A model has
207:
203:
202:such that θ(
199:
195:
191:
187:
183:
179:
175:
171:
165:
161:
157:
154:
146:); it is an
143:
139:
138:such that φ(
135:
131:
130:of elements
115:) that is a
112:
108:
100:
93:
86:
82:
78:
64:
48:
36:
29:model theory
26:
59:Definitions
33:mathematics
18:Imaginaries
267:References
121:transitive
85:stand for
341:(1990) ,
256:dimension
117:symmetric
367:Category
276:(1993),
233:Examples
206:,
186:,
142:,
124:relation
111:,
71:of some
332:0727805
324:2273680
105:formula
353:
330:
322:
292:
160:/φ of
73:theory
47:, and
320:JSTOR
103:is a
69:model
67:is a
35:, an
351:ISBN
290:ISBN
174:has
119:and
81:and
312:doi
254:of
153:An
134:of
128:set
99:An
27:In
369::
328:MR
326:,
318:,
308:48
306:,
288:,
284:,
250:A
210:).
107:φ(
55:.
314::
221:.
219:a
208:b
204:x
200:x
196:a
192:b
188:y
184:x
180:a
172:M
168:.
166:a
162:M
158:a
144:a
140:a
136:M
132:a
113:y
109:x
96:.
94:n
87:n
83:y
79:x
75:.
65:M
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.