Constructive versions of Tarski’s fixed point theorems

Abstract interpretation

1977 • 6,167 citations

Introduction to Metamathematics

1952 • 4,450 citations

A lattice-theoretical fixpoint theorem and its applications

1955 • 2,678 citations

Fixed Point Equations and Nonlinear Eigenvalue Problems in Ordered Banach Spaces

1976 • 1,888 citations

The calculi of lambda-conversion

1941 • 1,213 citations

Providence, Rhode Island

1975 • 641 citations

Constructive versions of Tarski’s fixed point theorems

1979 • 249 citations

Chain-complete posets and directed sets with applications

1976 • 214 citations

The Closure Operators of a Lattice

1942 • 138 citations

A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems

1961 • 122 citations

What is the probability that two elements of a finite group commute?

1979 • 104 citations

C^∗-algebras associated with free products of groups

1979 • 81 citations

Fixed points in partially ordered sets

1973 • 53 citations

Congruence lattices of algebras of fixed similarity type. I

1979 • 49 citations

The dimension of the kernel of a planar set

1979 • 45 citations

Discrete generalized Gronwall inequalities in three independent variables

1979 • 44 citations

Metabelian representations of knot groups

1979 • 41 citations

The case of equality in the matrix-valued triangle inequality

1979 • 41 citations

Right self-injective rings whose essential right ideals are two-sided

1979 • 37 citations

KO-equivalences and existence of nonsingular bilinear maps

1979 • 37 citations

Banach spaces with polynomial norms

1979 • 36 citations

On selfadjoint derivation ranges

1979 • 35 citations

PM-normality and the insertion of a continuous function

1979 • 35 citations

Some relationships between measures

1979 • 31 citations

Some Fixed Point Theorems for Partially Ordered Sets

1976 • 30 citations

Concordance and homotopy. I. Fundamental group

1979 • 30 citations

Subspaces of positive definite inner product spaces of countable dimension

1979 • 29 citations

On a theorem of Murasugi

1979 • 29 citations

A combinatorial problem in finite fields. I

1979 • 28 citations

Common fixed points for isotone mappings

1964 • 27 citations

On hypoelliptic differential operators of constant strength

1979 • 27 citations

Intersections of terms of polycentral series of free groups and free Lie algebras

1979 • 27 citations

Embedding open 3-manifolds in compact 3-manifolds

1979 • 26 citations

The obstruction of the formal moduli space in the negatively graded case

1979 • 25 citations

On unitary automorphisms of solvable Lie algebras

1979 • 25 citations

Word equations in a band of paths

1979 • 23 citations

Common Fixed Points of Commuting Monotone Mappings

1967 • 21 citations

On the invariant points of a transformation

1961 • 16 citations

Dedekind Completeness and a Fixed-Point Theorem

1957 • 16 citations

The convergence of functions to fixedpoints of recursive definitions

1978 • 16 citations

On Completeness of Partially Ordered Sets and Fixpoint Theorems for Isotone Mappings

1968 • 14 citations

Completeness in Semi-Lattices

1957 • 13 citations

On monotonous mappings of complete lattices

1964 • 9 citations

Some fixed point theorems of the mappings of partially ordered sets

1974 • 7 citations

Préfermeture sur un ensemble ordonné

1973 • 2 citations