Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Knaster–Tarski_theorem> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Knaster–Tarski_theorem abstract "In the mathematical areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the following:Let L be a complete lattice and let f : L → L be an order-preserving function. Then the set of fixed points of f in L is also a complete lattice.It was Tarski who stated the result in its most general form, and so the theorem is often known as Tarski's fixed point theorem. Some time earlier, Knaster and Tarski established the result for the special case where L is the lattice of subsets of a set, the power set lattice.The theorem has important applications in formal semantics of programming languages and abstract interpretation.A kind of converse of this theorem was proved by Anne C. Davis: If every order preserving function f : L → L on a lattice L has a fixed point, then L is a complete lattice.".
- Knaster–Tarski_theorem wikiPageExternalLink alglatvar.
- Knaster–Tarski_theorem wikiPageID "181417".
- Knaster–Tarski_theorem wikiPageLength "10580".
- Knaster–Tarski_theorem wikiPageOutDegree "49".
- Knaster–Tarski_theorem wikiPageRevisionID "651523143".
- Knaster–Tarski_theorem wikiPageWikiLink Abstract_interpretation.
- Knaster–Tarski_theorem wikiPageWikiLink Alfred_Tarski.
- Knaster–Tarski_theorem wikiPageWikiLink Bronisław_Knaster.
- Knaster–Tarski_theorem wikiPageWikiLink Cantor–Bernstein–Schroeder_theorem.
- Knaster–Tarski_theorem wikiPageWikiLink Category:Articles_containing_proofs.
- Knaster–Tarski_theorem wikiPageWikiLink Category:Fixed-point_theorems.
- Knaster–Tarski_theorem wikiPageWikiLink Category:Fixed_points_(mathematics).
- Knaster–Tarski_theorem wikiPageWikiLink Category:Order_theory.
- Knaster–Tarski_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Knaster–Tarski_theorem wikiPageWikiLink Complete_lattice.
- Knaster–Tarski_theorem wikiPageWikiLink Computer_science.
- Knaster–Tarski_theorem wikiPageWikiLink Converse_(logic).
- Knaster–Tarski_theorem wikiPageWikiLink Duality_(order_theory).
- Knaster–Tarski_theorem wikiPageWikiLink Empty_set.
- Knaster–Tarski_theorem wikiPageWikiLink Fixed_point_(mathematics).
- Knaster–Tarski_theorem wikiPageWikiLink Formal_semantics_of_programming_languages.
- Knaster–Tarski_theorem wikiPageWikiLink Function_(mathematics).
- Knaster–Tarski_theorem wikiPageWikiLink Greatest_fixpoint.
- Knaster–Tarski_theorem wikiPageWikiLink Infimum_and_supremum.
- Knaster–Tarski_theorem wikiPageWikiLink Invariant_manifold.
- Knaster–Tarski_theorem wikiPageWikiLink Invariant_set.
- Knaster–Tarski_theorem wikiPageWikiLink Iterated_function_system.
- Knaster–Tarski_theorem wikiPageWikiLink James_Dugundji.
- Knaster–Tarski_theorem wikiPageWikiLink Kantorovitch_fixpoint_theorem.
- Knaster–Tarski_theorem wikiPageWikiLink Kleene_fixed-point_theorem.
- Knaster–Tarski_theorem wikiPageWikiLink Kleene_fixpoint_theorem.
- Knaster–Tarski_theorem wikiPageWikiLink Lattice_(order).
- Knaster–Tarski_theorem wikiPageWikiLink Lattice_theory.
- Knaster–Tarski_theorem wikiPageWikiLink Least_fixed_point.
- Knaster–Tarski_theorem wikiPageWikiLink Least_fixpoint.
- Knaster–Tarski_theorem wikiPageWikiLink Least_upper_bound.
- Knaster–Tarski_theorem wikiPageWikiLink Mathematics.
- Knaster–Tarski_theorem wikiPageWikiLink Mathematische_Nachrichten.
- Knaster–Tarski_theorem wikiPageWikiLink Modal_μ-calculus.
- Knaster–Tarski_theorem wikiPageWikiLink Monotone_function.
- Knaster–Tarski_theorem wikiPageWikiLink Monotonic_function.
- Knaster–Tarski_theorem wikiPageWikiLink Order_theory.
- Knaster–Tarski_theorem wikiPageWikiLink Ordinal_number.
- Knaster–Tarski_theorem wikiPageWikiLink Partially_ordered_set.
- Knaster–Tarski_theorem wikiPageWikiLink Power_set.
- Knaster–Tarski_theorem wikiPageWikiLink Powerset.
- Knaster–Tarski_theorem wikiPageWikiLink Program_semantics.
- Knaster–Tarski_theorem wikiPageWikiLink Schröder–Bernstein_theorem.
- Knaster–Tarski_theorem wikiPageWikiLink Semantics_(computer_science).
- Knaster–Tarski_theorem wikiPageWikiLink Set_(mathematics).
- Knaster–Tarski_theorem wikiPageWikiLink Springer_Science+Business_Media.
- Knaster–Tarski_theorem wikiPageWikiLink Subset.
- Knaster–Tarski_theorem wikiPageWikiLink Transfinite_induction.
- Knaster–Tarski_theorem wikiPageWikiLinkText "Knaster–Tarski theorem".
- Knaster–Tarski_theorem wikiPageWikiLinkText "Knaster–Tarski theorem".
- Knaster–Tarski_theorem wikiPageWikiLinkText "Tarski's fixed point theorem".
- Knaster–Tarski_theorem wikiPageWikiLinkText "fixpoint theory".
- Knaster–Tarski_theorem hasPhotoCollection Knaster–Tarski_theorem.
- Knaster–Tarski_theorem wikiPageUsesTemplate Template:Cite_book.
- Knaster–Tarski_theorem wikiPageUsesTemplate Template:Cite_journal.
- Knaster–Tarski_theorem wikiPageUsesTemplate Template:Reflist.
- Knaster–Tarski_theorem subject Category:Articles_containing_proofs.
- Knaster–Tarski_theorem subject Category:Fixed-point_theorems.
- Knaster–Tarski_theorem subject Category:Fixed_points_(mathematics).
- Knaster–Tarski_theorem subject Category:Order_theory.
- Knaster–Tarski_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Knaster–Tarski_theorem comment "In the mathematical areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the following:Let L be a complete lattice and let f : L → L be an order-preserving function. Then the set of fixed points of f in L is also a complete lattice.It was Tarski who stated the result in its most general form, and so the theorem is often known as Tarski's fixed point theorem.".
- Knaster–Tarski_theorem label "Knaster–Tarski theorem".
- Knaster–Tarski_theorem sameAs Fixpunktsatz_von_Tarski_und_Knaster.
- Knaster–Tarski_theorem sameAs Teorema_de_Knaster-Tarski.
- Knaster–Tarski_theorem sameAs Théorème_de_Knaster-Tarski.
- Knaster–Tarski_theorem sameAs Teorema_di_Knaster-Tarski.
- Knaster–Tarski_theorem sameAs Twierdzenie_Knastera-Tarskiego_o_punkcie_stałym.
- Knaster–Tarski_theorem sameAs m.018svz.
- Knaster–Tarski_theorem sameAs Теорема_Кнастера_—_Тарского.
- Knaster–Tarski_theorem sameAs Теорема_Кнастера_—_Тарського.
- Knaster–Tarski_theorem sameAs Q609612.
- Knaster–Tarski_theorem sameAs Q609612.
- Knaster–Tarski_theorem sameAs 克纳斯特－塔斯基定理.
- Knaster–Tarski_theorem wasDerivedFrom Knaster–Tarski_theorem?oldid=651523143.
- Knaster–Tarski_theorem isPrimaryTopicOf Knaster–Tarski_theorem.