|
Michael D. Morley
Michael Darwin Morley (September 29, 1930 – October 11, 2020) was an American mathematician. At his death in 2020, Morley was professor emeritus at Cornell University. His research was in mathematical logic and model theory, and he is best known for Morley's categoricity theorem, which he proved in his PhD thesis ''Categoricity in Power'' in 1962. Early life and education Morley was born in Youngstown, Ohio, on September 29, 1930. He obtained his BS in mathematics from Case Institute of Technology in 1951 and his PhD in mathematics from the University of Chicago in 1962. Morley's formal PhD advisor at the University of Chicago was Saunders Mac Lane, but he completed his thesis under the guidance of Robert Vaught at the University of California, Berkeley. His dissertation was titled ''Categoricity in Power''. Career Morley was an assistant professor at the University of Wisconsin–Madison from 1963 to 1967. He joined the faculty at Cornell University in 1967 as an associate pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Youngstown, Ohio
Youngstown is a city in Mahoning County, Ohio, United States, and its county seat. It is the List of municipalities in Ohio, 11th-most populous city in Ohio with a population of 60,068 at the 2020 United States census, 2020 census. The Mahoning Valley, Youngstown–Warren metropolitan area has an estimated 430,000 residents. Youngstown is situated on the Mahoning River in Northeast Ohio, roughly midway between Cleveland ( northwest) and Pittsburgh ( southeast). Youngstown is a midwestern city located at the foothills of the Appalachian Mountains. The city was named for John Young (pioneer), John Young, an early settler from Whitestown, New York, who established the community's first sawmill and gristmill. It was an early industrial city of the late 19th and early 20th centuries and became known as a center of steel production. With the movement of jobs offshore as the History of the iron and steel industry in the United States, steel industry in the United States fell into declin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of California, Berkeley
The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after the Anglo-Irish philosopher George Berkeley, it is the state's first land-grant university and is the founding campus of the University of California system. Berkeley has an enrollment of more than 45,000 students. The university is organized around fifteen schools of study on the same campus, including the UC Berkeley College of Chemistry, College of Chemistry, the UC Berkeley College of Engineering, College of Engineering, UC Berkeley College of Letters and Science, College of Letters and Science, and the Haas School of Business. It is Carnegie Classification of Institutions of Higher Education, classified among "R1: Doctoral Universities – Very high research activity". Lawrence Berkeley National Laboratory was originally founded as par ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of California, Berkeley Alumni
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Wisconsin–Madison Faculty
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in the Midd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cornell University Faculty
This list of Cornell University faculty includes notable current and former instructors and administrators of Cornell University, an Ivy League university located in Ithaca, New York. Nobel laureates Chemistry * Peter Debye (Professor of Chemistry, 1940–50; Department Chair) — Chemistry 1936; National Medal of Science (1965) * Manfred Eigen (A.D. White Professor-at-Large, 1965–76) — Chemistry 1967 * Richard R. Ernst (A.D. White Professor-at-Large, 1996-2002) — Chemistry 1991 * Paul Flory (Chemistry faculty, 1948–57) — Chemistry 1974; National Medal of Science (1974) * Otto Hahn (George Fisher Baker Lecturer of Chemistry, 1933) — Chemistry 1944 * Gerhard Herzberg (George Fischer Baker Non-Resident Lecturer in Chemistry 1968) — Chemistry 1971 * Roald Hoffmann (Frank H.T. Rhodes Professor in Humane Letters) — Chemistry 1981; National Medal of Science (1983) * Linus Pauling (George Fischer Baker Non-Resident Lecturer in Chemistry 1937-1938; Messenger Lect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2020 Deaths
This is a list of lists of deaths of notable people, organized by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked below. 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 Earlier years ''Deaths in years earlier than this can usually be found in the main articles of the years.'' See also * Lists of deaths by day * Deaths by year (category) {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1930 Births
Events January * January 15 – The Moon moves into its nearest point to Earth, called perigee, at the same time as its fullest phase of the Lunar Cycle. This is the closest moon distance at in recent history, and the next one will be on January 1, 2257, at . * January 26 – The Indian National Congress declares this date as Independence Day, or as the day for Purna Swaraj (Complete Independence). * January 28 – The first patent for a field-effect transistor is granted in the United States, to Julius Edgar Lilienfeld. * January 30 – Pavel Molchanov launches a radiosonde from Pavlovsk, Saint Petersburg, Slutsk in the Soviet Union. February * February 10 – The Việt Nam Quốc Dân Đảng launch the Yên Bái mutiny in the hope of ending French Indochina, French colonial rule in Vietnam. * February 18 – While studying photographs taken in January, Clyde Tombaugh confirms the existence of Pluto, a celestial body considered a planet until redefined as a dwarf planet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morley's Problem
In model theory, a branch of mathematical logic, the spectrum of a theory is given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory ''T'' in a language we write ''I''(''T'', ''κ'') for the number of models of ''T'' (up to isomorphism) of cardinality ''κ''. The spectrum problem is to describe the possible behaviors of ''I''(''T'', ''κ'') as a function of ''κ''. It has been almost completely solved for the case of a countable theory ''T''. Early results In this section ''T'' is a countable complete theory and ''κ'' is a cardinal. The Löwenheim–Skolem theorem shows that if ''I''(''T'',''κ'') is nonzero for one infinite cardinal then it is nonzero for all of them. Morley's categoricity theorem was the first main step in solving the spectrum problem: it states that if ''I''(''T'',''κ'') is 1 for some uncountable ''κ'' then it is 1 for all uncountable ''κ''. Robert Vaught showed that ''I''(''T'',ℵ0) ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trans
Trans- is a Latin prefix meaning "across", "beyond", or "on the other side of". Used alone, trans may refer to: Sociology * Trans, a sociological term which may refer to: ** Transgender, people who identify themselves with a gender that differs from their sex societally designated/assigned at birth ** Transsexual, people who seek to transition from their birth-assigned sex to another via therapy and/or surgery ** Trans*, a broader term for identities including transgender and transsexual Arts, entertainment, and media * Trans (festival), a former festival in Belfast, Northern Ireland, United Kingdom * Trans (1982 film), a Venezuelan short documentary film * ''Trans'' (1998 film), an American film * Trans Corp, an Indonesian business unit of CT Corp in the fields of media, lifestyle, and entertainment ** Trans Media, a media subsidiary of Trans Corp *** Trans TV, an Indonesian television network *** Trans7, an Indonesian television network Literature * '' Tran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morley Rank
In mathematical logic, Morley rank, introduced by , is a means of measuring the size of a subset of a model theory, model of a theory (logic), theory, generalizing the notion of dimension in algebraic geometry. Definition Fix a theory ''T'' with a model ''M''. The Morley rank of a formula ''φ'' defining a definable set, definable (with parameters) subset ''S'' of ''M'' is an ordinal number, ordinal or −1 or ∞, defined by first recursively defining what it means for a formula to have Morley rank at least ''α'' for some ordinal ''α''. *The Morley rank is at least 0 if ''S'' is non-empty. *For ''α'' a successor ordinal, the Morley rank is at least ''α'' if in some elementary extension ''N'' of ''M'', the set ''S'' has countably infinitely many disjoint definable subsets ''Si'', each of rank at least ''α'' − 1. *For ''α'' a non-zero limit ordinal, the Morley rank is at least ''α'' if it is at least ''β'' for all ''β'' less than ''α''. The Morley ran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis. Publications The ASL publishes books and academic journals. Its three official journals are: * ''Journal of Symbolic Logic'' – publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'' – publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'' – publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, . In addition, the ASL has a sponsored journal: * ''Journal of Logic and Analysis'' publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an open-access successor to the Springer journal ''Logic and Analysis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
