35 relations: Axiom of constructibility, Baire space (set theory), Cardinal number, Cardinality, Chang's conjecture, Cofinal (mathematics), Cofinality, Constructible universe, Donald A. Martin, Erdős cardinal, Forcing (mathematics), Gödel numbering, Generic filter, Hereditarily finite set, Indiscernibles, Ineffable cardinal, Jack Silver, Jensen's covering theorem, Large cardinal, Leo Harrington, Lightface analytic game, Measurable cardinal, Ramsey cardinal, Regular cardinal, Robert M. Solovay, Ronald Jensen, Set theory, Springer Science+Business Media, Tarski's undefinability theorem, Transactions of the American Mathematical Society, Turing degree, Uncountable set, Well-formed formula, Zermelo–Fraenkel set theory, Zero dagger.
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible.
In set theory, the Baire space is the set of all infinite sequences of natural numbers with a certain topology.
In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.
In mathematics, the cardinality of a set is a measure of the "number of elements of the set".
In model theory, a branch of mathematical logic, Chang's conjecture, attributed to Chen Chung Chang by, states that every model of type (ω2,ω1) for a countable language has an elementary submodel of type (ω1, ω).
Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.
The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.
Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.
Christmas traditions vary from country to country.
In mathematics, let A be a set and let ≤ be a binary relation on A. Then a subset B of A is said to be cofinal if it satisfies the following condition: This definition is most commonly applied when A is a partially ordered set or directed set under the relation ≤. Cofinal subsets are very important in the theory of directed sets and nets, where “cofinal subnet” is the appropriate generalization of “subsequence”.
In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member.
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets.
Donald A. Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is a member of the faculty of mathematics and philosophy.
In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by.
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results.
In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number.
In the mathematical field of set theory, a generic filter is a kind of object used in the theory of forcing, a technique used for many purposes, but especially to establish the independence of certain propositions from certain formal theories, such as ZFC.
In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets.
In mathematical logic, indiscernibles are objects which cannot be distinguished by any property or relation defined by a formula.
In the mathematics of transfinite numbers, an ineffable cardinal is a certain kind of large cardinal number, introduced by.
Jack Howard Silver (23 April 1942 – 22 December 2016) was a set theorist and logician at the University of California, Berkeley.
In set theory, Jensen's covering theorem states that if 0# does not exist then every uncountable set of ordinals is contained in a constructible set of the same cardinality.
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.
In descriptive set theory, a lightface analytic game is a game whose payoff set A is a \Sigma^1_1 subset of Baire space; that is, there is a tree T on \omega\times\omega which is a computable subset of (\omega\times\omega)^.
In mathematics, a measurable cardinal is a certain kind of large cardinal number.
New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.
New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.
In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.
In mathematics, a Ramsey cardinal is a certain kind of large cardinal number introduced by and named after Frank P. Ramsey.
In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality.
Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory.
Ronald Björn Jensen (born April 1, 1936) is an American mathematician active in Europe, primarily known for his work in mathematical logic and set theory.
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics.
The Transactions of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society.
In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.
In mathematics, an uncountable set (or uncountably infinite set) is an infinite set that contains too many elements to be countable.
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.
In set theory, 0† (zero dagger) is a particular subset of the natural numbers, first defined by Robert M. Solovay in unpublished work in the 1960s.
2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.
2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.