Stationary Set

	Stationary Set In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. There are at least three closely related notions of stationary set, depending on whether one is looking at subsets of an ordinal, or subsets of something of given cardinality, or a powerset. Classical notion If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set.Jech (2003) p.91 If a set is not stationary, then it is called a thin set. This notion should not be confused with the notion of a thin set in number theory. If S is a stationary set and C is a club set, then their intersection S \cap C is also stationary. This is because if D is any club set, then C \cap D is a club set, thus (S \cap C) \cap D = S \cap (C \cap D) is nonempty. Therefore, (S \cap C) must be station ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Thin Set (Serre) In mathematics, a thin set in the sense of Serre, named after Jean-Pierre Serre, is a certain kind of subset constructed in algebraic geometry over a given field ''K'', by allowed operations that are in a definite sense 'unlikely'. The two fundamental ones are: solving a polynomial equation that may or may not be the case; solving within ''K'' a polynomial that does not always factorise. One is also allowed to take finite unions. Formulation More precisely, let ''V'' be an algebraic variety over ''K'' (assumptions here are: ''V'' is an irreducible set, a quasi-projective variety, and ''K'' has characteristic zero). A type I thin set is a subset of ''V''(''K'') that is not Zariski-dense. That means it lies in an algebraic set that is a finite union of algebraic varieties of dimension lower than ''d'', the dimension of ''V''. A type II thin set is an image of an algebraic morphism (essentially a polynomial mapping) φ, applied to the ''K''-points of some other ''d''-dimensio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Matthew Foreman Matthew Dean Foreman is an American mathematician at University of California, Irvine. He has made notable contributions in set theory and in ergodic theory. Biography Born in Los Alamos, New Mexico, Foreman earned his Ph.D. from the University of California, Berkeley in 1980 under Robert M. Solovay. His dissertation title was ''Large Cardinals and Strong Model Theoretic Transfer Properties''. In addition to his mathematical work, Foreman is an avid sailor. He and his family sailed their sailboat ''Veritas'' (a built by C&C Yachts) from North America to Europe in 2000. From 2000–2008 they sailed Veritas to the Arctic, the Shetland Islands, Scotland, Ireland, England, France, Spain, North Africa and Italy. Notable high points were Fastnet Rock, Irish and Celtic seas and many passages including the Maelstrom, Stad, Pentland Firth, Loch Ness, the Corryveckan and the Irish Sea. Further south they sailed through the Chenal du Four and Raz de Sein, across the Bay of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Menachem Magidor Menachem Magidor (; born January 24, 1946) is an Israeli mathematician who specializes in mathematical logic, in particular set theory. He served as president of the Hebrew University of Jerusalem, was president of the Association for Symbolic Logic from 1996 to 1998 and as president of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science (DLMPST/IUHPS) from 2016 to 2019. In 2016 he was elected an honorary foreign member of the American Academy of Arts and Sciences. In 2018 he received the Solomon Bublick Award. Biography Menachem Magidor was born in Petah Tikva, Israel. He received his Ph.D. in 1973 from the Hebrew University of Jerusalem. His thesis, ''On Super Compact Cardinals'', was written under the supervision of Azriel Lévy. He served as president of the Hebrew University of Jerusalem from 1997 to 2009, following Hanoch Gutfreund and succeeded by Menachem Ben-Sasson. The Ox ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Thomas Jech Thomas J. Jech (, ; born 29 January 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 topology a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Club Set In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal that is closed under the order topology, and is unbounded (see below) relative to the limit ordinal. The name ''club'' is a contraction of "closed and unbounded". Formal definition Formally, if \kappa is a limit ordinal, then a set C\subseteq\kappa is ''closed'' in \kappa if and only if for every \alpha < \kappa, if $\sup(C \cap \alpha) = \alpha \neq 0,$ then $\alpha \in C.$ Thus, if the limit of some sequence from $C$ is less than $\kappa,$ then the limit is also in $C.$ If $\kappa$ is a limit ordinal and $C \subseteq \kappa$ then $C$ is unbounded in $\kappa$ if for any $\alpha < \kappa,$ there is some $\beta \in C$ such that $\alpha < \ ... [...More Info...] [...Related Items...]$ OR: [Wikipedia] [Google] [Baidu]
	Harvey Friedman (mathematician) Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete". Biography Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on ''Subsystems of Analysis''. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007. In 1967, Friedman was listed in the ''Guinness Book of World Records'' for being ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Stanislaw Ulam Stanislav and variants may refer to: People Stanislav (given name), a Slavic given name with many spelling variations (Stanislaus, Stanislas, Stanisław, etc.) Places Stanislav, Kherson Oblast, a coastal village in Ukraine * Stanislaus County, California * Stanislaus River, California * Stanislaus National Forest, California * Place Stanislas, a square in Nancy, France, World Heritage Site of UNESCO * Saint-Stanislas, Mauricie, Quebec, a Canadian municipality * Stanizlav, a fictional train depot in the game '' TimeSplitters: Future Perfect'' * Stanislau, German name of Ivano-Frankivsk, Ukraine Schools * St. Stanislaus High School, an institution in Bandra, Mumbai, India * St. Stanislaus High School (Detroit) * Collège Stanislas de Paris, an institution in Paris, France * California State University, Stanislaus, a public university in Turlock, CA * St Stanislaus College (Bathurst) St Stanislaus' College is an Australian independent Roman Catholic secondary day and boar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Successor Cardinal In set theory, one can define a successor operation on cardinal numbers in a similar way to the successor operation on the ordinal numbers. The cardinal successor coincides with the ordinal successor for finite cardinals, but in the infinite case they diverge because every infinite ordinal and its successor have the same cardinality (a bijection can be set up between the two by simply sending the last element of the successor to 0, 0 to 1, etc., and fixing ω and all the elements above; in the style of Hilbert's Hotel Infinity). Using the von Neumann cardinal assignment and the axiom of choice (AC), this successor operation is easy to define: for a cardinal number ''κ'' we have :\kappa^+ = \left, \inf \\ , where ON is the class of ordinals. That is, the successor cardinal is the cardinality of the least ordinal into which a set of the given cardinality can be mapped one-to-one, but which cannot be mapped one-to-one back into that set. That the set above is nonempty follows from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Robert M The name Robert is an ancient Germanic given name, from Proto-Germanic "fame" and "bright" (''Hrōþiberhtaz''). Compare Old Dutch ''Robrecht'' and Old High German ''Hrodebert'' (a compound of '' Hruod'' () "fame, glory, honour, praise, renown, godlike" and ''berht'' "bright, light, shining"). It is the second most frequently used given name of ancient Germanic origin.Reaney & Wilson, 1997. ''Dictionary of English Surnames''. Oxford University Press. It is also in use as a surname. Another commonly used form of the name is Rupert. After becoming widely used in Continental Europe, the name entered England in its Old French form ''Robert'', where an Old English cognate form (''Hrēodbēorht'', ''Hrodberht'', ''Hrēodbēorð'', ''Hrœdbœrð'', ''Hrœdberð'', ''Hrōðberχtŕ'') had existed before the Norman Conquest. The feminine version is Roberta. The Italian, Portuguese, and Spanish form is Roberto. Robert is also a common name in many Germanic languages, including En ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Regular Cardinal In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. More explicitly, this means that \kappa is a regular cardinal if and only if every unbounded subset C \subseteq \kappa has cardinality \kappa. Infinite well-ordered cardinals that are not regular are called singular cardinals. Finite cardinal numbers are typically not called regular or singular. In the presence of the axiom of choice, any cardinal number can be well-ordered, and so the following are equivalent: # \kappa is a regular cardinal. # If \kappa = \textstyle\sum_ \lambda_i and \lambda_i < \kappa for all $i$ , then $, I, \ge \kappa$ . # If $S = \textstyle\bigcup_ S_i$ , and if $, I, < \kappa$ and $, S_i, < \kappa$ for all $i$ , then $, S, < \kappa$ . That is, every union of fewer than $\kappa$ sets smaller than $\kappa$ is smaller than $\kappa$ . # The [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Fodor's Lemma In mathematics, particularly in set theory, Fodor's lemma states the following: If \kappa is a regular, uncountable cardinal, S is a stationary subset of \kappa, and f:S\rightarrow\kappa is regressive (that is, f(\alpha)<\alpha for any $\alpha\in S$ , $\alpha\neq 0$ ) then there is some $\gamma$ and some stationary $S_0\subseteq S$ such that $f(\alpha)=\gamma$ for any $\alpha\in S_0$ . In modern parlance, the nonstationary ideal is ''normal''. The lemma was first proved by the Hungarian set theorist, Géza Fodor in 1956. It is sometimes also called "The Pressing Down Lemma". Proof We can assume that $0\notin S$ (by removing 0, if necessary). If Fodor's lemma is false, for every $\alpha<\kappa$ there is some [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]

Proof