1  10
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)
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.