Knaster–Tarski theorem

Known as: Tarski–Knaster theorem, Tarski's fixed point theorem, Tarski fixed point theorem

In the mathematical areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

Let $X$ be a Hausdorff topological compact space with a partial order $% \preceq $ for which the order intervals are closed and…

2016

In the past, compelling arguments in favour of the well-founded semantics for autoepistemic logic have been presented. In this…

2007

Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some…

2005

It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately…

2002

2001

We describe homotopy classes of self-homeomorphisms of solenoids and Knaster continua. In particular, we demonstrate that…

1992

It is shown that 2-to-1 maps cannot be defined on certain solenoids, in particular on the dyadic solenoid, and on Knaster…

1990

1989

A coherent approach is presented that extends relational and deductive database technology toward an integration of expert-system…

1984

Tarski's fixed point theorem is extended to the case of set-valued mappings, and is applied to a class of complementarity…