25:
272:
316:
192:
Viggo is the main author of the textbook "Mathematical Theory of
Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of
355:
309:
53:
33:
370:
107:
302:
79:
126:
375:
86:
340:
365:
254:
93:
75:
345:
57:
49:
38:
42:
335:
170:
100:
360:
204:
Viggo
Stoltenberg-Hansen and John Tucker made a thorough analysis of the computability associated to
169:). Viggo received his PhD in Mathematics (titled "On Priority Arguments In Friedberg Theories") from
166:
350:
143:
162:
64:
286:
182:
329:
282:
209:
193:
186:
158:
150:
250:
271:
154:
279:
147:
227:
Handbook of Logic in
Computer Science, Volume IV: Semantic Modelling
63:
from the article and its talk page, especially if potentially
18:
290:
185:developed in the early 1980s a general method of
225:, in S Abramsky, D Gabbay and T Maibaum (eds.),
196:summer school lecture notes on domain theory.
310:
8:
229:, Oxford University Press (1995), pp357–526.
317:
303:
56:about living persons that is unsourced or
189:representations of topological algebras.
127:Learn how and when to remove this message
232:V Stoltenberg-Hansen and J V Tucker,
221:V Stoltenberg-Hansen and J V Tucker,
7:
356:Academic staff of Uppsala University
268:
266:
146:, Department of Mathematics, is a
14:
270:
238:Handbook of Computability Theory
23:
1:
255:Mathematics Genealogy Project
240:, Elsevier (1999), pp363–447.
181:Viggo Stoltenberg-Hansen and
371:European mathematician stubs
289:. You can help Knowledge by
34:biography of a living person
234:Computable rings and fields
61:must be removed immediately
392:
265:
142:, born 1942, professor at
76:"Viggo Stoltenberg-Hansen"
200:Work on effective domains
251:Viggo Stoltenberg-Hansen
140:Viggo Stoltenberg-Hansen
376:Swedish scientist stubs
341:Swedish mathematicians
236:, in E Griffor (ed.),
48:Please help by adding
278:This article about a
177:Work on domain theory
171:University of Toronto
16:Swedish mathematician
366:Swedish philosophers
167:computability theory
54:Contentious material
223:Effective algebras
208:and continuity of
206:effective algebras
144:Uppsala University
346:Swedish logicians
298:
297:
137:
136:
129:
111:
37:needs additional
383:
319:
312:
305:
274:
267:
163:recursion theory
132:
125:
121:
118:
112:
110:
69:
50:reliable sources
27:
26:
19:
391:
390:
386:
385:
384:
382:
381:
380:
326:
325:
324:
323:
263:
260:
247:
218:
216:Some References
202:
179:
165:(also known as
133:
122:
116:
113:
70:
68:
47:
28:
24:
17:
12:
11:
5:
389:
387:
379:
378:
373:
368:
363:
358:
353:
348:
343:
338:
328:
327:
322:
321:
314:
307:
299:
296:
295:
275:
258:
257:
246:
245:External links
243:
242:
241:
230:
217:
214:
212:between such.
201:
198:
178:
175:
157:and expert on
135:
134:
58:poorly sourced
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
388:
377:
374:
372:
369:
367:
364:
362:
359:
357:
354:
352:
349:
347:
344:
342:
339:
337:
336:Living people
334:
333:
331:
320:
315:
313:
308:
306:
301:
300:
294:
292:
288:
284:
283:mathematician
281:
276:
273:
269:
264:
261:
256:
252:
249:
248:
244:
239:
235:
231:
228:
224:
220:
219:
215:
213:
211:
210:homomorphisms
207:
199:
197:
195:
194:Marktoberdorf
190:
188:
184:
176:
174:
172:
168:
164:
160:
159:domain theory
156:
152:
151:mathematician
149:
145:
141:
131:
128:
120:
117:February 2012
109:
106:
102:
99:
95:
92:
88:
85:
81:
78: –
77:
73:
72:Find sources:
66:
62:
59:
55:
51:
45:
44:
40:
35:
30:
21:
20:
291:expanding it
277:
262:
259:
237:
233:
226:
222:
205:
203:
191:
180:
139:
138:
123:
114:
104:
97:
90:
83:
71:
60:
43:verification
36:
361:1942 births
183:John Tucker
330:Categories
87:newspapers
351:Logicians
173:in 1973.
39:citations
155:logician
65:libelous
280:Swedish
253:at the
148:Swedish
101:scholar
187:domain
103:
96:
89:
82:
74:
285:is a
108:JSTOR
94:books
32:This
287:stub
161:and
80:news
41:for
332::
52:.
318:e
311:t
304:v
293:.
153:/
130:)
124:(
119:)
115:(
105:·
98:·
91:·
84:·
67:.
46:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.