Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS
- A. Tarski
- Mathematics
- 1 June 1955
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
- A. Tarski
- Mathematics
- 1951
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
- PhilosophyJ. 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
...