1  100
Next
 Incurvati, Luca, author.
 New York : Cambridge University Press, 2019
 Description
 Book — 1 online resource
 Summary

 1. Concepts and conceptions
 2. The iterative conception
 3. Challenges to the iterative conception
 4. The naive conception
 5. The limitation of size conception
 6. The stratified conception
 7. The graph conception.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Incurvati, Luca, author.
 New York : Cambridge University Press, 2019
 Description
 Book — 1 online resource
 Summary

 1. Concepts and conceptions
 2. The iterative conception
 3. Challenges to the iterative conception
 4. The naive conception
 5. The limitation of size conception
 6. The stratified conception
 7. The graph conception.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Abrusci, V. M. (V. Michele), author.
 Milano, Italia : Springer, 2018.
 Description
 Book — 1 online resource (xiii, 439 pages)
 Summary

 1 Introduzione alla Parte I
 2 Decidibilità e risultati fondamentali di teoria della ricorsività
 3 L'aritmetica di Peano
 4 Introduzione alla Parte II
 5 La teoria assiomatica di Zermelo (Z) e quella di ZermeloFraenkel (ZF)
 6 Gli ordinali
 7 La gerarchia V e l'assioma di Fondazione
 8 L'assioma di scelta
 9 I cardinali.
5. Sets, functions, measures [2018]
 Zakharov, Valeriy K., author.
 Berlin : De Gruyter, [2018]
 Description
 Book — 2 volumes ; 25 cm.
 Summary

 Volume I. Fundamentals of set and number theory / Valeriy K. Zakharov, Timofey V. Rodionov
 Volume 2. Fundamentals of functions and measure theory / Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev.
(source: Nielsen Book Data)
This comprehensive twovolume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff's classic Set Theory (2nd ed., 1927), where set theory and the theory of functions were expounded as the fundamental parts of mathematics in such a way that there was no need for references to other sources. Along the lines of Hausdorff's initial work (1st ed., 1914), measure and integration theory is also included here as the third fundamental part of contemporary mathematics.The material about sets and numbers is placed in Volume 1 and the material about functions and measures is placed in Volume 2. Contents Fundamentals of the theory of classes, sets, and numbers Characterization of all natural models of Neumann  Bernays  Godel and Zermelo  Fraenkel set theories Local theory of sets as a foundation for category theory and its connection with the Zermelo  Fraenkel set theory Compactness theorem for generalized secondorder language.
(source: Nielsen Book Data)
6. Intuitionistic set theory [2014]
 Bell, J. L. (John Lane)
 [London] : [King's] College Publications, c2014.
 Description
 Book — 120 p. ; 24 cm.
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .B445 2014  Unknown 
7. The logic of infinity [2014]
 Sheppard, Barnaby.
 Cambridge, U.K. : Cambridge University Press, 2014.
 Description
 Book — xxiv, 473 p. : ill. ; 25 cm
 Summary

 Preface
 Synopsis
 1. Introduction
 2. Logical foundations
 3. Avoiding Russell's paradox
 4. Further axioms
 5. Relations and order
 6. Ordinal numbers and the axiom of infinity
 7. Infinite arithmetic
 8. Cardinal numbers
 9. The axiom of choice and the continuum hypothesis
 10. Models
 11. From Godel to Cohen
 Appendix A. Peano arithmetic
 Appendix B. ZermeloFraenkel set theory
 Appendix C. Godel's incompleteness theorems
 Bibliography
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .S54 2014  Unknown Request 
 Hinkis, Arie.
 Heidelberg ; New York : Birkhäuser, c2013.
 Description
 Book — 1 online resource (426 p.)
 Summary

 Preface.  Part I: Cantor and Dedekind. Cantor's CBT proof for sets of the power of (II). Generalizing Cantor's CBT proof. CBT in Cantor's 1878 Beitrag. The theory of inconsistent sets. Comparability in Cantor's writings. The scheme of complete disjunction. Ruptures in the CantorDedekind correspondence. The inconsistency of Dedekind's infinite set. Dedekind's proof of CBT. Part II: The early proofs. Schroeder's Proof of CBT. Bernstein, Borel and CBT. Schoenflies' 1900 proof of CBT. Zermelo's 1901 proof of CBT. Bernstein's Division Theorem. Part III: Under the logicist sky. Russell's 1902 proof of CBT. The role of CBT in Russell's Paradox. Jourdain's 1904 generalization of Grundlagen. Harward 1905 on Jourdain 1904. Poincare and CBT. Peano's proof of CBT. J. Konig's strings gestalt. From kings to graphs. Jourdain's improvements round. Zermelo's 1908 proof of CBT. Korselt's proof of CB. Proofs of CBT in Principia Mathematica. The origin of Hausdorff Paradox in BDT. Part IV: At the Polish school. Sierpinski's proofs of BDT. Banach's proof of CBT. Kuratowski's proof of BDT. Early fixedpoint CBT proofs: Whittaker
 TarskiKnaster. CBT and BDT for ordertypes. Sikorski's proof of CBT for Boolean algebras. Tarski's proofs of BDT and the inequalityBDT. Tarski's FixedPoint Theorem and CBT. Reichbach's proof of CBT. Part V: Other ends and beginnings. Hellmann's proof of CBT. CBT and intuitionism. CBT in category theory. Conclusion. Bibliography. Index of names. Index of subjects.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
9. The structure of the real line [2011]
 Bukovský, Lev.
 Basel [Switzerland] : Birkhäuser, c2011.
 Description
 Book — xiv, 536 p. : ill. ; 24 cm.
 Summary

 Preface. 1 Introduction. 2 The Real Line. 3 Topology of Euclidean Spaces. 4 Measure Theory. 5 Useful Tools and Technologies. 6 Descriptive Set Theory. 7 Decline and Fall of the Duality. 8 Special Sets of Reals. 9 Additional Axioms. 10 Undecidable Statements. 11 Appendix. Bibliography. Index of Notation. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .B89 2011  Unknown 
10. Handbook of set theory [2010]
 Dordrecht : Springer, ©2010.
 Description
 Book — 1 online resource (xiv, 2197 pages) Digital: text file.PDF.
 Summary

 Handbook of Set Theory, Volume I, Akihiro Kanamori,
 0. Introduction Thomas Jech,
 1. Stationary Sets Andras Hajnal and Jean Larson,
 2. Partition Relations Stevo Todorcevic,
 3. Coherent Sequences Greg Hjorth,
 4. Borel Equivalence Relations Uri Abraham,
 5. Proper Forcing Andreas Blass,
 6. Combinatorial Cardinal Characteristics of the Continuum Tomek Bartoszynski,
 7. Invariants of Measure and Category Sy Friedman,
 8. Constructibility and Class Forcing 48 RalfDieter Schindler and Martin Zeman,
 9. Fine Structure 52 Philip Welch,
 10. S* Fine Structure 80 Volume II, Patrick Dehornoy,
 11. Elementary Embeddings and Algebra James Cummings,
 12. Iterated Forcing and Elementary Embeddings Matthew Foreman,
 13. Ideals and Generic Elementary Embeddings Uri Abraham and Menachem Magidor,
 14. Cardinal Arithmetic Todd Eisworth,
 15. Successors of Singular Cardinals Moti Gitik,
 16. PrikryType Forcings Volume III, William Mitchell,
 17. Beginning Inner Model Theory William Mitchell,
 18. The Covering Lemma John Steel,
 19. An Outline of Inner Model Theory Ernest Schimmerling,
 20. A Core Model Tool Box and Guide Steve Jackson,
 21. Structural Consequences of AD Itay Neeman,
 22. Determinacy in L(R) Peter Koellner and Hugh Woodin,
 23. Large Cardinals from Determinacy Paul Larson,
 24. Forcing over Models of Determinacy.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Lolli, Gabriele.
 Milan : Springer, 2008.
 Description
 Book — ix, 148 p. : ill.
12. The size of maximal almost disjoint families [2006]
 Monk, J. Donald (James Donald), 1930
 Warszawa : Institute of Mathematics, Polish Academy of Sciences, 2006.
 Description
 Book — 47 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA1 .D54 V.437  Available 
13. Théorie des ensembles [electronic resource] [2006]
 Bourbaki, Nicolas.
 Berlin : Springer, c2006.
 Description
 Book — 1 v. (various pagings) : ill.
 AMS Special Session Nonstandard Models of Arithmetic and Set Theory (2003 : Baltimore, Md.)
 Providence, R.I. : American Mathematical Society, c2004.
 Description
 Book — xii, 167 p. : ill. ; 26 cm.
 Summary

 Nonstandard models in a broader perspective by H. Gaifman Coding in $I\Delta_0$ by P. D'Aquino and J. F. Knight Automorphisms, Mahlo cardinals, and NFU by A. Enayat AC fails in the natural analogues of V and L that model the stratified fragment of ZF by T. Forster Working with nonstandard models by H. M. Friedman Internally iterated ultrapowers by K. Hrbacek On some questions of Hrbacek and Di Nasso by R. Jin Turing upper bounds of jump ideals and Scott sets by A. M. McAllister Diversity in substructures by J. H. Schmerl Automorphisms of countable recursively saturated models of set theory by A. A. Togha.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .A634 2003  Available 
15. Theory of sets [1968]
 Théorie des ensembles. English
 Bourbaki, Nicolas.
 Berlin ; New York : Springer, [2004]
 Description
 Book — 1 online resource (viii, 414 pages) Digital: text file.PDF.
 Summary

 I. Description of Formal Mathematics. 1. Terms and relations. 1. Signs and assemblies. 2. Criteria of substitution. 3. Formative constructions. 4. Formative criteria. 2. Theorems. 1. The axioms. 2. Proofs. 3. Substitutions in a theory. 4. Comparison of theories. 3. Logical theories. 1. Axioms. 2. First consequences. 3. Methods of proof. 4. Conjunction. 5. Equivalence. 4. Quantified theories. 1. Definition of quantifiers. 2. Axioms of quantified theories. 3. Properties of quantifiers. 4. Typical quantifiers. 5. Equalitarian theories. 1. The axioms. 2. Properties of equality. 3. Functional relations. Appendix. Characterization of terms and relations. 1. Signs and words. 2. Significant words. 3. Characterization of significant words. 4. Application to assemblies in a mathematical theory. Exercises for 1. Exercises for 2. Exercises for 3. Exercises for 4. Exercises for 5. Exercises for the Appendix. II. Theory of Sets. 1. Collectivizing relations. 1. The theory of sets. 2. Inclusion. 3. The axiom of extent. 4. Collectivizing relations. 5. The axiom of the set of two elements. 6. The scheme of selection and union. 7. Complement of a set. The empty set. 2. Ordered pairs. 1. The axiom of the ordered pair. 2. Product of two sets. 3. Correspondences. 1. Graphs and correspondences. 2. Inverse of a correspondence. 3. Composition of two correspondences. 4. Functions. 5. Restrictions and extensions of functions. 6. Definition of a function by means of a term. 7. Composition of two functions. Inverse function. 8. Retractions and sections. 9. Functions of two arguments. 4. Union and intersection of a family of sets. 1. Definition of the union and the intersection of a family of sets. 2. Properties of union and intersection. 3. Images of a union and an intersection. 4. Complements of unions and intersections. 5. Union and intersection of two sets. 6. Coverings. 7. Partitions. 8. Sum of a family of sets. 5. Product of a family of sets. 1. The axiom of the set of subsets. 2. Set of mappings of one set into another. 3. Definitions of the product of a family of sets. 4. Partial products. 5. Associativity of products of sets. 6. Distributivity formulae. 7. Extension of mappings to products. 6. Equivalence relations. 1. Definition of an equivalence relation. 2. Equivalence classes
 quotient set. 3. Relations compatible with an equivalence relation. 4. Saturated subsets. 5. Mappings compatible with equivalence relations. 6. Inverse image of an equivalence relation
 induced equivalence relation. 7. Quotients of equivalence relations. 8. Product of two equivalence relations. 9. Classes of equivalent objects. Exercises for 1. Exercises for 2. Exercises for 3. Exercises for 4. Exercises for 5. Exercises for 6. III. Ordered Sets, Cardinals, Integers. 1. Order relations. Ordered sets. 1. Definition of an order relation. 2. Preorder relations. 3. Notation and terminology. 4. Ordered subsets. Product of ordered sets. 5. Increasing mappings. 6. Maximal and minimal elements. 7. Greatest element and least element. 8. Upper and lower bounds. 9. Least upper bound and greatest lower bound. 10. Directed sets. 11. Lattices. 12. Totally ordered sets. 13. Intervals. 2. Wellordered sets. 1. Segments of a wellordered set. 2. The principle of transfinite induction. 3. Zermelo's theorem. 4. Inductive sets. 5. Isomorphisms of wellordered sets. 6. Lexicographic products. 3. Equipotent sets. Cardinals. 1. The cardinal of a set. 2. Order relation between cardinals. 3. Operations on cardinals. 4. Properties of the cardinals 0 and 1. 5. Exponentiation of cardinals. 6. Order relation and operations on cardinals. 4. Natural integers. Finite sets. 1. Definition of integers. 2. Inequalities between integers. 3. The principle of induction. 4. Finite subsets of ordered sets. 5. Properties of finite character. 5. Properties of integers. 1. Operations on integers and finite sets. 2. Strict inequalities between integers. 3. Intervals in sets of integers. 4. Finite sequences. 5. Characteristic functions of sets. 6. Euclidean division. 7. Expansion to base b. 8. Combinatorial analysis. 6. Infinite sets. 1. The set of natural integers. 2. Definition of mappings by induction. 3. Properties of infinite cardinals. 4. Countable sets. 5. Stationary sequences. 7. Inverse limits and direct limits. 1. Inverse limits. 2. Inverse systems of mappings. 3. Double inverse limit. 4. Conditions for an inverse limit to be nonempty. 5. Direct limits. 6. Direct systems of mappings. 7. Double direct limit. Product of direct limits. Exercises for 1. Exercises for 2. Exercises for 3. Exercises for 4. Exercises for 5. Exercises for 6. Exercises for 7. Historical Note on 5. IV. Structures. 1. Structures and isomorphisms. 1. Echelons. 2. Canonical extensions of mappings. 3. Transportable relations. 4. Species of structures. 5. Isomorphisms and transport of structures. 6. Deduction of structures. 7. Equivalent species of structures. 2. Morphisms and derived structures. 1. Morphisms. 2. Finer structures. 3. Initial structures. 4. Examples of initial structures. 5. Final structures. 6. Examples of final structures. 3. Universal mappings. 1. Universal sets and mappings. 2. Existence of universal mappings. 3. Examples of universal mappings. Exercises for 1. Exercises for 2. Exercises for 3. Historical Note on Chapters IIV. Summary of Results. 1. Elements and subsets of a set. 2. Functions. 3. Products of sets. 4. Union, intersection, product of a family of sets. 5. Equivalence relations and quotient sets. 6. Ordered sets. 7. Powers. Countable sets. 8. Scales of sets. Structures. Index of notation. Index of terminology. Axioms and schemes of the theory of sets.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
16. Set theory [2003]
 Jech, Thomas J.
 The 3rd millennium ed., rev. and expanded.  Berlin ; New York : Springer, c2003.
 Description
 Book — xiii, 769 p. ; 24 cm.
 Summary

 I. Basic Set Theory. Axioms of Set Theory. Ordinal Numbers. Cardinal Numbers. Real Numbers. The Axiom of Choice and Cardinal Arithmetic. The Axiom of Regularity. Filters, Ultrafilters and Boolean Algebras. Stationary Sets. Combinatorial Set Theory. Measurable Cardinals. Borel and Analytic Sets. Models of Set Theory. II. Advanced Set Theory. Constructible Sets. Forcing. Applications of Forcing. Iterated Forcing and Martin's Axiom. Large Cardinals. Large Cardinals and L. Iterated Ultrapowers and LAUU. Very Large Cardinals. Large Cardinals and Forcing. Saturated Ideals. The Nonstationary Ideal. The Singular Cardinal Problem. Descriptive Set Theory. The Real Line. III. Selected Topics. Combinatorial Principles in L. More Applications of Forcing. More Combinatorial Set Theory. Complete Boolean Algebras. Proper Forcing. More Descriptive Set Theory. Determinacy. Supercompact Cardinals and the Real Line. Inner Models for Large Cadinals. Forcing and Large Cardinals. Martin's Maximum. More on Stationary Sets. Bibliography. Notation. Index. Name Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .J42 2003  Unknown 
17. Set theory [electronic resource] [2003]
 Jech, Thomas J.
 The 3rd millennium ed., rev. and expanded.  Berlin ; New York : Springer, c2003.
 Description
 Book — xiii, 769 p.
18. Sets for Mathematics [electronic resource]. [2003]
 Cambridge : Cambridge University Press, 2003.
 Description
 Book — 1 online resource (276 p.) : digital, PDF file(s).
 Summary

 Foreword
 1. Abstract sets and mappings
 2. Sums, monomorphisms and parts
 3. Finite inverse limits
 4. Colimits, epimorphisms and the axiom of choice
 5. Mapping sets and exponentials
 6. Summary of the axioms and an example of variable sets
 7. Consequences and uses of exponentials
 8. More on power sets
 9. Introduction to variable sets
 10. Models of additional variation
 Appendices
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
19. Basic set theory [2002]
 Osnovy teorii mnozhestv. English
 Shen, A. (Alexander), 1958
 Providence, R.I. : American Mathematical Society, c2002.
 Description
 Book — viii, 116 p. : ill. ; 22 cm.
 Summary

 Sets and their cardinalities Ordered sets Bibliography Glossary Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .V4613 2002  Available 
20. Teoría de conjuntos [2002]
 Tiñena Salvañà, Francesc, author.
 [Barcelona] : UOC, la universidad virtual, [2002]
 Description
 Book — 1 online resource (43 pages).
 Mayberry, John P.
 Cambridge, UK ; New York : Cambridge University Press, 2000.
 Description
 Book — xx, 424 p. ; 25 cm.
 Summary

 Preface
 Part I. Preliminaries: 1. The idea of foundations of mathematics
 2. Simple arithmetic
 Part II. Basic Set Theory: 3. Semantics, ontology and logic
 4. The principal axioms and definitions of set theory
 Part III. Cantorian Set Theory: 5. Cantorian finitism
 6. The axiomatic method
 7. Axiomatic set theory
 Part IV. Euclidean Set Theory: 8. Euclidian finitism
 9. The Euclidean theory of cardinality
 10. The theory of simply infinite systems
 11. Euclidean set theory from the Cantorian standpoint
 12. Envoi
 Appendices
 Bibliography
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
22. Theory of relations [2000]
 Théorie des relations. English
 Fraïssé, Roland.
 Rev. ed.  Amsterdam ; New York : Elsevier, 2000.
 Description
 Book — 451 p. ; 24 cm.
 Summary

 Introduction.
 1. Review of axiomatic set theory, relation.
 2. Coherence lemma, cofinality, tree, ideal.
 3. Ramsey theorem, partition, incidence matrix.
 4. Good, bad sequence, well partial ordering.
 5. Embeddability between relations and chains.
 6. Scattered chain, scattered poset.
 7. Well quasiordering of scattered chains.
 8. Bivalent tableau, Szpilrajn chain.
 9. Free operator, chainability, strong interval.
 10. Age, &agrmorphism, backandforth.
 11. Relative isomorphism, saturated relation.
 12. Homogeneous relation, orbit.
 13. Compatibility and chainability theorems. A. On countable homogeneous systems: Sauer.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F77513 2000  Available 
 Jackson, Steve, 1957
 Providence, R.I. : American Mathematical Society, c1999.
 Description
 Book — 1 online resource (viii, 94 p).
 Summary

 Introduction 1. Embedding theorems 2. Martin's theorem 3. The upper bound for $\delta ^1_5$ 4. Results on uniform cofinalities 5. Analysis of measures on $\delta ^1_3$ 6. The strong partition relation on $\delta ^1_3$ 7. The lower bound for $\delta ^1_5$ 8. Analysis of measures on $(\delta ^1_5)^$ 9. The weak partition relation on $\delta ^1_5$
(source: Nielsen Book Data)
24. A computation of [delta 1/5] [1999]
 Jackson, Steve, 1957
 Providence, RI : American Mathematical Society, 1999.
 Description
 Book — viii, 94 p. ; 26 cm.
 Summary

 Introduction Embedding theorems Martin's Theorem The upper bound for $\delta^1_5$ Results on uniform cofinalities Analysis of measures on $\delta^1_3$ The strong partition relation on $\delta^1_3$ The lower bound for $\delta^1_5$ Analysis of measures on $(\delta^1_5)^$ The weak partition relation on $\delta^1_5$ Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .A57 NO.670  Available 
25. Introduction to set theory [1999]
 Hrbacek, Karel, 1944
 3rd ed., rev. and expanded.  New York : Marcel Dekker, c1999.
 Description
 Book — ix, 291 p. : ill. ; 24 cm.
 Summary

 Sets
 relations, functions and orderings
 natural numbers
 finite, countable and uncountable sets
 cardinal numbers
 ordinal numbers
 alephs
 the axiom of choice
 arithmetic of cardinal numbers
 sets of real numbers
 filters and ultrafilters
 combinatorial set theory
 large cardinals
 the axiom of foundation
 the axiomatic set theory.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .H68 1999  Unknown Request 
26. Set theory [1999]
 Hajnal, A.
 Cambridge, U.K. ; New York, NY : Cambridge University Press, 1999.
 Description
 Book — viii, 316 p. : ill. ; 23 cm.
 Summary

 Part I. Introduction to Set Theory: 1. Notation, conventions
 2. Definition of equivalence. The concept of cardinality. The axiom of choice
 3. Countable cardinal, continuum cardinal
 4. Comparison of cardinals
 5. Operations with sets and cardinals
 6. Examples
 7. Ordered sets. Order types. Ordinals
 8. Properties of wellordered sets. Good sets. The ordinal operation
 9. Transfinite induction and recursion
 10. Definition of the cardinality operation. Properties of cardinalities. The confinality operation
 11. Properties of the power operation
 Appendix. An axiomatic development of set theory
 Part II. Topics in Combinatorial Set Theory: 12. Stationary sets
 13. Deltasystems
 14. Ramsey's theorem and its generalizations. Partition calculus
 15. Inaccessible cardinals. Mahlo cardinals
 16. Measurable cardinals
 17. Realvalued measurable cardinals, saturated ideas
 18. Weakly compact and Ramsey cardinals
 19. Set mappings
 20. The squarebracket symbol. Strengthenings of the Ramsey counterexamples
 21. Properties of the power operation
 22. Powers of singular cardinals. Shelah's theorem.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .H235 1999  Unknown 
27. A set theory workbook [1998]
 Adamson, Iain T.
 Boston : Birkhäuser, c1998.
 Description
 Book — viii, 154 p. ; 24 cm.
 Summary

 Problems
 first axioms of the theory NBG
 relations
 functional relations and mappings
 families of sets
 equivalence relations
 order relations
 wellordering.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .A27 1998  Available 
28. Set theory [1997]
 Jech, Thomas J.
 2nd corr. ed.  Berlin : Springer, 1997.
 Description
 Book — 1 online resource (xiv, 634 pages) Digital: text file.PDF.
 Summary

 I Sets
 1 Axiomatic Set Theory
 2 Transitive Models of Set Theory
 II More Sets
 3 Forcing and Generic Models
 4 Some Applications of Forcing
 III Large Sets
 5 Measurable Cardinals
 6 Other Large Cardinals
 IV Sets of Reals
 7 Descriptive Set Theory
 Historical Notes and Guide to the Bibliography
 Notation
 Name Index
 List of Corrections.
29. Set theory [1978]
 Jech, Thomas J.
 2nd corrected ed.  Berlin ; New York : Springer, c1997.
 Description
 Book — xiv, 634 p. : ill. ; 24 cm.
 Summary

 Axiomatic set theory
 transitive models of set theory
 forcing and generic models
 some applications of forcing
 measurable cardinals
 other large cardinals
 descriptive set theory
 historical notes and guide to the bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .J42 1997  Available 
 Ciesielski, Krzysztof, 1957
 Cambridge ; New York : Cambridge University Press, c1997.
 Description
 Book — xi, 236 p. ; 24 cm.
 Summary

 Part I. Basics of Set Theory: 1. Axiomatic set theory
 2. Relations, functions and Cartesian product
 3. Natural, integer and real numbers
 Part II. Fundamental Tools of Set Theory: 4. Well orderings and transfinite induction
 5. Cardinal numbers
 Part III. The Power of Recursive Definitions: 6. Subsets of Rn
 7. Strange real functions
 Part IV. When Induction is Too Short: 8. Martin's axiom
 9. Forcing
 Part V. Appendices: A. Axioms of set theory
 B. Comments on forcing method
 C. Notation.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .C475 1997  Available 
31. Discovering modern set theory [1996  1997]
 Just, W. (Winfried)
 Providence, R.I. : American Mathematical Society, c19961997.
 Description
 Book — 2 v. : ill. ; 26 cm.
 Summary

 1. The basics
 2. Settheoretic tools for every mathematician.
(source: Nielsen Book Data)
This is the second volume of a twovolume graduate text in set theory. The first volume covered the basics of modern set theory and was addressed primarily to beginning graduate students. This second volume is intended as a bridge between introductory set theory courses and advanced monographs that cover selected branches of set theory, such as forcing or large cardinals. The authors give short but rigorous introductions to settheoretic concepts and techniques such as trees, partition calculus, cardinal invariants of the continuum, Martin's Axiom, closed unbounded and stationary sets, the Diamond Principle ($\diamond$), and the use of elementary submodels. Great care has been taken to motivate the concepts and theorems presented. The book is written as a dialogue with the reader.The presentation is interspersed with numerous exercises. The authors wish to entice readers into active participation in discovering the mathematics presented, making the book particularly suitable for selfstudy. Each topic is presented rigorously and in considerable detail. Carefully planned exercises lead the reader to active mastery of the techniques presented. Suggestions for further reading are given. Volume II can be read independently of Volume I.
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks


QA248 .J87 1996 V.1  Unknown 
QA248 .J87 1996 V.2  Unknown 
32. Intermediate set theory [1996]
 Drake, F. R. (Frank Robert)
 Chichester ; New York : Wiley, c1996.
 Description
 Book — x, 234 p. : ill. ; 23 cm.
 Summary

 Some of the History of the Concept of Sets
 First Order Logic and its use in Set Theory
 The Axioms of Set Theory
 Cardinals
 Developing Mathematics within ZFC
 The Axiom of Choice
 Constructible Sets, and Forcing
 Miscellaneous Further Topics. Appendix: Some Basic Definitions.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .D727 1996  Available 
33. Algebraic set theory [1995]
 Joyal, André.
 Cambridge ; New York : Cambridge University Press, 1995.
 Description
 Book — 123 p.
 Summary

 1. Axiomatic theory of small maps
 2. ZermeloFraenkel algebras
 3. Existence theorems
 4. Examples.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .J69 1995  Available 
34. Classical descriptive set theory [1995]
 Kechris, A. S., 1946
 New York : SpringerVerlag, c1995.
 Description
 Book — xviii, 402 p. : ill. ; 24 cm.
 Summary

Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory. This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .K387 1995  Unknown 
35. Set theory : an introduction [1995]
 Vaught, Robert L., 1926
 2nd ed.  Boston : Birkhäuser, c1995.
 Description
 Book — x, 167 p. : ill. ; 25 cm.
 Summary

A text on set theory for use in mathematics and philosophy courses. The intuitive development in the first chapters should also make the book suitable for self study. This book provides an intermixture between the intuitive and axiomatic approaches. Logic and syntactic questions are covered.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .V38 1995  Available 
 Bartoszyński, Tomek, 1957
 Wellesley, Mass. : A K Peters, c1995.
 Description
 Book — ix, 546 p. : ill. ; 24 cm.
 Summary

The major focus of this book is measurement and categorization in set theory, most notably on results dealing with asymmetry. The authors delve into the study of a deep symmetry between the concept of Lebesque measurability and the Baire property, and obtain findings on the structure of the real line. The book consists of three interwoven parts: results that can be proven in ZermeloFraenkel Set Theory (and its extensions); independence results; and the "tools" used to accomplish both the aforementioned. With its attention to basic concepts and a broad range of recent findings, this book aims to be of use as a reference tool.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B374 1995  Available 
37. Notes on set theory [1994]
 Moschovakis, Yiannis N.
 New York : SpringerVerlag, c1994.
 Description
 Book — xiv, 272 p. : ill. ; 25 cm.
 Summary

This text covers the basic facts about abstract sets, including the axiom of choice, transfinite recursion, cardinals, ordinals and the cumulative hierarchy of well founded sets. It also includes a chapter on Baire space, focusing on results of interest to analysts and introducing the reader to the continuum problem; an appendix with a reasonably detailed construction of the real numbers; and a second appendix introducing set universes, which satisfy conditions that include Aczel's Antifoundation. Most of the results are derived within ZermeloFraenkel set theory with depended choices, which allows atoms and nonwell founded sets, with the full axiom of choice and the axiom of foundation assumed explicitly where needed. To clarify the role of set theory as a foundation of mathematics  including computation theory  the book uses the notion of the faithful representation of mathematical objects by structured sets.
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA248 .M665 1994  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA248 .M665 1994  Unknown 
38. Categories for types [1993]
 Crole, Roy L.
 Cambridge ; New York : Cambridge University Press, 1993.
 Description
 Book — xvii, 335 p. : ill. ; 23 cm.
 Summary

 1. Order, lattices and domains
 2. Basic category theory
 3. Algebraic type theory
 4. Functional type theory
 5. Polymorphic functional type theory
 6. Higher order polymorphism.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .C765 1993  Available 
 Devlin, Keith J.
 2nd ed.  New York : SpringerVerlag, c1993.
 Description
 Book — x, 192 p. : ill. ; 24 cm.
 Summary

This treatise is intended to provide an account of those parts of contemporary set theory that are relevant to other areas of pure mathematics. Aimed at advanced undergraduates and beginning graduate students, the text is written in an easygoing style, with a minimum of formalism. The book begins with a review of "naive" set theory. It then develops the ZermeloFraenkel axioms of the theory, showing how they arise naturally. After discussing the ordinal and cardinal numbers, the book then delves into contemporary set theory, covering such topics as: the Borel hierarchy, stationary sets and regressive functions, and Lebesgue measure. Two chapters present an extension of the ZermeloFraenkel theory, discussing the axiom of constructibility and the question of probability in set theory. A final chapter presents an account of an alternative concept of set theory that has proved useful in computer science, the nonwellfounded set theory of Peter Aczel.
(source: Nielsen Book Data)
This book is intended to provide an account of those parts of contemporary set theory that are relevant to other areas of pure mathematics. Intended for advanced undergraduates and beginning graduate students, the text is written in an easygoing style, with a minimum of formalism. The book begins with a review of "naive" set theory; it then develops the ZermeloFraenkel axioms of the theory, showing how they arise naturally from a rigorous answer to the question, "what is a set?" After discussing the ordinal and cardinal numbers, the book then delves into contemporary set theory, covering such topics as: the Borel hierarchy, stationary sets and regressive functions, and Lebesgue measure. Two chapters present an extension of the ZermeloFraenkel theory, discussing the axiom of constructibility and the question of provability in set theory. A final chapter presents an account of an alternative conception of set theory that has proved useful in computer science, the nonwellfounded set theory of Peter Aczel. The author is a wellknown mathematician and the editor of the "Computers in Mathematics" column in the AMS Notices and of FOCUS, the magazine published by the MAA.
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .D38 1993  Unknown 
 Forster, T. E.
 Oxford : Clarendon Press ; New York : Oxford University Press, 1992.
 Description
 Book — viii, 152 p. : ill. ; 25 cm.
 Summary

 Part 1 Introduction: annotated definitions
 some motivations and axioms
 a brief survey
 how do theories with V E V avoid paradoxes?
 chronology. Part 2 NF and related systems: NF
 cardinal and ordinal arithmetic
 the KaySpecker equiconsistency lemma
 remarks on subsystems, term models and prefix classes
 the converse consistency problem. Part 3 Permutation models: permutation in NF
 applications to other theories. Part 4 Interpretations in wellfounded sets: Church's universal set theory CUS
 Mitchell's set theory
 beyond Church, Sheridan and Mitchell. Part 5 Open problems: permutation models and quantifier hierarchies
 cardinals and ordinals in NF
 KF
 Z
 other subsystems
 automorphisms and wellfounded extensional relations
 term models
 miscellaneous.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .G67 1991  Available 
41. Topics in set theory : Lebesque measurability, large cardinals, forcing axioms, rhofunctions [1991]
 Bekkali, M. (Mohamed), 1956
 Berlin ; New York : SpringerVerlag, c1991.
 Description
 Book — 120 p.
 Summary

This volume is based on a series of lectures given by Stevo Todorcevic at the University of Colorado in 1987. The first two chapters are about the connection between large cardinals and Lebesque measure. The third is on forcing axioms such as Martin's Axiom or the Proper Forcing Axiom. The fourth chapter looks at the method of minimal walks and rhofunctions and their applications. The book is addressed to researchers and graduate students interested in set theory, settheoretic topology and measure theory.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .L28 V.1476  Available 
42. Introduction to modern set theory [1990]
 Roitman, Judith, 1945
 New York : Wiley, c1990.
 Description
 Book — xiii, 156 p. : ill. ; 25 cm.
 Summary

 Some mathematical preliminaries
 the axioms
 regularity and choice
 the foundation of mathematics
 infinite numbers
 two models of set theory
 infinite combinatorics.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .R645 1990  Available 
43. Philosophical introduction to set theory [1990]
 Pollard, Stephen (Stephen Randall)
 Notre Dame : University of Notre Dame Press, c1990.
 Description
 Book — xii, 180 p. : ill. ; 24 cm.
 Summary

Set theory is the primary mechanism for ideological and theoretical unification in modern mathematics. By offering a clear statement of basic questions and problems in this volume, Stephen Pollard aims to make the study of the philosophy of set theory less anarchic. Pollard largely ignores intuitionist and constructive alternatives to the Cantorian/Zermelian tradition. He applies mathematical structuralism and mathematical applications of plural reference and plural quantification  the two most important strands in the current philosophy of mathematics  to the philosophical interpretation of set theory. This book is intended to be accessible to graduate students and advanced undergraduates who have some aptitude at mathematical reasoning and some prior exposure to symbolic logic. It is suitable as a source of supplementary readings in a course on set theory or as a central text in a course on the philosophy of mathematics. It will also be of interest to professional philosophers both inside and outside of the philosphy of mathematics, and to set theorists with philosophical inclinations.
(source: Nielsen Book Data)
 Online
44. Sets : an introduction [1990]
 Potter, Michael D.
 Oxford [Oxfordshire] ; New York : Clarendon Press, 1990.
 Description
 Book — x, 241 p. ; 24 cm.
 Summary

 Collections
 relations
 basic set theory
 numbers
 cardinals
 ordinals
 the axiom of choice
 lattices
 the prime ideal property.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .P68 1990  Available 
45. The density of the set of sums [1989]
 Ruzsa, Imre Z., 1953
 [Place of publication not identified] : DIMACS, Center for Discrete Mathematics and Theoretical Computer Science, 1989.
 Description
 Book — 6 pages ; 28 cm.
 Summary

Abstract: "Let 1 [less than or equal to] a₁ [less than or equal to] a₂ [less than or equal to] ... be a sequence of integers, and let S be the set of all sums of the form [sum of]e[subscript i]a[subscript i] where e₁ = 0 or 1. Affirming a conjecture of P. Erdʺos, we prove that if a[subscript n+1] [less than or equal to] 2a[subscript n] for all but a finite number of the subscripts n, then S has a (positive) asymptotic density."
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
115604  Available 
46. On the number of sums and differences [1989]
 Ruzsa, Imre Z., 1953
 [Place of publication not identified] : DIMACS, Center for Discrete Mathematics and Theoretical Computer Science, [1989]
 Description
 Book — 8 pages ; 28 cm.
 Summary

Abstract: "Let A be a set of integers. If [absolute value] A =n, then we have [formula], where there is equality on the left side for arithmetical progressions and on the right side for "generic" sets, in which there is no nontrivial coincidence between sums or differences. The conditions of genericity for sums or differences are equivalent: a nontrivial coincidence of sums, say a + b = a ́+ b ́implies a nontrivial coincidence of differences and vice versa. We show the counterintuitive fact that 'almost' versions of these conditions are far from equivalent; almost all sums may be different while almost all differences are represented multiply, and conversely.
For every n> n₀ we find a set A such that [formula], and a set B such that [formula]. Here c is an absolute constant. The proofs are based on probabilistic arguments."
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
115608  Available 
47. Sums of finite set [1989]
 Ruzsa, Imre Z., 1953
 [Place of publication not identified] : DIMACS, Center for Discrete Mathematics and Theoretical Computer Science, [1989]
 Description
 Book — 16 pages ; 28 cm.
 Summary

Abstract: "We investigate numerous cardinality questions concerning sums of finite sets. A typical problem looks like the following: if A has n elements, A + B has cn, what can we deduce about A and B? How can we estimate the cardinalities of other sets like A  B and A + B + B? This is in quest of a generalization of Freiman's famous theorem that describes the structure of those sets A for which A + A is small, to the case of different summands."
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
115618  Available 
48. Theory of relations [1986]
 Théorie des relations. English
 Fraïssé, Roland.
 Amsterdam ; New York : NorthHolland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
 Description
 Book — xii, 397 p. ; 24 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F77513 1986  Available 
49. A theory of sets [1986]
 Morse, Anthony P. (Anthony Perry)
 2nd ed.  Orlando, Fla. : Academic Press, 1986.
 Description
 Book — xxxii, 179 p. ; 24 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .M64 1986  Available 
50. Set theory : an introduction [1985]
 Vaught, Robert L., 1926
 Boston : Birkhäuser, c1985.
 Description
 Book — x, 141 p. : ill. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .V38 1985  Available 
51. Fewdistance sets [1984]
 Blokhuis, A.
 Amsterdam : Centrum voor Wiskunde en Informatica, 1984.
 Description
 Book — 70 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B59 1984  Available 
52. Introduction to set theory [1984]
 Hrbacek, Karel, 1944
 2nd ed., rev. and expanded.  New York : M. Dekker, c1984.
 Description
 Book — ix, 247 p. : ill. ; 24 cm.
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .H68 1984  Unknown 
 Guzicki, Wojciech.
 Warszawa : Państwowe Wydawnictwo Naukowe, 1983.
 Description
 Book — 55 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA1 .D54 V.208  Available 
54. Spectrum of L [1983]
 Marek, Wiktor.
 Warszawa : Państwowe Wydawnictwo Naukowe, 1983.
 Description
 Book — 42 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA1 .D54 V.211  Available 
55. Surveys in set theory [1983]
 Cambridge ; New York : Cambridge University Press, 1983.
 Description
 Book — 247 p. : ill. ; 23 cm.
 Summary

 1. Iterated Forcing James E. Baumgartner
 2. The Yorkshireman's guide to proper forcing Keith J. Devlin
 3. The singular cardinals problem
 independence results Sharon Shelah
 4. Trees, norms and scales David Guaspari
 5. On the regularity of ultrafilters Karel Prikry
 6. Morasses in combinatorial set theory Akihiro Kanamori
 7. A short course on gapone morasses with a review of the fine structure of L Lee Stanley.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .S93 1983  Available 
 Iwanuś, Bogusław.
 Wrocław : Wydawn. Uniwersytetu Wrocławskiego, 1980.
 Description
 Book — 54 [i.e. 45], [1] p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
B6 .B7 V.25  Available 
57. Fundamentals of contemporary set theory [1979]
 Devlin, Keith J.
 New York : SpringerVerlag, c1979.
 Description
 Book — viii, 182 p. ; 24 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .D38 1979  Available 
58. Mengenlehre [1979]
 Darmstadt : Wissenschaftliche Buchgesellschaft [Abt. Verl.], 1979.
 Description
 Book — vii, 331 p. ; 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .M42  Available 
59. Basic set theory [1978]
 Lévy, Azriel.
 Berlin ; New York : SpringerVerlag, 1979.
 Description
 Book — xiv, 391 p. ; 25 cm.
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA248 .L398 1979  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA248 .L398  Unknown 
60. Set representation and set intersection [1978]
 Trabb Pardo, Luis.
 1978.
 Description
 Book — v, 81 leaves.
 Online
SAL3 (offcampus storage), Special Collections
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
3781 1978 T  Available 
Special Collections  Status 

University Archives  Request via Aeon (opens in new tab) 
03781 1978 T  Inlibrary use 
61. Set theory [1978]
 Mengenlehre. English
 Hausdorff, Felix, 18681942.
 3rd ed.  New York : Chelsea Publishing Co., 1978.
 Description
 Book — 352 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .H353 1978  Available 
62. Set theory [1978]
 Jech, Thomas J.
 New York : Academic Press, 1978.
 Description
 Book — xi, 621 p. : ill. ; 24 cm.
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .J4  Unknown 
63. Elements of set theory [1977]
 Enderton, Herbert B.
 New York : Academic Press, ©1977.
 Description
 Book — 1 online resource (xiv, 279 pages) : illustrations.
 Summary

 Contents Preface List of Symbols Chapter 1 Introduction
 Baby Set Theory
 SetsAn Informal View
 Classes
 Axiomatic Method
 Notation
 Historical Notes Chapter 2 Axioms and Operations
 Axioms
 Arbitrary Unions and Intersections
 Algebra of Sets
 Epilogue
 Review Exercises Chapter 3 Relations and Functions
 Ordered Pairs
 Relations
 nAry Relations
 Functions
 Infinite Cartesian Products
 Equivalence Relations
 Ordering Relations
 Review Exercises Chapter 4 Natural Numbers
 Inductive Sets
 Peano's Postulates
 Recursion on omega
 Arithmetic
 Ordering on omega
 Review Exercises Chapter 5 Construction of the Real Numbers
 Integers
 Rational Numbers
 Real Numbers
 Summaries
 Two Chapter 6 Cardinal Numbers and the Axiom of Choice
 Equinumerosity
 Finite Sets
 Cardinal Arithmetic
 Ordering Cardinal Numbers
 Axiom of Choice
 Countable Sets
 Arithmetic of Infinite Cardinals
 Continuum Hypothesis Chapter 7 Orderings and Ordinals
 Partial Orderings
 Well Orderings
 Replacement Axioms
 EpsilonImages
 Isomorphisms
 Ordinal Numbers
 Debts Paid
 Rank Chapter 8 Ordinals and Order Types
 Transfinite Recursion Again
 Alephs
 Ordinal Operations
 Isomorphism Types
 Arithmetic of Order Types
 Ordinal Arithmetic Chapter 9 Special Topics
 WellFounded Relations
 Natural Models
 Cofinality Appendix Notation, Logic, and Proofs Selected References for Further Study List of Axioms Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
64. Abstract set theory [1976  1953]
 Fraenkel, Abraham Adolf, 18911965.
 4th rev. ed. / rev. by Azriel Levy.  Amsterdam : NorthHolland Pub. Co. ; New York : American Elsevier Pub. Co., 1976, c1953.
 Description
 Book — x, 279 p. : ill. ; 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F74 1976  Available 
 Wolf, Robert Stanley.
 [Stanford, Calif.] 1974.
 Description
 Book — xiii,136 leaves.
 Online
SAL3 (offcampus storage), Special Collections
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
3781 1974 W  Available 
Special Collections  Status 

University Archives  Request via Aeon (opens in new tab) 
3781 1974 W  Inlibrary use 
66. La intercalación de conjuntos [1974]
 Belaúnde Moreyra, Antonio.
 Lima : Juan Mejía Baca, 1974.
 Description
 Book — 57 p. ; 18 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B453  Available 
67. Set theory : an intuitive approach [1974]
 Lin, ShwuYeng T.
 Boston ; London (3 Henrietta St., WC2E 8LT) : Houghton Mifflin Co., 1974.
 Description
 Book — ix, 164 p. : ill. ; 24 cm.
 Online
 Devlin, Keith J.
 Berlin, New York, SpringerVerlag, 1974.
 Description
 Book — VII, 132 p. 24cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .L28 V.405  Available 
69. Introduction a la theorie des sousensembles flous a l'usage des ingenieurs (fuzzy sets theory) [1973]
 Kaufmann, A. (Arnold), 19111994
 Paris, Masson, 1973
 Description
 Book — v. illus. 24 cm.
 Summary

 t.1.Elements theoriques de base.t.2.Applications a la linguistique, a la logique et a la semantique.t.3.Applications a la classification et a la reconnaissance des formes, aux automates et aux systemes, aux choix des criteres.t
 .4. Complements et nouvelles applications.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks

Request (opens in new tab) 
QA248 .K38 V.1  Available 
QA248 .K38 V.2  Available 
QA248 .K38 V.3  Available 
QA248 .K38 V.4  Available 
 Oberschelp, Arnold.
 Warszawa, Panstwowe Wydawn.Naukowe, 1973.
 Description
 Book — 62 p. 24cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .O24 1973  Available 
71. The theory of semisets [1972]
 Vopěnka, Petr
 Amsterdam, NorthHolland Pub. Co., 1972.
 Description
 Book — 332 p. 23 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .V68 1972B  Available 
 Young, W. H. (William Henry), 18631942.
 [2d ed.]  Bronx, N.Y., Chelsea Pub. Co. [1972]
 Description
 Book — xvi, 326 p. 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .Y78 1972  Available 
 Jech, Thomas J.
 Berlin, New York, SpringerVerlag, 1971.
 Description
 Book — 137 p. 26 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .L28 V.217  Available 
 Haupt, D. (Dieter)
 5. Aufl.  Leipzig, Fachbuchverlag [c1971]
 Description
 Book — 124 p.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .H34 1971  Available 
75. Minimal scrambling sets of simple orders [1971]
 Spencer, Joel H.
 [Santa Monica, Calif., Rand Corp.] 1971.
 Description
 Book — iii, 11 p. 28 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Some records bound together  
See full record for details  
Stacks  
Q180 .A1 R361 P4555  Unknown 
76. Grundbegriffe der Mengenlehre [1970]
 Kusch, Lothar, 1922
 2. Aufl.  Essen, W. Girardet [1970]
 Description
 Book — 102 p. illus. 21 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .K79 1970  Available 
77. Sets [1970]
 Fairchild, William W., 1938
 Philadelphia, Saunders, 1970.
 Description
 Book — viii, 121 p. illus. 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F27  Available 
 Bourbaki, Nicolas.
 [Nouv. éd.  Paris] Hermann [c1970]
 Description
 Book — 1 v. (various pagings) illus. 25 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B734 1970  Available 
79. Théorie des ensembles [1970]
 Bastiani, Andrée.
 Paris, Centre de documentation universitaire, 1970.
 Description
 Book — vi, 328 p. 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B38  Available 
 Richelle, Arthur.
 NamurBruxelles, La Procure, [1969]
 Description
 Book — 191 p. illus., diagrs., tables. 21 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .R525  Available 
81. Rasskazy o mnozhestvakh [1969]
 Vilenkin, N. I͡A. (Naum I͡Akovlevich)
 Izd. 2oe, ispr. i dop.  Moskva : "Nauka"; Glav. red. fizikomatematicheskoĭ litry, 1969.
 Description
 Book — 158 p. : ill. ; 20 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .V5 1969  Available 
 Kruse, Arthur H., 1928
 Providence, American Mathematical Society, [1969]
 Description
 Book — 127 p. 26 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .A57 NO.86  Available 
 Kruse, Arthur H., 1928
 Providence, R.I. : American Mathematical Society, 1969.
 Description
 Book — 1 online resource (127 p).
 Summary

 1. Introduction 2. Preliminaries 3. Operations associated with relations 4. Topological preliminaries 5. Semicontinuity 6. Quasicontinuity 7. Souslinoid$(\mathcal {A, B})$ sets 8. Souslinoid$(S, T, \mathcal {B})_\nu $ sets 9. Souslinoid$[S, \tau , \mathcal {B}]$ sets 10. Souslinoid$\{X, \mathcal {B}\}$ sets 11. Analytic$(X, Y, \mathcal {B})$ sets 12. ($p$, $q$)distinctive spaces 13. Quasicompleteness 14. Separation theorems 15. $p$rings and $\textrm {Anal}(X, Y, \mathcal {C}; \mathcal {D})$ 16. Further directions of research
 Description
 Book — iv, 30 l.
 Online
SAL3 (offcampus storage), Special Collections
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
3781 1970 .M  Available 
Special Collections  Status 

University Archives  Request via Aeon (opens in new tab) 
3781 1970 .M  Inlibrary use 
85. Abstract set theory [1968]
 Fraenkel, Abraham Adolf, 18911965.
 [3d rev. ed.]  Amsterdam, NorthHolland Pub. co., 1968.
 Description
 Book — viii, 297 p. 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F74 1966  Available 
86. Allgemeine Mengenlehre. Ein Fundament der Mathematik [1968  1969]
 Klaua, Dieter.
 2., erw. Aufl.  Berlin, AkademieVerlag, 196869.
 Description
 Book — 2 v. 25 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks

Request (opens in new tab) 
QA248 .K442 V.1  Available 
QA248 .K442 V.2  Available 
87. Theory of sets [1968]
 Théorie des ensembles. English
 Bourbaki, Nicolas.
 Paris : Hermann ; Reading, Mass. : AddisonWesley Pub. Co., c1968.
 Description
 Book — viii, 414 p. ; 25 cm.
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA248 .B73413 1968  Unknown 
88. Grundbegriffe der Mengenlehre und Logik [1967]
 Hasse, M. (Maria)
 3., erw. Aufl.  Leipzig, Teubner, 1967 [c1965]
 Description
 Book — 86 p. 19 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .H33  Available 
 Mostowski, Andrzej.
 Montréal, les Presses de l'Université de Montréal, 1967.
 Description
 Book — 170 p. 28 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA1 .M66 V.25  Available 
90. Set theory for the mathematician [1967]
 Rubin, Jean E.
 San Francisco, HoldenDay [1967]
 Description
 Book — xi, 387 p. illus. 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .R85  Available 
91. Abstract set theory [1966]
 Fraenkel, Abraham Adolf, 18911965.
 3d rev. ed.  Amsterdam, NorthHolland Publishing co., 1966.
 Description
 Book — 297 p.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F74 1966B  Available 
92. Complex series and connected sets [1966]
 Jasek, Bronislaw.
 Warszawa : Panstwowe Wydawn. Naukowe, 1966.
 Description
 Book — [47] p. ; 25 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA246.5 .J3  Available 
 Thomas, Edward Sandusky.
 Warszawa : Panstwowe Wydawn. Naukowe, 1966.
 Description
 Book — [73] p. ; 25 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .T4  Available 
94. Sets with applications [1966]
 Zehna, Peter W.
 Boston, Allyn and Bacon, 1966.
 Description
 Book — vi, 153 p. illus. 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .Z43  Available 
 Room, T. G. (Thomas Gerald)
 Sydney, University P.; London, Methuen, 1966.
 Description
 Book — ix, 235 p. diagrs. 22 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .R65  Available 
96. Ensembles semianalytiques [1965]
 Łojasiewicz, Stanisław.
 [Paris, Centre de physique théorique de l'Êcole polytechnique] 1965.
 Description
 Book — 153 p. 28 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .L65 1965  Available 
97. A hierarchy of formulas in set theory [1965]
 Lévy, Azriel.
 Providence, American Mathematical Society, 1965.
 Description
 Book — 76 p. 26 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .A57 NO.57  Available 
 Lévy, Azriel, 1934
 Providence, R.I. : American Mathematical Society, 1965.
 Description
 Book — 1 online resource (76 p).
 Summary

 1. Introduction 2. Definition of the hierarchy 3. The relative hierarchy 4. Formulas in $\Sigma _0$ and admissible terms 5. The satisfaction predicates 6. The semantical hierarchy theorem 7. Undecidable sentences 8. The syntactical hierarchy theorems 9. Reflection phenomena 10. The lower levels of the hierarchy Appendix A. The dependence of the results on the axiom of foundation Appendix B. The Boolean closure of $\Sigma _j$ Appendix C. Complete reflection in Ackermann's set theory Appendix D. Equivalence of the SkolemLöwenheim theorem with the axiom of dependent choices
 Ijiri, Yuji.
 [Stanford : Graduate School of Business, Stanford University], 1965.
 Description
 Book — 13 leaves ; 28 cm.
 Online
Business Library
Business Library  Status 

Archives: Ask at iDesk  
HF5006 .S715 NO.82  Inlibrary use 
100. Mengenlehre [1965]
 Kamke, E. (Erich), 18901961.
 5. Aufl.  Berlin : W. de Gruyter, 1965.
 Description
 Book — 194 p. : ill. ; 17 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .K3 1965  Available 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.