A Lattice-Theoretical Fixpoint Theorem and Its Applications.

Tarski, A. (1955). A Lattice-Theoretical Fixpoint Theorem and Its Applications. Pacific Journal of Mathematics, 5(2), 285-309.

Type

Journal article

Intellectual base

Primary research

Year

1955

DOI

10.2140/pjm.1955.5.285

Link

https://doi.org/10.2140/pjm.1955.5.285

Cited from

mathematics

Cited by

3 citations across 3 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Fixed Point
  • When an object is defined in terms of itself — the prediction that shapes the thing predicted, the value of a recursive definition, the price that depends on the price — the object's existence is the existence of a fixed point of an associated map, and many apparent paradoxes dissolve once the underlying self-referential map and its fixed points are made explicit.
• Order
  • or fixed-point analysis (the Knaster-Tarski theorem on monotone maps over complete lattices, which Tarski (1955) generalized into the form now used in denotational semantics and abstract interpretation)

    This sourceSource of the Knaster-Tarski fixed-point theorem as now formulated. Precursor: Knaster, Bronisław, and Alfred Tarski. "Un théorème sur les fonctions d'ensembles." Annales de la Société Polonaise de Mathématique 6 (1928): 133–134.

• Relation
  • Similarly, a partial order is characterized by reflexivity, antisymmetry, and transitivity; these properties together license the Hasse-diagram visualization, the least-upper-bound construction, and the order-theoretic fixed-point theorems (Knaster-Tarski

    This sourceSource of the Knaster-Tarski fixed-point theorem as now formulated. Precursor: Knaster, Bronisław, and Alfred Tarski. "Un théorème sur les fonctions d'ensembles." Annales de la Société Polonaise de Mathématique 6 (1928): 133–134.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:65ef1c00036a · see in the full table