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… (More)

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of… (More)

X is true if, and only if, p. [...] we shall call a definition of truth “adequate” if all these equivalences follow from it. [...] The definition of truth which was outlined above [...] implies all… (More)

In colloquial language the term elementary geometry is used loosely to refer to the body of notions and theorems which, following the tradition of Euclid's Elements, form the subject matter of… (More)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski’s system of foundations for… (More)

In this paper we shall be concerned with a certain particular problem from the general theory of sets, namely with the problem of the existence of families of mutually exclusive sets with a maximal… (More)

T he subject of this article is an old one. It has been frequently dis cussed in modern logical and phil osophical literature, and it would not be easy to contribute anything original to the… (More)