-
12It is shown that for invariance under the action of special groups the statements "Every invariant PCA is decomposable into (1 invariant Borel sets" and "Every pair of invariant PCA is reducible by a pair of invariant PCA sets" are independent of the axioms of set theory.
-
74Hintikka et Sandu versus Frege in re Arbitrary FunctionsPhilosophia Mathematica 1 (1): 50-65. 1993.Hintikka and Sandu have recently claimed that Frege's notion of function was substantially narrower than that prevailing in real analysis today. In the present note, their textual evidence for this claim is examined in the light of relevant historical and biographical background and judged insufficient.
-
42Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in GeometryPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988. 1988.The consequences for the theory of sets of points of the assumption of sets of sets of points, sets of sets of sets of points, and so on, are surveyed, as more generally are the differences among the geometric theories of points, of finite point-sets, of point-sets, of point-set-sets, and of sets of all ranks.
-
17Chapter Two. Temporal LogicIn J. W. Davis (ed.), Philosophical logic, D. Reidel. pp. 13-39. 1969.
-
11Review: Hao Wang, From Mathematics to Philosophy (review)Journal of Symbolic Logic 42 (4): 579-580. 1977.
Princeton, New Jersey, United States of America