• Publications
  • Influence
A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS
1. A lattice-theoretical fixpoint theorem. In this section we formulate and prove an elementary fixpoint theorem which holds in arbitrary complete lattices. In the following sections we give various
A Decision Method For Elementary Algebra And Geometry
By a decision method for a class K of sentence (or other expressions) is meant a method by means of which, given any sentence θ, one can always decide in a finite number of steps whether θ is in K;
On the Calculus of Relations
  • A. Tarski
  • Philosophy
    J. Symb. Log.
  • 1 September 1941
The logical theory which is called the calculus of (binary) relations , and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development.
A Formalization Of Set Theory Without Variables
The formalism $\mathcal L$of predicate logic The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ The formalism $\mathcal L^+$ without variables and the problem of its equipollence
...
1
2
3
4
5
...