31:
272:
tried to put him in a concentration camp. With the help of some Polish nurses, he escaped to a hospital, choosing to take bread with him rather than his notebook containing his research. Some of this research he reconstructed after the War, however much of it remained lost.
407:
417:
653:
617:
606:
595:
519:
508:
497:
453:
442:
428:
628:
566:
555:
533:
544:
486:
475:
764:
754:
261:
657:
734:
759:
692:
749:
387:
739:
729:
281:
277:
704:
580:
744:
288:
he supervised
Rasiowa's both master and doctoral theses in logic and the foundations of mathematics.
697:
687:
210:
117:
113:
319:
724:
719:
438:
373:
362:
304:
246:
234:
230:
160:
148:
103:
8:
683:
576:
529:
380:
Sentences
Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
339:
327:
296:
174:
257:
545:"L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique"
383:
178:
292:
238:
155:
80:
370:
344:
265:
226:
190:
121:
58:
454:"Groups connected with Boolean algebras. (Partial solution of the problem P92)"
186:
182:
713:
250:
242:
206:
164:
487:"On a system of axioms which has no recursively enumerable arithmetic model"
312:
285:
323:
443:"Sur un problème de la théorie des groupes et son rapport à la topologie"
138:
584:
464:
322:. With Krzysztof Kurdyka and Adam Parusinski, Tadeusz Mostowski solved
369:, Studies in Logic and Foundations of Mathematics #86, North Holland,
408:"Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip."
300:
76:
30:
509:"Examples of sets definable by means of two and three quantifiers"
84:
520:"Contributions to the theory of definable sets and functions"
308:
269:
222:
54:
367:
307:. Much of his work, during that time, was on first order
618:"Axiomatizability of some many valued predicate calculi"
276:
In 1954 Mostowski was awarded by Knight's Cross of the
534:"Models of Axiomatic Theories Admitting Automorphisms"
318:His son Tadeusz is also a mathematician working on
681:
245:. His Ph.D. came in 1939, officially directed by
711:
607:"A generalization of the incompleteness theorem"
498:"A formula with no recursively enumerable model"
205:(1 November 1913 – 22 August 1975) was a Polish
765:Recipients of the State Award Badge (Poland)
755:Academic staff of the University of Warsaw
654:"Wydział MIM UW - prof. Tadeusz Mostowski"
705:On the Life and Work of Andrzek Mostowski
703:Stanislaw Krejewski & Marian Srebrny
585:"The classical and ω-complete arithmetic"
280:and in 1963 elected a real member of the
256:He became an accountant after the German
596:"On a problem of W. Kinna and K. Wagner"
418:"On definable sets of positive integers"
209:. He is perhaps best remembered for the
693:MacTutor History of Mathematics Archive
429:"Un théorème sur les nombres cos 2πk/n"
253:who was a young lecturer at that time.
712:
460:Vol. 2, No. 3-4, ss. 216-219, (1951).
449:Vol. 2, No. 3-4, ss. 212-215, (1951).
629:"On ω-models which are not β-models"
627:Yoshindo Suzuki, Andrzej Mostowski,
624:Vol. 50, No. 2, ss. 165-190, (1961).
613:Vol. 49, No. 2, ss. 205-232, (1961).
591:Vol. 23, No. 2, ss. 188-206, (1958).
556:"On a generalization of quantifiers"
526:Vol. 42, No. 2, ss. 271-275, (1955).
515:Vol. 42, No. 2, ss. 259-270, (1955).
504:Vol. 42, No. 1, ss. 125-140, (1955).
482:Vol. 39, No. 1, ss. 133-158, (1952).
394:Constructible Sets with Applications
602:Vol. 6, No. 1, ss. 207-208, (1958).
540:, Vol. 43, No. 1, ss. 50-68 (1956).
471:, Vol. 17, No. 1, ss. 1-31, (1952).
435:Vol. 1, No. 3, ss. 195-196, (1948).
424:Vol. 34, No. 1, ss. 81-112, (1947).
413:Vol. 32, No.1, ss. 201-252, (1939).
13:
735:20th-century Polish mathematicians
635:Vol. 65, No. 1, ss. 83-93, (1969).
573:Vol. 44, No. 1, ss. 37-51, (1957).
562:Vol. 44, No. 1, ss. 12-36, (1957).
493:Vol. 40, No. 1, ss. 56-61, (1953).
14:
776:
675:
551:Vol. 44, No. 1, ss. 1-11, (1957).
760:20th-century Polish philosophers
465:"On direct products of theories"
29:
299:. From 1946 until his death in
646:
233:in 1931. He was influenced by
1:
639:
476:"Models of axiomatic systems"
340:List of Polish mathematicians
262:Underground Warsaw University
260:but continued working in the
382:, North-Holland, Amsterdam,
249:but in practice directed by
216:
7:
750:University of Warsaw alumni
396:, North-Holland, Amsterdam.
333:
303:, Canada, he worked at the
301:Vancouver, British Columbia
10:
781:
278:Order of Polonia Restituta
589:Journal of Symbolic Logic
567:"On computable sequences"
469:Journal of Symbolic Logic
400:
196:
170:
154:
144:
134:
127:
109:
99:
91:
65:
40:
28:
21:
698:University of St Andrews
579:, Andrzej Mostowski and
355:
350:
291:His work was largely on
211:Mostowski collapse lemma
118:Mostowski collapse lemma
633:Fundamenta Mathematicae
622:Fundamenta Mathematicae
611:Fundamenta Mathematicae
600:Colloquium Mathematicae
581:Czesław Ryll-Nardzewski
571:Fundamenta Mathematicae
560:Fundamenta Mathematicae
549:Fundamenta Mathematicae
538:Fundamenta Mathematicae
524:Fundamenta Mathematicae
513:Fundamenta Mathematicae
502:Fundamenta Mathematicae
491:Fundamenta Mathematicae
480:Fundamenta Mathematicae
458:Colloquium Mathematicae
447:Colloquium Mathematicae
433:Colloquium Mathematicae
422:Fundamenta Mathematicae
411:Fundamenta Mathematicae
361:1968 & 1976: (with
114:Arithmetical hierarchy
532:, Andrzej Mostowski,
441:, Andrzej Mostowski,
320:differential geometry
740:Polish set theorists
730:Scientists from Lviv
684:Robertson, Edmund F.
363:Kazimierz Kuratowski
305:University of Warsaw
231:University of Warsaw
229:, Mostowski entered
161:Kazimierz Kuratowski
149:University of Warsaw
104:University of Warsaw
16:Polish mathematician
688:"Andrzej Mostowski"
682:O'Connor, John J.;
616:Andrzej Mostowski,
605:Andrzej Mostowski,
594:Andrzej Mostowski,
577:Andrzej Grzegorczyk
565:Andrzej Mostowski,
554:Andrzej Mostowski,
543:Andrzej Mostowski,
530:Andrzej Ehrenfeucht
518:Andrzej Mostowski,
507:Andrzej Mostowski,
496:Andrzej Mostowski,
485:Andrzej Mostowski,
474:Andrzej Mostowski,
463:Andrzej Mostowski,
452:Andrzej Mostowski,
427:Andrzej Mostowski,
416:Andrzej Mostowski,
406:Andrzej Mostowski,
328:gradient conjecture
175:Andrzej Ehrenfeucht
439:Casimir Kuratowski
258:invasion of Poland
203:Andrzej Mostowski
200:
199:
171:Doctoral students
156:Doctoral advisors
129:Scientific career
35:Mostowski in 1973
23:Andrzej Mostowski
772:
745:Polish logicians
700:
669:
668:
666:
665:
656:. Archived from
650:
293:recursion theory
81:British Columbia
72:
50:
48:
33:
19:
18:
780:
779:
775:
774:
773:
771:
770:
769:
710:
709:
678:
673:
672:
663:
661:
652:
651:
647:
642:
403:
358:
353:
345:Mostowski model
336:
266:Warsaw uprising
227:Austria-Hungary
219:
191:Victor W. Marek
189:
185:
181:
177:
163:
122:Mostowski model
120:
116:
100:Alma mater
87:
74:
70:
61:
59:Austria-Hungary
52:
51:1 November 1913
46:
44:
36:
24:
17:
12:
11:
5:
778:
768:
767:
762:
757:
752:
747:
742:
737:
732:
727:
722:
708:
707:
701:
677:
676:External links
674:
671:
670:
644:
643:
641:
638:
637:
636:
625:
614:
603:
592:
574:
563:
552:
541:
527:
516:
505:
494:
483:
472:
461:
450:
436:
425:
414:
402:
399:
398:
397:
390:
388:978-0313231513
376:
357:
354:
352:
349:
348:
347:
342:
335:
332:
297:undecidability
218:
215:
198:
197:
194:
193:
187:Roman Sikorski
183:Helena Rasiowa
179:Moshé Machover
172:
168:
167:
158:
152:
151:
146:
142:
141:
136:
132:
131:
125:
124:
111:
110:Known for
107:
106:
101:
97:
96:
93:
89:
88:
75:
73:(aged 61)
69:22 August 1975
67:
63:
62:
53:
42:
38:
37:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
777:
766:
763:
761:
758:
756:
753:
751:
748:
746:
743:
741:
738:
736:
733:
731:
728:
726:
723:
721:
718:
717:
715:
706:
702:
699:
695:
694:
689:
685:
680:
679:
660:on 2011-06-13
659:
655:
649:
645:
634:
630:
626:
623:
619:
615:
612:
608:
604:
601:
597:
593:
590:
586:
582:
578:
575:
572:
568:
564:
561:
557:
553:
550:
546:
542:
539:
535:
531:
528:
525:
521:
517:
514:
510:
506:
503:
499:
495:
492:
488:
484:
481:
477:
473:
470:
466:
462:
459:
455:
451:
448:
444:
440:
437:
434:
430:
426:
423:
419:
415:
412:
409:
405:
404:
395:
391:
389:
385:
381:
377:
375:
372:
368:
364:
360:
359:
346:
343:
341:
338:
337:
331:
329:
325:
321:
316:
314:
310:
306:
302:
298:
294:
289:
287:
283:
279:
274:
271:
268:of 1944, the
267:
263:
259:
254:
252:
248:
244:
240:
236:
232:
228:
224:
214:
212:
208:
207:mathematician
204:
195:
192:
188:
184:
180:
176:
173:
169:
166:
165:Alfred Tarski
162:
159:
157:
153:
150:
147:
143:
140:
137:
133:
130:
126:
123:
119:
115:
112:
108:
105:
102:
98:
94:
90:
86:
82:
78:
68:
64:
60:
56:
43:
39:
32:
27:
20:
691:
662:. Retrieved
658:the original
648:
632:
621:
610:
599:
588:
570:
559:
548:
537:
523:
512:
501:
490:
479:
468:
457:
446:
432:
421:
410:
393:
379:
366:
317:
313:model theory
290:
286:World War II
284:. After the
275:
264:. After the
255:
220:
202:
201:
145:Institutions
128:
71:(1975-08-22)
725:1975 deaths
720:1913 births
139:Mathematics
92:Nationality
714:Categories
664:2010-02-23
640:References
247:Kuratowski
239:Lindenbaum
235:Kuratowski
47:1913-11-01
330:in 2000.
324:René Thom
217:Biography
77:Vancouver
334:See also
221:Born in
374:0485384
223:Lemberg
55:Lemberg
401:Papers
392:1969:
386:
378:1952:
251:Tarski
243:Tarski
241:, and
135:Fields
95:Polish
85:Canada
356:Books
351:Works
309:logic
270:Nazis
384:ISBN
311:and
295:and
66:Died
41:Born
326:'s
282:PAS
716::
696:,
690:,
686:,
631:,
620:,
609:,
598:,
587:,
583:,
569:,
558:,
547:,
536:,
522:,
511:,
500:,
489:,
478:,
467:,
456:,
445:,
431:,
420:,
371:MR
365:)
315:.
237:,
225:,
213:.
83:,
79:,
57:,
667:.
49:)
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.