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