Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Halpern–Läuchli_theorem> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Halpern–Läuchli_theorem abstract "In mathematics, the Halpern–Läuchli theorem is a partition result about finite products of infinite trees. Its original purpose was to give a model for set theory in which the Boolean prime ideal theorem is true but the axiom of choice is false. It is often called the Halpern–Läuchli theorem, but the proper attribution for the theorem as it is formulated below is to Halpern–Läuchli–Laver–Pincus or HLLP (named after James D. Halpern, Hans Läuchli, Richard Laver, and David Pincus), following (Milliken 1979).Let d,r < ω, be a sequence of finitely splitting trees of height ω. Let then there exists a sequence of subtrees strongly embedded in such thatAlternatively, let and .The HLLP theorem says that not only is the collection partition regular for each d < ω, but that the homogeneous subtree guaranteed by the theorem is strongly embedded in".
- Halpern–Läuchli_theorem wikiPageID "4358338".
- Halpern–Läuchli_theorem wikiPageRevisionID "551326894".
- Halpern–Läuchli_theorem subject Category:Ramsey_theory.
- Halpern–Läuchli_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Halpern–Läuchli_theorem subject Category:Trees_(set_theory).
- Halpern–Läuchli_theorem comment "In mathematics, the Halpern–Läuchli theorem is a partition result about finite products of infinite trees. Its original purpose was to give a model for set theory in which the Boolean prime ideal theorem is true but the axiom of choice is false. It is often called the Halpern–Läuchli theorem, but the proper attribution for the theorem as it is formulated below is to Halpern–Läuchli–Laver–Pincus or HLLP (named after James D.".
- Halpern–Läuchli_theorem label "Halpern–Läuchli theorem".
- Halpern–Läuchli_theorem sameAs Halpern%E2%80%93L%C3%A4uchli_theorem.
- Halpern–Läuchli_theorem sameAs Q5643485.
- Halpern–Läuchli_theorem sameAs Q5643485.
- Halpern–Läuchli_theorem wasDerivedFrom Halpern–Läuchli_theorem?oldid=551326894.