Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Knaster-Tarski Revisited
View through CrossRef
Abstract.
The concept “complete partial order” is generalized to the concept “functionally complete partial order.” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved. The theory is applied to yield a fixpoint mapping theorem.
Title: Knaster-Tarski Revisited
Description:
Abstract.
The concept “complete partial order” is generalized to the concept “functionally complete partial order.
” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved.
The theory is applied to yield a fixpoint mapping theorem.
Related Results
Alfred Tarski
Alfred Tarski
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy,...
Alfred Tarski
Alfred Tarski
Abstract
Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both pe...
Understanding Truth
Understanding Truth
Abstract
Understanding Truth aims to illuminate the notion of truth, and the role it plays in our ordinary thought, as well as in our logical, philosophical, and sci...
Invariant sets and Knaster-Tarski principle
Invariant sets and Knaster-Tarski principle
Abstract
Our aim is to point out the applicability of the Knaster-Tarski fixed point principle to the problem of existence of invariant sets in discrete-time (multiv...
On Knaster’s problem
On Knaster’s problem
Dold?s theorem gives sufficient conditions for proving that there is no
G-equivariant mapping between two spaces. We prove a generalization of Dold?s
theorem, which requires ...
Tarski Geometry Axioms. Part V – Half-planes and Planes
Tarski Geometry Axioms. Part V – Half-planes and Planes
Summary
In the article, we continue the formalization of the work devoted to Tarski’s geometry – the book “Metamathematische Methoden in der Geometrie” by W. Schwabh...
Tarski's Definition of Truth
Tarski's Definition of Truth
Abstract
This chapter provides a detailed explanation of Tarski's definition of truth for formalized languages. It begins by indicating how he conceived the problem,...