Tarski: a lattice-theoretical fixpoint theorem and applications

What changed

Established fixed-point structure for monotone self-maps of complete lattices and developed applications.

Scientific scope

The record is Tarski's sole-author 1955 Pacific Journal of Mathematics paper. It does not erase Knaster's antecedent, apply without the paper's order and completeness hypotheses or absorb later fixed-point variants and computational uses.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Tarski's sole-author 1955 Pacific Journal of Mathematics paper. It does not erase Knaster's antecedent, apply without the paper's order and completeness hypotheses or absorb later fixed-point variants and computational uses.

Contributors

• Alfred Tarski · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Pacific Journal DOI for Tarski fixed-point paper
• University-hosted copy of Tarski fixed-point paper

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction