𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

An Outline of Set Theory

✍ Scribed by James M. Henle (auth.)


Publisher
Springer-Verlag New York
Year
1986
Tongue
English
Leaves
136
Series
Problem Books in Mathematics
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


This book is designed for use in a one semester problem-oriented course in undergraduate set theory. The combination of level and format is somewhat unusual and deserves an explanation. Normally, problem courses are offered to graduate students or selected undergraduates. I have found, however, that the experience is equally valuable to ordinary mathematics majors. I use a recent modification of R. L. Moore's famous method developed in recent years by D. W. Cohen [1]. Briefly, in this new approach, projects are assigned to groups of students each week. With all the necessary assistance from the instructor, the groups complete their projects, carefully write a short paper for their classmates, and then, in the single weekly class meeting, lecture on their results. While the emΒ­ phasis is on the student, the instructor is available at every stage to assure success in the research, to explain and critique mathematical prose, and to coach the groups in clear mathematical presentation. The subject matter of set theory is peculiarly appropriate to this style of course. For much of the book the objects of study are familiar and while the theorems are significant and often deep, it is the methods and ideas that are most important. The necessity of reaΒ­ soning about numbers and sets forces students to come to grips with the nature of proof, logic, and mathematics. In their research they experience the same dilemmas and uncertainties that faced the pioΒ­ neers.

✦ Table of Contents


Front Matter....Pages i-viii
Introduction....Pages 1-4
Front Matter....Pages 5-5
Logic and Set Theory....Pages 7-13
The Natural Numbers....Pages 15-19
The Integers....Pages 21-22
The Rationals....Pages 23-24
The Real Numbers....Pages 25-26
The Ordinals....Pages 27-32
The Cardinals....Pages 33-36
The Universe....Pages 37-40
Choice and Infinitesimals....Pages 41-44
Goodstein’s Theorem....Pages 45-48
Front Matter....Pages 49-49
Logic and Set Theory....Pages 51-53
The Natural Numbers....Pages 55-56
The Integers....Pages 57-58
The Rationals....Pages 59-61
The Real Numbers....Pages 63-66
The Ordinals....Pages 67-70
The Cardinals....Pages 71-79
The Universe....Pages 81-83
Choice and Infinitesimals....Pages 85-89
Front Matter....Pages 49-49
Goodstein’s Theorem....Pages 91-93
Front Matter....Pages 95-95
Logic and Set Theory....Pages 97-99
The Natural Numbers....Pages 101-104
The Integers....Pages 105-108
The Rationals....Pages 109-114
The Real Numbers....Pages 115-117
The Ordinals....Pages 119-121
The Cardinals....Pages 123-127
The Universe....Pages 129-132
Choice and Infinitesimals....Pages 133-135
Goodstein’s Theorem....Pages 137-139
Back Matter....Pages 141-145

✦ Subjects


Mathematical Logic and Foundations


πŸ“œ SIMILAR VOLUMES


An Outline of Set Theory (Problem Books
✍ James M. Henle πŸ“‚ Library πŸ“… 1986 πŸ› Springer 🌐 English

<span>This book is designed for use in a one semester problem-oriented course in undergraduate set theory. The combination of level and format is somewhat unusual and deserves an explanation. Normally, problem courses are offered to graduate students or selected undergraduates. I have found, however

An Outline of Ergodic Theory
✍ Steven Kalikow, Randall McCutcheon πŸ“‚ Library πŸ“… 2010 πŸ› Cambridge University Press 🌐 English

This informal introduction provides a fresh perspective on isomorphism theory, which is the branch of ergodic theory that explores the conditions under which two measure preserving systems are essentially equivalent. It contains a primer in basic measure theory, proofs of fundamental ergodic theorem

An outline of ergodic theory
✍ Steven Kalikow, Randall McCutcheon πŸ“‚ Library πŸ“… 2010 πŸ› CUP 🌐 English

This informal introduction provides a fresh perspective on isomorphism theory, which is the branch of ergodic theory that explores the conditions under which two measure preserving systems are essentially equivalent. It contains a primer in basic measure theory, proofs of fundamental ergodic theorem