Anne C. Morel - Anne C. Morel
Anne C. Morel (také publikovaná jako Anne C. Davis , zemřel 22. července 1984) byla americká matematička známá svou prací v oblasti logiky , teorie objednávek a algebry . Byla první ženskou řádnou profesorkou matematiky na Washingtonské univerzitě .
Vzdělání a kariéra
Morel absolvoval v roce 1941 University of California v Los Angeles . Postgraduální studium matematiky zahájila v roce 1942 na Kalifornské univerzitě v Berkeley , studium však během druhé světové války nechala sloužit ve WAVES (Americká námořní námořní rezerva) . V roce 1946 se vrátila ke studiu v Berkeley a dokončila doktorát. v roce 1953. Na její disertační práci Studium aritmetiky typů řádů dohlížel Alfred Tarski a týkala se řadové aritmetiky .
Po dvou letech jako asistentka v Berkeley a pozice na Kalifornské univerzitě v Davisu a na Institutu pro pokročilé studium (1959–1960) nastoupila v roce 1960 na fakultu matematiky na University of Washington a stala se docentkou tam se stala v roce 1961. Nakonec se tam stala první řádnou profesorkou matematiky a po mnoho let byla jedinou univerzitní profesorkou matematiky.
Výzkumné příspěvky
V rámci své diplomové práce našla v roce 1952 Morel dvě různá spočetná pořadová čísla, jejichž čtverce jsou stejné. Poté, co Wacław Sierpiński zjednodušil její konstrukci, ji společně zveřejnili.
V roce 1955 publikoval Morel konverzaci k teorému Knaster – Tarski , podle které má každá neúplná mřížka rostoucí funkci bez pevného bodu .
Její práce z roku 1965 s Thomasem Fraynem a Danou Scottovou , „Reduced direct products“, poskytuje hlavní definice redukovaných produktů v teorii modelů . Byl publikován poté, co již bylo objeveno několik důležitých aplikací těchto definic, a byl nazýván „klasickým referenčním dokumentem“. Její jedinou publikací se svým poradcem Alfredem Tarskim bylo krátké oznámení souvisejícího výzkumu využívajícího redukované produkty v souvislosti s teorémem o kompaktnosti v matematické logice. Mimo jiné poskytl důkaz věty o kompaktnosti pomocí ultraproduktů . S Chen Chung Chang také použila redukované produkty, aby ukázala, že dostatečná podmínka pro uchování vlastností pod přímými produkty odvozenými Alfredem Hornem není také nutnou podmínkou.
Témata v jejím pozdějším výzkumu zahrnovala teorii skupin , semigroup a kofinalitu v univerzální algebře . Její závěrečnou publikací, která vyšla posmrtně, byla „Cofinality of algebras“ (1986).
Osobní život
Během své válečné služby se Morel setkala a provdala se za Alana Davise, jiného matematika. Jejich manželství však nebylo úspěšné a Davis zaujal pozici na Nevadské univerzitě v Renu, zatímco Morel se vrátila ke studiu na UC Berkeley. Rozvedli se v roce 1955.
V Berkeley začala Morel románek se svým poradcem Alfredem Tarskim v roce 1950, přibližně ve stejnou dobu jako další studentská milenka Tarski, Wanda Szmielew , opustila Berkeley, aby se vrátila do Polska. Tarski byl ženatý s Marií Witkowskou (s níž se oženil v roce 1929), ale když se Morel v roce 1955 rozvedl se svým manželem Alanem Davisem, Tarski nabídla, že se s Marií rozvede a místo toho se s ní provdá. Ona ho však odmítla. Místo toho se v roce 1957 provdala za právníka Delose Morela. Ačkoli Morelsové a Tarskisové zůstali v přátelském vztahu nejméně do roku 1960, Morel nakonec dospěl k názoru, že Tarskiho zacházení s jeho dalšími studentkami považuje za „využívání jeho mocenského postavení způsobem, který nyní považuje za nepřijatelný“.
The Morels měli dvě dcery, Jeanne (nar. 1958) a Verenu (1962–2002). Morel zemřela 22. července 1984. Její manžel Delos se stal hlavním soudcem správního práva ve Washingtonské státní radě pro žádosti o průmyslové pojištění a zemřel v roce 2008.
Vybrané publikace
| A. | Davis, Anne C .; Sierpiński, Waclaw (1952), „Sur les types d'ordre rozlišuje dont les carrés sont égaux“ , Comptes Rendus de l'Académie des Sciences , 235 : 850–852 |
| B. | Davis, Anne C. (1955), „A Characterization of Complete Lattices “ , Pacific Journal of Mathematics , 5 (2): 311–319, doi : 10,2140 / pjm.1955.5.311 |
| C. | Morel, AC; Scott, DS ; Tarski, Alfred (listopad 1958), „Reduced products and the compactness theorem“ (PDF) , Oznámení Americké matematické společnosti , 5 (6): 674–675 |
| D. | Chang, CC ; Morel, Anne C. (1958), „Při uzavření pod přímým produktem“, The Journal of Symbolic Logic , 23 (2): 149–154, doi : 10,2307 / 2964395 , JSTOR 2964395 |
| E. | Frayne, T .; Morel, AC; Scott, DS (1962), „Reduced direct products“, Fundamenta Mathematicae , 51 (3): 195–228, doi : 10,4064 / fm-51-3-195-228 |
| F. | Gould, Matthew; Morel, Anne C .; Tsinakis, Constantine (1986), „Cofinality of algebras“, Algebra Universalis , 22 (2–3): 253–278, doi : 10,1007 / BF01224031 , S2CID 122071730 |