1  20
Next
1. Set theory [1968]
 Amsterdam : NorthHolland, 1968.
 Description
 Book — 1 online resource (xiv, 417 pages) : illustrations
 Summary

 Algebra of sets
 Axioms of set theory, relations, funcilons
 Natual numbers, finite and infinite sets
 Generalized union, intersection and cartesian product
 Theory of cardinal numbers
 Linearly ordered sets
 Wellordered sets
 Alephs and related topics
 Inaccessible cardinals : the continuum hypothesis
 Introduction to the theory of analytic and projective sets.
2. Set Theory [2022]
 Burgess, John P., author.
 Cambridge : Cambridge University Press, 2022.
 Description
 Book — 1 online resource
 Summary

 1. Historical Roots
 2. The Notion of Set
 3. The ZermeloFraenkel Axioms
 4. Immediate Consequences
 5. Number Systems within Set Theory
 6. Infinities
 7. The Axiom of Choice
 8. Topics in Higher Set Theory
 9. Metamathematics of Set Theory
 10. Large Cardinals and Determinacy
 11. Concluding Philosophical Remarks.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Berry, Sharon, (Professor of mathematics), author.
 Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022.
 Description
 Book — 1 online resource (vi, 240 pages)
 Summary

A new approach to the standard axioms of set theory, relating the theory to the philosophy of science and metametaphysics.
4. Guida alla teoria degli insiemi [2008]
 Lolli, Gabriele, 1942
 Milano : Springer, ©2008.
 Description
 Book — 1 online resource
 Summary

 Prima parte
 Storia
 Fondamenti della matematica
 Seconda parte
 La teoria
 Applicazioni.
5. Théorie des ensembles [2006]
 Bourbaki, Nicolas.
 Berlin : Springer, 2006.
 Description
 Book — 1 online resource (1 volume (various pagings)) Digital: text file.PDF.
 Summary

 Éléments et parties d'un cnsernble
 Fonctions
 Produit de plusieurs ensembles
 Réunion, intersection, produit d'une famille d'ensembles
 Relations d'équivalence : ensemble quotient
 Ensembles ordonnés
 Puissances. Ensembles dénombrables
 Échelles d'ensembles et structures.
6. Conjunto vacío [2021]
 Gerber Bicecci, Verónica, 1981 author.
 Segunda edición  Ciudad de México : Almadía, 2021
 Description
 Book — 232 pages : illustrations ; 21 cm
 Online
7. Constructibility [2016]
 Devlin, Keith J., author.
 Cambridge, United Kingdom : Cambridge University Press, [2016]
 Description
 Book — 1 online resource
 Summary

 Part I. Elementary Theory: 1. Preliminaries
 2. The constructible universe
 3. 1Trees in L
 4. +Trees in L and the fine structure theory
 5. The story of 0#
 Part II. Advanced theory: 6. The fine structure theory
 7. Trees and large cardinals in L
 8. Morasses and the cardinal transfer theorem
 9. Silver machines
 Remarks and historical notes
 Bibliography
 Glossary of notation
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lαhierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jαhierarchy and the Jensen 'finestructure theory'.
8. Discrete mathematics [2012]
 Ram, Babu.
 New Delhi : Dorling Kindersley, 2012.
 Description
 Book — 1 online resource (1 volume) : illustrations
 Summary

 Sets, relations and functions
 Counting
 Recurrence Relations
 Logic
 Algebraic structure
 Lattices
 Boolean algebra
 Graphs
 Finite state automata
 Language and grammars.
 Ciesielski, Krzysztof, 1957
 Cambridge, UK ; New York : Cambridge University Press, 2004.
 Description
 Book — 1 online resource (xxi, 174 pages) Digital: data file.
 Summary

 1. Axiom CPAcube and its consequences: properties (A)(E)
 2. Games and axiom CPAgame/cube
 3. Prisms and axioms CPAgame/prism and CPAprism
 4. CPAprism and coverings with smooth functions
 5. Applications of CPAgame/prism
 6. CPA and properties (F*) and (G)
 7. CPA in the Sacks model.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Teoria mnogości. English
 Kuratowski, Kazimierz, 18961980.
 2nd completely rev. ed.  Amsterdam : NorthHolland Pub. Co. ; New York : Distributor, Elsevier/NorthHolland, 1976.
 Description
 Book — 1 online resource (xiv, 514 pages)
11. Fine structure and iteration trees [2016]
 Mitchell, William J., author.
 Cambridge ; New York : Cambridge University Press, [2016]
 Description
 Book — 1 online resource : illustrations
 Summary

 Introduction
 1. Good extender sequences
 2. Fine structure
 3. Squashed mice
 4. Ultrapowers
 5. Iteration trees
 6. Uniqueness of wellfounded branches
 7. The comparison process
 8. Solidarity and condensation
 9. Uniqueness of the next extender
 10. Closure under initial segment
 11. The construction
 12. Iterability
 References
 Index of definitions
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
12. Descriptive set theory [1980]
 Moschovakis, Yiannis N.
 Amsterdam ; New York : NorthHolland, 1980.
 Description
 Book — 1 online resource (xii, 637 pages) : illustrations
 Summary

 The Basic Classical Notions. kappaSuslin and lambdaBorel. Basic Notions of the Effective Theory. Structure Theory for Pointclasses. The Constructible Universe. The Playful Universe. The Recursion Theorem. Metamathematics. References. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
13. Understanding the many [2002]
 Yi, Byeonguk, 1959 author.
 New York : Routledge, 2002.
 Description
 Book — 1 online resource (141 pages) : illustrations
 Summary

 Introduction
 1. Plural Quantifications
 1. Singular Versus Plural Quantifications
 2. Implication 2.a The Implication Argument 2.b On the Three Theses on Implications 2.c Implication Versus Metaphysical Necessity
 3. Paraphrase
 2. The Logic of Plurals
 1. Language 1.a Elementary Notation *1.b. The Term Connective "and" 1.c. Predicates 1.c.i. Singular, Plural, and Neutral Predicates 1.c.ii. Neutral Expansions and Singular Reducts 1.c.iii. Logical Predicates 1.d. Quantifiers and Variables 1.d.i. Singular and Plural Quantifiers 1.d.ii. Paraphrasing Plural Quantifiers 1.d.iii. Singularizable Plural Quantifications 1.e. The Canonical Notation for the Logic of Plurals 1.e.i. Terms 1.e.ii. Predicates and Simple Sentences 1.e.iii. Quantifiers and Complex Sentences
 2. Logic 2.a. The Logic of Plurals: Partial Axiomatization 2.a.i. System A 2.a.ii. System B 2.a.iii. System C 2.a.iv. System D *2.b. The Logic of Plurals: Model Theory Appendix: Partial Axiomatization of the Logic of Plurals
 3. Is Two a Property?
 1. Why Property Two? 1.a. What Is It to Be a Property? 1.b. Irregularities of Numerical Facts 1.c. Why Not the Set Analysis?
 2. A Theory of Plural Properties 2.a. The Predicative Part 2.b. The Subject Part 2.c. Instantiation 2.d. Various Kinds of Plural Properties
 3. Two As an Intrinsic Plural Property
 4. Concluding Remarks
 4. What Numbers Should Be
 1. Are Numbers Objects?
 2. Plural Properties As Components of Numerical Facts
 3. Analysis of Numerical Facts
 4. Numbers Are Properties
 5. How Sets Are Determined by Their Members
 1. The Hierarchy of Sets and the Determination of Sets by Their Members
 2. Reference to Setlike Objects
 3. Plural Reference to Mundane Objects
 4. Exclusive Reference to Mundane Objects
 5. Concluding Remarks References Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
14. Surveys in set theory [1983]
 Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1983.
 Description
 Book — 1 online resource (247 pages) : illustrations
 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)
 Alexandru, Andrei.
 Cham : Springer, 2016.
 Description
 Book — 1 online resource (188 pages) Digital: PDF.text file.
 Summary

 Introduction. FraenkelMostowski Set Theory: A Framework for Finitely Supported Mathematics. Algebraic Structures in Finitely Supported Mathematics. Extended FraenkelMostowski Set Theory. Process Calculi in Finitely Supported Mathematics. References.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Owsiński, J. W. (Jan W.)
 Cham : Springer, 2021.
 Description
 Book — 1 online resource (117 pages)
 Summary

 The concept of reverse clustering. Reverse clustering: the essence and the interpretations. Case studies: an introduction. The road traffic data. The chemicals in the natural environment. Administrative units, Part I. Administrative units, Part II. Academic examples. Summary and conclusions.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Mayberry, John P.
 Cambridge ; New York : Cambridge University Press, 2000.
 Description
 Book — 1 online resource (xx, 424 pages)
 Summary

 Preliminaries
 Idea of foundations for mathematics
 Simple arithmetic
 Basic set theory
 Semantics, ontology, and logic
 Principal axioms and definitions of set theory
 Cantorian set theory
 Cantorian finitism
 Axiomatic method
 Axiomatic set theory
 Euclidean set theory
 Euclidean finitism
 Euclidean theory of cardinality
 Euclidean theory of simply infinite systems
 Euclidean set theory from the cantorian standpoint
 Envoi.
(source: Nielsen Book Data)
 Berlin : SpringerVerlag, ©2009.
 Description
 Book — 1 online resource
 Summary

 Theoretical Contributions to Rough Set Theory. Rough Sets on Fuzzy Approximation Spaces and Intuitionistic Fuzzy Approximation Spaces. Categorical Innovations for Rough Sets. Granular Structures and Approximations in Rough Sets and Knowledge Spaces. On Approximation of Classifications, Rough Equalities and Rough Equivalences. Rough Set Data Mining Activities. Rough Clustering with Partial Supervision. A Generic Scheme for Generating Prediction Rules Using Rough Sets. Rough Web Caching. Software Defect Classification: A Comparative Study of RoughNeurofuzzy Hybrid Approaches with Linear and Nonlinear SVMs. Rough Hybrid Models to Classification and Attribute Reduction. Rough Sets and Evolutionary Computation to Solve the Feature Selection Problem. Nature Inspired PopulationBased Heuristics for Rough Set Reduction. Developing a KnowledgeBased System Using Rough Set Theory and Genetic Algorithms for Substation Fault Diagnosis.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Seni, Giovanni.
 Cham, Switzerland : Springer, ©2010.
 Description
 Book — 1 online resource (xvi, 108 pages) : illustrations
 Summary

 Ensembles Discovered Predictive Learning and Decision Trees Model Complexity, Model Selection and Regularization Importance Sampling and the Classic Ensemble Methods Rule Ensembles and Interpretation Statistics Ensemble Complexity.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Fuzzifizierung der Systeme. English
 Seising, Rudolf, 1961
 Berlin ; New York : Springer, ©2007.
 Description
 Book — 1 online resource (xxv, 412 pages) : illustrations Digital: text file.PDF.
 Summary

 Beginnings of Communication Technology in the 20th Century
 Logical Tolerance, Ensembles Flous and Probabilistic Metrics
 General Systems Theory and Cybernetics
 From Circuit Theory to System Theory
 Fuzzy Sets and Fuzzy Systems
 Fuzzifications
 The Fuzzification of Medical Diagnostics
 Conculsion.
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.