|
Thomas Jech
Thomas J. Jech ( cs, Tomáš Jech, ; born January 29, 1944 in Prague) is a mathematician specializing in set theory who was at Penn State for more than 25 years. Life He was educated at Charles University (his advisor was Petr Vopěnka) and from 2000 is at thInstitute of Mathematicsof the Academy of Sciences of the Czech Republic. Work Jech's research also includes mathematical logic, algebra, analysis, topology, and measure theory. Jech gave the first published proof of the consistency of the existence of a Suslin line. With Karel Prikry, he introduced the notion of precipitous ideal. He gave several models where the axiom of choice failed, for example one with ω1 measurable. The concept of a Jech–Kunen tree is named after him and Kenneth Kunen Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prague
Prague ( ; cs, Praha ; german: Prag, ; la, Praga) is the capital and largest city in the Czech Republic, and the historical capital of Bohemia. On the Vltava river, Prague is home to about 1.3 million people. The city has a temperate oceanic climate, with relatively warm summers and chilly winters. Prague is a political, cultural, and economic hub of central Europe, with a rich history and Romanesque, Gothic, Renaissance and Baroque architectures. It was the capital of the Kingdom of Bohemia and residence of several Holy Roman Emperors, most notably Charles IV (r. 1346–1378). It was an important city to the Habsburg monarchy and Austro-Hungarian Empire. The city played major roles in the Bohemian and the Protestant Reformations, the Thirty Years' War and in 20th-century history as the capital of Czechoslovakia between the World Wars and the post-war Communist era. Prague is home to a number of well-known cultural attractions, many of which survived the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karel Prikry
Karel may refer to: People * Karel (given name) * Karel (surname) * Charles Karel Bouley, talk radio personality known on air as Karel * Christiaan Karel Appel, Dutch painter Business * Karel Electronics, a Turkish electronics manufacturer * Grand Hotel Karel V, Dutch Hotel *Restaurant Karel 5, Dutch restaurant Other * 1682 Karel, an asteroid * Karel (programming language), an educational programming language See also * Karelians or Karels, a Baltic-Finnic ethnic group *''Karel and I'', 1942 Czech film *Karey (other) Karey may refer to: People * Karey Dornetto (fl. 2002–present), American screenwriter * Karey Hanks (fl. 2016–2018), American politician * Karey Kirkpatrick (fl. 1996–present), American screenwriter * Karey Lee Woolsey (born 1976), American ... {{disambiguation ja:カール (人名) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Czech Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman em ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1944 Births
Events Below, the events of World War II have the "WWII" prefix. January * January 2 – WWII: ** Free France, Free French General Jean de Lattre de Tassigny is appointed to command First Army (France), French Army B, part of the Sixth United States Army Group in North Africa. ** Landing at Saidor: 13,000 US and Australian troops land on Papua New Guinea, in an attempt to cut off a Japanese retreat. * January 8 – WWII: Philippine Commonwealth troops enter the province of Ilocos Sur in northern Luzon and attack Japanese forces. * January 11 ** President of the United States Franklin D. Roosevelt proposes a Second Bill of Rights for social and economic security, in his State of the Union address. ** The Nazi German administration expands Kraków-Płaszów concentration camp into the larger standalone ''Konzentrationslager Plaszow bei Krakau'' in occupied Poland. * January 12 – WWII: Winston Churchill and Charles de Gaulle begin a 2-day conference in Marrakech ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kenneth Kunen
Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also worked on non-associative algebraic systems, such as loops, and used computer software, such as the Otter theorem prover, to derive theorems in these areas. Personal life Kunen was born in New York City in 1943 and died in 2020. He lived in Madison, Wisconsin, with his wife Anne, with whom he had two sons, Isaac and Adam. Education Kunen completed his undergraduate degree at the California Institute of Technology and received his Ph.D. in 1968 from Stanford University, where he was supervised by Dana Scott. Career and research Kunen showed that if there exists a nontrivial elementary embedding ''j'' : ''L'' → ''L'' of the constructible universe, then 0# exists. He proved the consistency o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jech–Kunen Tree
A Jech–Kunen tree is a set-theoretic tree with properties that are incompatible with the generalized continuum hypothesis. It is named after Thomas Jech and Kenneth Kunen, both of whom studied the possibility and consequences of its existence. Definition A ''ω''1-tree is a tree with cardinality \aleph_1 and height ''ω''1, where ''ω''1 is the first uncountable ordinal and \aleph_1 is the associated cardinal number. A Jech–Kunen tree is a ''ω''1-tree in which the number of branches is greater than \aleph_1 and less than 2^. Existence found the first model in which this tree exists, and showed that, assuming the continuum hypothesis and 2^ > \aleph_2 , the existence of a Jech–Kunen tree is equivalent to the existence of a compact Hausdorff space with weight \aleph_1 and cardinality strictly between \aleph_1 and 2^. References * * *{{citation, last=Jin, first=Renling, title=The differences between Kurepa trees and Jech-Kunen trees, journal=Archive for Mathematical Logic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measurable Cardinal
In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal , or more generally on any set. For a cardinal , it can be described as a subdivision of all of its subsets into large and small sets such that itself is large, and all singletons are small, complements of small sets are large and vice versa. The intersection of fewer than large sets is again large. It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC. The concept of a measurable cardinal was introduced by Stanislaw Ulam in 1930. Definition Formally, a measurable cardinal is an uncountable cardinal number κ such that there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of ''κ''. (Here the term ''κ-additive'' means that, for any sequence ''A''''α'', α<λ of cardinality '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collection of sets, each containing at least one element, it is possible to construct a new set by arbitrarily choosing one element from each set, even if the collection is infinite. Formally, it states that for every indexed family (S_i)_ of nonempty sets, there exists an indexed set (x_i)_ such that x_i \in S_i for every i \in I. The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem. In many cases, a set arising from choosing elements arbitrarily can be made without invoking the axiom of choice; this is, in particular, the case if the number of sets from which to choose the elements is finite, or if a canonical rule on how to choose the elements is available – some distinguishin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Precipitous Ideal
{{Short pages monitor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suslin's Problem
In mathematics, Suslin's problem is a question about totally ordered sets posed by and published posthumously. It has been shown to be independent of the standard axiomatic system of set theory known as ZFC: showed that the statement can neither be proven nor disproven from those axioms, assuming ZF is consistent. (Suslin is also sometimes written with the French transliteration as , from the Cyrillic .) Formulation Suslin's problem asks: Given a non-empty totally ordered set ''R'' with the four properties # ''R'' does not have a least nor a greatest element; # the order on ''R'' is dense (between any two distinct elements there is another); # the order on ''R'' is complete, in the sense that every non-empty bounded subset has a supremum and an infimum; and # every collection of mutually disjoint non-empty open intervals in ''R'' is countable (this is the countable chain condition for the order topology of ''R''), is ''R'' necessarily order-isomorphic to the real line R? If ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
