What people are saying - Write a review
We haven't found any reviews in the usual places.
A MORE EXPLICIT SET THEORY╣
SETS SEMISETS MODELS
THE BOOLEAN PRIME IDEAL THEOREM DOES NOT IMPLY THE AXIOM OF CHOICE
ON MODELS FOR SET THEORY WITHOUT AC
PRIMITIVE RECURSIVE SET FUNCTIONS
ON SOME CONSEQUENCES OF THE AXIOM OF DETERMINATENESS
EMBEDDING CLASSICAL TYPE THEORY IN INTUITIOMSTIC TYPE THEORY
AN AXIOM OF STRONG INFINITY AND ANALYTIC HIERARCHY OF ORDINAL NUMBERS
LIBERAL INTUITIONISM AS A BASIS FOR SET THEORY
FORCING WITH PERFECT CLOSED SETS
END EXTENSIONS OF MODELS OF SET THEORY
OBSERVATIONS ON POPULAR DISCUSSIONS OF FOUNDATIONS
INDESCRIBABILITY AND THE CONTINUUM
THE SIZES OF THE INDESCRIBABLE CARDINALS
ON THE LOGICAL COMPLEXITY OF SEVERAL AXIOMS OF SET THEORY
CATEGORICAL ALGEBRA AND SETTHEORETIC FOUNDATIONS
THE SOLUTION OF ONE OF ULAMS PROBLEMS CONCERNING ANALYTIC RECTANGLES
absolute arithmetic Assume G.C.H. axiom of choice axiom of constructibility Boolean algebra complete boolean algebra consistent constructible sets continuum hypothesis contradiction COROLLARY countable definition den(u denote disjoint element elementary extension equivalent exists first-order formal formula free variables functor Godel graph Hajnal hence holds hyperarithmetic implies inaccessible cardinal induction hypothesis infinite language Lemma logic mapping Math mathematics measurable cardinal measure zero model of ZF morphism nonempty nontrivial notion obtain one-one ordinal number positive measure power set predicate Prim Prim0 primitive recursive Primo Problem proof of Theorem prove quantifiers recursive ordinal regular cardinal relation replacing satisfies schema semisets sentence set functions set theory Skolem Solovay statement subset Suppose symbols term transitive set Turing degree ultrafilter ultraproduct universe
Page 15 - ... into the unsafe ground of set theory. This is our fate, to live with doubts, to pursue a subject whose absoluteness we are not certain of, in short to realize that the only "true" science is itself of the same mortal, perhaps empirical, nature as all other human undertakings.
Page 11 - Platonist] position is probably the one which most mathematicians would prefer to take. It is not until he becomes aware of some of the difficulties in set theory that he would even begin to question it. If these difficulties particularly upset him, he will rush to the shelter of Formalism, while his normal position will be somewhere between the two, trying to enjoy the best of two worlds.
Page 9 - The authors would like to acknowledge the support of the Air Force Office of Scientific Research through the program, "Theoretical and Experimental Studies of Vibroacoustic Systems", under the management of Major Brian Sanders. 1. Clark, RL and Fuller, CR, "Optimal placement of piezoelectric actuators and polyvinylidene fluoride error sensors in active structural acoustic control approaches,
Page 11 - To the average mathematician who merely wants to know his work is securely based, the most appealing choice is to avoid difficulties by means of Hubert's program. Here one regards mathematics as a formal game and one is only concerned with the question of consistency. . . . The Realist ] Platonist] position is probably the one which most mathematicians would prefer to take.
All Book Search results »
Set Theory : Boolean-Valued Models and Independence Proofs: Boolean-Valued ...
John L. Bell
No preview available - 2005