'The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite.' David Hilbert (1862-1943). This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen (...) world-renowned researchers in the fields of mathematics, physics, cosmology, philosophy, and theology offer a rich intellectual exchange among various current viewpoints, rather than a static picture of accepted views on infinity. The book starts with a historical examination of the transformation of infinity from a philosophical and theological study to one dominated by mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following this, the book considers the perspectives of physics and cosmology: Can infinity be found in the real universe? Finally, the book returns to questions of philosophical and theological aspects of infinity"--Provided by publisher. (shrink)

We show the Borel Conjecture is consistent with the continuum large.

We prove a strong boundedness theorem for dilators: if A ⊆ DIL is Σ 1 1 , then there is a recursive dilator D 0 such that ∀ D ∈ A.

We show how to get canonical models from in which the nonstationary ideal on ω1 is ω1 dense and there is no P-point.

We show how to get canonical models from in which the nonstationary ideal on ω1 is ω1 dense and there is no P-point.

Assume ZF + AD +V=L and letκ< Θ be an uncountable cardinal. We show thatκis Jónsson, and that if cof = ω thenκis Rowbottom. We also establish some other partition properties.

We consider the possible complexity of the set of reals belonging to an inner model M of set theory. We show that if this set is analytic then either 1M is countable or else all reals are in M. We also show that if an inner model contains a superperfect set of reals as a subset then it contains all reals. On the other hand, it is possible to have an inner model M whose reals are an uncountable Fσ set (...) and which does not have all reals. A similar construction shows that there can be an inner model M which computes correctly 1, contains a perfect set of reals as a subset and yet not all reals are in M. These results were motivated by questions of H. Friedman and K. Prikry. (shrink)

We extend work of H. Friedman, L. Harrington and P. Welch to the third level of the projective hierarchy. Our main theorems say that (under appropriate background assumptions) the possibility to select definable elements of non-empty sets of reals at the third level of the projective hierarchy is equivalent to the disjunction of determinacy of games at the second level of the projective hierarchy and the existence of a core model (corresponding to this fragment of determinacy) which must then contain (...) all real numbers. The proofs use Sacks forcing with perfect trees and core model techniques. (shrink)

It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that an educated man should accept on the authority of the specialist. Yet a little reflection might at least make one hesitate. For whatever else (...) may be said about logic, it is generally allowed to study thinking. Some would say merely that it studies inference; but inference is thinking. Now the mathematician thinks and infers, but he does not study the activity of thinking and inferring; and a study of that activity would never make the discoveries credited to the mathematicians. (shrink)

"First published by Oxford University Press, 1916."--Title page verso.

First published in 1938. The aim of this book is to expound Kant’s _Critique of Judgement _by interpreting all the details in the light of what Kant himself declares to be his fundamental problem. _A Commentary on Kant’s Critique of Judgement _provides an excellent introduction to Kant’s third critique, and will be of interest to students of philosophy.

An English language translation accompanies the original Greek text of Aristotle's book about the nature of the state, constitutions, revolutions, democracy, and oligarchy.

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

'Uncertainty and chance' is a subject with a broad span, in that there is no academic discipline or walk of life that is not beset by uncertainty and chance. In this book a range of approaches is represented by authors from varied disciplines: natural sciences, mathematics, social sciences and medical sciences. At one extreme, this volume is concerned with the foundations of probability. At the other extreme, we have scholars who acknowledge the concept of chance and uncertainty but do not (...) cope with it by means of systematic measurement or quantative analysis. (shrink)