A Theory of Sets
Academic Press, May 27, 1986 - Mathematics - 178 pages
This book provides graduate students and professional mathematicians with a formal unified treatment of logic and set theory. The formalization can be used without change to build just about any mathematical structure on some suitable foundation of definitions and axioms. In addition to most of the topics considered standard fare for set theory several special ones are treated. This book will be found useful as a text for a substantial one-semester course in set theory and that the student will find continuing use for the formal and highly flexible language
What people are saying - Write a review
We haven't found any reviews in the usual places.
A A ye accepted AGREENIENT appear Ax ux Ax(ux binariate Borel F bsvs Chapter definiendum definition each expression DEFINITIONAL SCHEMA desired conclusion detachment dmn f empty set expressional f scsr F sng formula function is f Hint indicial induction lemma mathematical Ndc xy nest orderedpair ordinal p a q p v q parenthetical primed symbols Proof reit revised axioms rng f rng strc Kx rules of inference sb F schematic expressions schematic substitution schematically replacing set theory sng sng sng x sng xec sngl sorites St z x Step subformula symbol terminal symbol theorem is obtained THEORENAS theory of notation tuple variable is free Vx ux Vy u'xy wellorders x c y x ux x(ux xe Q xe U A xedmn