524:
537:
530:
204:
189:
218:. Several others have gone on to careers in computer science research and product development, including: Michael Benedikt, a professor of computer science at the
618:
181:
613:
239:
235:
223:
574:
355:
169:
598:
593:
442:
460:
628:
414:
567:
126:
361:
344:
145:
294:. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp.
299:
273:
174:
159:'s work resolving what had long been thought to be inherent logical contradictions in the literal interpretation of
84:
560:
506:
392:
250:
387:
382:
288:
243:
173:, a first-year calculus textbook conceptually centered on the use of infinitesimals, rather than the
608:
210:
Among
Keisler's graduate students, several have made notable mathematical contributions, including
193:
603:
548:
227:
349:
160:
134:
57:
623:
219:
163:
that
Leibniz himself had proposed, that is, interpreting "dx" as literally representing an
8:
211:
106:
260:
Distinguished Chair at the
University of Massachusetts, Boston, College of Management.
215:
410:
295:
484:
479:
278:. Annals of Mathematical Studies, 58, Princeton University Press, 1966. xii+165 pp.
269:
197:
156:
91:
544:
456:
327:
443:"Keisler is First UMass Boston Prof to be Named Distinguished Fulbright Chair"
429:
309:
587:
164:
141:
122:
96:
523:
536:
502:
230:, Curtis Tuckey, a developer of software-based collaboration environments;
130:
231:
185:
74:
511:
257:
45:
334:, Lecture Notes in Logic, Association for Symbolic Logic. 2002
308:
Prindle, Weber & Schmidt, 1976/1986. Available online at
529:
430:
List of
Fellows of the American Mathematical Society
543:This article about an American mathematician is a
585:
315:An Infinitesimal Approach to Stochastic Analysis
306:Elementary Calculus: An Infinitesimal Approach.
356:Elementary Calculus: An Infinitesimal Approach
170:Elementary Calculus: An Infinitesimal Approach
568:
404:
317:, American Mathematical Society Memoirs, 1984
619:Fellows of the American Mathematical Society
575:
561:
455:
483:
380:
226:, a professor of computer science at the
614:University of Wisconsin–Madison faculty
586:
121:(born 3 December 1936) is an American
599:21st-century American mathematicians
594:20th-century American mathematicians
517:
332:Model Theory of Stochastic Processes
322:Mathematical Logic and Computability
302:; 1st edition 1973; 2nd edition 1977
150:Ultraproducts and Elementary Classes
180:He is also known for extending the
13:
362:Influence of non-standard analysis
345:Criticism of non-standard analysis
249:In 2012 he became a fellow of the
167:small quantity, Keisler published
125:, currently professor emeritus at
14:
640:
496:
465:by C. C. Chang and H. J. Keisler"
282:Model Theory for Infinitary Logic
234:, a neurologist and developer of
535:
528:
522:
485:10.1090/s0002-9904-1976-14035-9
263:
177:, for developing the calculus.
127:University of Wisconsin–Madison
85:University of Wisconsin-Madison
449:
435:
423:
398:
374:
320:Keisler, H. J.; Robbin, Joel.
205:Vilas Professor of Mathematics
1:
507:Mathematics Genealogy Project
367:
287:Chang, C. C.; Keisler, H. J.
256:His son Jeffrey Keisler is a
251:American Mathematical Society
629:American mathematician stubs
547:. You can help Knowledge by
129:. His research has included
7:
388:Encyclopedia of Mathematics
338:
244:IBM Almaden Research Center
242:, a database researcher at
238:hardware and software, and
203:He held the named chair of
192:. He is also known for the
10:
645:
516:
188:) to what are now called
112:
102:
90:
80:
70:
63:
53:
28:
21:
432:, retrieved 2013-01-27.
275:Continuous Model Theory
175:epsilon, delta approach
405:George Weaver (1997).
228:University of Michigan
194:Rudin–Keisler ordering
148:; his dissertation is
140:His Ph.D. advisor was
16:American mathematician
503:Howard Jerome Keisler
472:Bull. Amer. Math. Soc
407:Henkin-Keisler models
383:"Henkin construction"
350:Non-standard calculus
284:, North-Holland, 1971
190:Henkin–Keisler models
135:non-standard analysis
119:Howard Jerome Keisler
58:Non-standard analysis
220:University of Oxford
512:Keisler's home page
381:G. Weaver (2001) ,
324:, McGraw-Hill, 1996
216:Rowbottom cardinals
212:Frederick Rowbottom
182:Henkin construction
107:Frederick Rowbottom
161:Leibniz's notation
556:
555:
416:978-0-7923-4366-0
330:; Keisler, H. J.
272:; Keisler, H. J.
240:Edward L. Wimmers
116:
115:
103:Doctoral students
65:Scientific career
636:
577:
570:
563:
539:
534:
533:
532:
526:
518:
490:
489:
487:
469:
453:
447:
446:
439:
433:
427:
421:
420:
402:
396:
395:
378:
236:vision processor
224:Kevin J. Compton
198:Mary Ellen Rudin
157:Abraham Robinson
92:Doctoral advisor
42:
39:December 3, 1936
38:
36:
19:
18:
644:
643:
639:
638:
637:
635:
634:
633:
609:Model theorists
584:
583:
582:
581:
527:
521:
499:
494:
493:
467:
454:
450:
441:
440:
436:
428:
424:
417:
403:
399:
379:
375:
370:
341:
328:Fajardo, Sergio
292:. Third edition
266:
214:who discovered
165:infinitesimally
49:
48:, United States
43:
40:
34:
32:
24:
17:
12:
11:
5:
642:
632:
631:
626:
621:
616:
611:
606:
601:
596:
580:
579:
572:
565:
557:
554:
553:
540:
515:
514:
509:
498:
497:External links
495:
492:
491:
478:(3): 433–446.
448:
434:
422:
415:
397:
372:
371:
369:
366:
365:
364:
359:
352:
347:
340:
337:
336:
335:
325:
318:
312:
303:
285:
279:
265:
262:
207:at Wisconsin.
114:
113:
110:
109:
104:
100:
99:
94:
88:
87:
82:
78:
77:
72:
68:
67:
61:
60:
55:
54:Known for
51:
50:
44:
30:
26:
25:
23:Howard Keisler
22:
15:
9:
6:
4:
3:
2:
641:
630:
627:
625:
622:
620:
617:
615:
612:
610:
607:
605:
604:Living people
602:
600:
597:
595:
592:
591:
589:
578:
573:
571:
566:
564:
559:
558:
552:
550:
546:
541:
538:
531:
525:
520:
519:
513:
510:
508:
504:
501:
500:
486:
481:
477:
473:
466:
464:
458:
452:
444:
438:
431:
426:
418:
412:
408:
401:
394:
390:
389:
384:
377:
373:
363:
360:
358:
357:
353:
351:
348:
346:
343:
342:
333:
329:
326:
323:
319:
316:
313:
310:
307:
304:
301:
300:0-444-88054-2
297:
293:
291:
286:
283:
280:
277:
276:
271:
268:
267:
261:
259:
254:
252:
247:
245:
241:
237:
233:
229:
225:
221:
217:
213:
208:
206:
201:
199:
195:
191:
187:
183:
178:
176:
172:
171:
166:
162:
158:
153:
151:
147:
143:
142:Alfred Tarski
138:
136:
132:
128:
124:
123:mathematician
120:
111:
108:
105:
101:
98:
97:Alfred Tarski
95:
93:
89:
86:
83:
79:
76:
73:
69:
66:
62:
59:
56:
52:
47:
41:(age 87)
31:
27:
20:
549:expanding it
542:
475:
471:
463:Model theory
462:
451:
437:
425:
409:. Springer.
406:
400:
386:
376:
354:
331:
321:
314:
305:
290:Model theory
289:
281:
274:
270:Chang, C. C.
264:Publications
255:
248:
209:
202:
179:
168:
154:
149:
139:
131:model theory
118:
117:
81:Institutions
64:
624:1936 births
232:Joseph Sgro
196:along with
186:Leon Henkin
75:Mathematics
588:Categories
457:Makkai, M.
368:References
155:Following
35:1936-12-03
461:"Review:
393:EMS Press
258:Fulbright
459:(1976).
339:See also
152:(1961).
146:Berkeley
505:at the
46:Seattle
413:
298:
71:Fields
468:(PDF)
545:stub
411:ISBN
296:ISBN
184:(of
133:and
29:Born
480:doi
144:at
590::
476:82
474:.
470:.
391:,
385:,
253:.
246:.
222:,
200:.
137:.
37:)
576:e
569:t
562:v
551:.
488:.
482::
445:.
419:.
311:.
33:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.