Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
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… Expand
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;… Expand
On the Calculus of Relations
- A. Tarski
- Computer Science
- J. Symb. Log.
- 1 September 1941
TLDR
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… Expand
...
1
2
3
4
5
...