close
1.

図書
図書
1. Philosophie mathématique
Jean Cavaillès ; préface de Raymond Aron ; introduction de Roger Martin
出版情報: Paris : Hermann, c1962  274 p. ; 22 cm
シリーズ名: Histoire de la pensée ; 6
所蔵情報: loading…
2.

図書
図書
2. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : Benjamin, 1966  154 p. ; 24 cm
シリーズ名: Mathematics lecture note series
所蔵情報: loading…
3.

図書
図書
3. Sets, lattices, and Boolean algebras
[by] James C. Abbott
出版情報: Boston : Allyn and Bacon, [1969]  xiii, 282 p ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. Harmonic analysis on totally disconnected sets (: gw ; : us)
John Benedetto
出版情報: Berlin ; New York : Springer-Verlag, 1971  viii, 261 p ; 26 cm
シリーズ名: Lecture notes in mathematics ; 202
所蔵情報: loading…
5.

図書
図書
5. Theory of sets
Nicolas Bourbaki
出版情報: Paris : Hermann , Reading, Mass. : Addison-Wesley, c1968  viii, 414 p. ; 25 cm
シリーズ名: Actualités scientifiques et industrielles ; . Elements of mathematics ; 1
Adiwes international series in mathematics
所蔵情報: loading…
6.

図書
図書
6. Théorie des ensembles. [Nouv. éd.]
[par] N. Bourbaki
出版情報: Paris : Hermann, c1970  1 v. (various pagings) ; 25 cm
シリーズ名: Éléments de mathématique / par N. Bourbaki
所蔵情報: loading…
7.

図書
図書
7. Aggregation and fractal aggregates
R. Jullien, R. Botet
出版情報: Singapore : World Scientific, c1987  ix, 120 p., [12] p. of col. plates ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. A formalization of set theory without variables
by Alfred Tarski and Steven Givant
出版情報: Providence, R.I. : American Mathematical Society, c1987  xxi, 318 p. ; 26 cm
シリーズ名: Colloquium publications / American Mathematical Society ; v. 41
所蔵情報: loading…
目次情報: 続きを見る
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$
Some improvements of the equipollence results Implications of the main results for semantic and axiomatic foundations of set theory
Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers
Applications to relation algebras and to varieties of algebras
Bibliography
Indices
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
9.

図書
図書
9. Mass terms and model-theoretic semantics (pbk)
Harry C. Bunt
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985  xiii, 325 p. ; 24 cm
シリーズ名: Cambridge studies in linguistics ; 42
所蔵情報: loading…
目次情報: 続きを見る
Preface
Model-Theoretic Semantics of Mass Terms / Part I：
Introduction / 1：
Mass terms / 2：
Approaches to mass term semantics / 3：
Towards a semantic theory of mass nouns / 4：
Ensemble theory / 5：
Semantic representations based on ensemble theory / 6：
Two-level model-theoretic semantics / 7：
Quantification and mass nouns / 8：
Modification and mass nouns / 9：
Ensemble Theory / Part II：
Axiomatic ensemble theory / 10：
Continuous, discrete and mixed ensembles / 11：
A model for ensemble theory / 12：
Ensemble theory, set theory and mereology / 13：
Notes
Bibliography
Index
Preface
Model-Theoretic Semantics of Mass Terms / Part I：
Introduction / 1：
10.

図書
図書
10. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : W.A. Benjamin, 1966  154 p. ; 24 cm
所蔵情報: loading…
11.

図書
図書
11. Axiomatic analysis : an introduction to logic and the real number system
Robert Katz ; under the general editorship of David Vernon Widder
出版情報: Boston : D.C. Heath, c1964  xiv, 336 p. ; 24 cm
所蔵情報: loading…
12.

図書
図書
12. Set theory (: hbk ; : pbk)
András Hajnal, Peter Hamburger ; translated by Attila Máté
出版情報: Cambridge : Cambridge University Press, 1999  viii, 316 p. ; 23 cm
シリーズ名: London Mathematical Society student texts ; 48
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction to set theory / Part I.：
Introduction
Notation, conventions / 1.：
Definition of equivalence. The concept of cardinality. The Axiom of Choice / 2.：
Countable cardinal, continuum cardinal / 3.：
Comparison of cardinals / 4.：
Operations with sets and cardinals / 5.：
Examples / 6.：
Ordered sets. Order types. Ordinals / 7.：
Properties of wellordered sets. Good sets. The ordinal operation / 8.：
Transfinite induction and recursion. Some consequences of the Axiom of Choice, the Wellordering Theorem / 9.：
Definition of the cardinality operation. Properties of cardinalities. The cofinality operation / 10.：
Properties of the power operation / 11.：
Hints for solving problems marked with * in Part I
An axiomatic development of set theory / Appendix：
The Zermelo-Fraenkel axiom system of set theory / A1.：
Definition of concepts; extension of the language / A2.：
A sketch of the development. Metatheorems / A3.：
A sketch of the development. Definitions of simple operations and properties (continued) / A4.：
A sketch of the development. Basic theorems, the introduction of [omega] and R (continued) / A5.：
The ZFC axiom system. A weakening of the Axiom of Choice. Remarks on the theorems of Sections 2-7 / A6.：
The role of the Axiom of Regularity / A7.：
Proofs of relative consistency. The method of interpretation / A8.：
Proofs of relative consistency. The method of models / A9.：
Topics in combinatorial set theory / Part II.：
Stationary sets / 12.：
[Delta]-systems / 13.：
Ramsey's Theorem and its generalizations. Partition calculus / 14.：
Inaccessible cardinals. Mahlo cardinals / 15.：
Measurable cardinals / 16.：
Real-valued measurable cardinals, saturated ideals / 17.：
Weakly compact and Ramsey cardinals / 18.：
Set mappings / 19.：
The square-bracket symbol. Strengthenings of the Ramsey counterexamples / 20.：
Properties of the power operation. Results on the singular cardinal problem / 21.：
Powers of singular cardinals. Shelah's Theorem / 22.：
Hints for solving problems of Part II
Bibliography
List of symbols
Name index
Subject index
Preface
Introduction to set theory / Part I.：
Introduction
13.

図書
図書
13. Braids and self-distributivity
Patrick Dehornoy
出版情報: Basel : Birkhäuser, c2000  xix, 623 p. ; 24 cm
シリーズ名: Progress in mathematics ; v. 192
所蔵情報: loading…
14.

図書
図書
14. Set theory for the working mathematician (: hbk ; : pbk)
Krzysztof Ciesielski
出版情報: Cambridge : Cambridge University Press, 1997  xi, 236 p. ; 24 cm
シリーズ名: London Mathematical Society student texts ; 39
所蔵情報: loading…
15.

図書
図書
15. Set-theoretic tools for every mathematician
Winfried Just, Martin Weese
出版情報: Providence, R.I. : American Mathematical Society, c1997  xiii, 224 p. ; 26 cm
シリーズ名: Graduate studies in mathematics ; v. 18 . Discovering modern set theory ; 2
所蔵情報: loading…
目次情報: 続きを見る
Filters and ideals in partial orders
Trees A little Ramsey theory
The $\Delta$-system lemma Applications of the continuum hypothesis
From the Rasiowa-Sikorski lemma to Martin's
Axiom Martin's Axiom Hausdorff gaps
Closed unbounded sets and stationary sets
The $\diamond$-principle Measurable cardinals
Elementary submodels Boolean algebras
Appendix: Some general topology
Index
Index of symbols
Filters and ideals in partial orders
Trees A little Ramsey theory
The $\Delta$-system lemma Applications of the continuum hypothesis
16.

図書
図書
16. Linear algebra for quantum theory
Per-Olov Löwdin and Quantum Theory Project, University of Florida
出版情報: New York : John Wiley & Sons, c1998  xi, 458 p. ; 25 cm
所蔵情報: loading…
17.

図書
図書
17. Set theory : the structure of arithmetic
[by] Norman T. Hamilton [and] Joseph Landin
出版情報: Boston : Allyn and Bacon, 1961  xi, 264 p. ; 24 cm
所蔵情報: loading…
18.

図書
図書
18. The continuum, and other types of serial order : with an introduction to Cantor's transfinite numbers. 2d ed
by Edward V. Huntington
出版情報: Cambridge, Mass. : Harvard university press, 1917  vii, 82, p. ; 22 cm
所蔵情報: loading…
19.

図書
図書
19. Classic set theory : a guided independent study
Derek Goldrei
出版情報: London : Chapman & Hall, 1996  viii, 287 p. ; 26 cm
所蔵情報: loading…
20.

図書
図書
20. The descriptive set theory of Polish group actions (: pbk)
Howard Becker, Alexander S. Kechris
出版情報: Cambridge, U.K. : Cambridge University Press, c1996  xi, 136 p.
シリーズ名: London Mathematical Society lecture note series ; 232
所蔵情報: loading…
目次情報: 続きを見る
Descriptive set theory
Polish groups / 1：
Actions of polish groups / 2：
Equivalence relations / 3：
Invariant measures and paradoxical decompositions / 4：
Better topologies / 5：
Model theory and the Vaught conjecture / 6：
Actions with Borel orbit equivalence relations / 7：
Definable cardinality / 8：
References
Descriptive set theory
Polish groups / 1：
Actions of polish groups / 2：
21.

図書
図書
21. Discrete structures of computer science
Leon S. Levy
出版情報: New York : Wiley, c1980  310 p. ; 24 cm
所蔵情報: loading…
22.

図書
図書
22. Cantorian set theory and limitation of size (: pbk)
Michael Hallett
出版情報: Oxford [Oxfordshire] : Clarendon Press, 1984  xxii, 343 p. ; 25 cm
シリーズ名: Oxford logic guides ; 10
所蔵情報: loading…
目次情報: 続きを見る
Foreword by Professor Michael Dummett
Preface
The Cantorian Origins of Set Theory Introduction to Part I: The Background to the Theory of Ordinals / Part 1：
Cantor's Theory of Infinity / 1：
The Ordinal Theory of Powers / 2：
Cantor's Theory of Number / 3：
The Origin of the Limitation of Size Idea / 4：
The Limitation of Size Argument and Axiomatic Set Theory Introduction to Part 2 / Part 2：
The Limitation of Size Argument / 5：
The Completability of Sets / 6：
The Zermelo System / 7：
Von Neumann's Reinstatement of the Ordinal Theory of Size / 8：
Conclusion
Foreword by Professor Michael Dummett
Preface
The Cantorian Origins of Set Theory Introduction to Part I: The Background to the Theory of Ordinals / Part 1：
23.

図書
図書
23. Introduction to set theory. 2nd ed., rev. and expanded
Karel Hrbacek, Thomas Jech
出版情報: New York : M. Dekker, c1984  ix, 247 p. ; 24 cm
シリーズ名: Monographs and textbooks in pure and applied mathematics ; 85
所蔵情報: loading…
24.

図書
図書
24. Set theory : an introduction (: Boston ; : Basel)
by Robert L. Vaught
出版情報: Boston : Birkhäuser, 1984  x, 141 p. ; 24 cm
所蔵情報: loading…
25.

図書
図書
25. Topics in set theory : Lebesgue measurability, large cardinals, forcing axioms, rho-functions (: gw ; : us)
M. Bekkali
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vii, 120 p. ; 24 cm
シリーズ名: Lecture notes in mathematics ; 1476
所蔵情報: loading…
26.

図書
図書
26. Ensembles parfaits et séries trigonométriques
Jean-Pierre Kahane et Raphaël Salem
出版情報: Paris : Hermann, c1963  192 p. ; 24 cm
シリーズ名: Actualités scientifiques et industrielles ; 1301
所蔵情報: loading…
27.

図書
図書
27. Set theory and logic
by Abraham A. Fraenkel
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, [1966]  vii, 102 p. ; 24 cm
シリーズ名: Adiwes international series
Addison-Wesley series in logic / Hartley Roger, Jr., consulting editor
所蔵情報: loading…
28.

図書
図書
28. Almost free modules : set-theoretic methods
Paul C. Eklof, Alan H. Mekler
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990  xvi, 481 p. ; 23 cm
シリーズ名: North-Holland mathematical library ; v. 46
所蔵情報: loading…
29.

図書
図書
29. Fuzzy automata and decision processes
edited by Madan M. Gupta, with associate editors George N. Saridis, Brian R. Gaines
出版情報: New York : North-Holland, c1977  xiv, 496 p. ; 24 cm
所蔵情報: loading…
30.

図書
図書
30. Logic, computers, and sets
Wang, Hao, 1921-
出版情報: New York : Chelsea Pub. Co, [1970]  x, 651 p ; 24 cm
所蔵情報: loading…
31.

図書
図書
31. Real numbers : a development of the real numbers in an axiomatic set theory
[by] G. L. Isaacs
出版情報: London ; New York [etc.] : McGraw-Hill, [1968]  viii, 112 p ; 22 cm
シリーズ名: European mathematics series
所蔵情報: loading…
32.

図書
図書
32. Zermelo-Fraenkel set theory
[by] Seymour Hayden [and] John F. Kennison
出版情報: Columbus, Ohio : C. E. Merrill, [1968]  xi, 164 p ; 24 cm
シリーズ名: Merrill mathematics series
所蔵情報: loading…
33.

図書
図書
33. Random sets and integral geometry
[by] G. Matheron
出版情報: New York : Wiley, [1974, c1975]  xxiii, 261 p ; 23 cm
シリーズ名: Wiley series in probability and mathematical statistics
所蔵情報: loading…
34.

図書
図書
34. The theory of sets and transfinite arithmetic. Maruzen Asian ed.
Alexander Abian
出版情報: Philadelphia : Saunders, 1965  xiii, 406 p. ; 21 cm
シリーズ名: Saunders mathematics books
所蔵情報: loading…
35.

図書
図書
35. Foundations of set theory
Abraham A. Fraenkel and Yehoshua Bar-Hillel
出版情報: Amsterdam : North-Holland, 1958  x, 415 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
36.

図書
図書
36. Introduction to set theory and topology
by Kazimierz Kuratowski ; translation from the revised Polish edited by Leo F. Boron
出版情報: Oxford : Pergamon Press, c1961  283 p. ; 22 cm
シリーズ名: International series of monographs on pure and applied mathematics ; v. 13
所蔵情報: loading…
37.

図書
図書
37. The theory of sets and transfinite arithmetic. Maruzen Asian ed.
Alexander Abian
出版情報: Tokyo : Maruzen, 1966, c1965  xiii, 406 p. ; 22 cm
シリーズ名: Saunders mathematics books
所蔵情報: loading…
38.

図書
図書
38. Introduction to set theory and topology. Completely rev. 2nd English ed
by Kazimierz Kuratowski ; containing a supplement on Elements of algebraic topology, by Ryszard Engelking
出版情報: Oxford ; New York : Pergamon Press, 1972  352 p. ; 23 cm
シリーズ名: International series of monographs on pure and applied mathematics ; v. 101
所蔵情報: loading…
39.

図書
図書
39. Coherent structures and simple games
K. G. Ramamurthy
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, 1990  xii, 160 p. ; 25 cm
シリーズ名: Theory and decision library ; ser. C . Game theory, mathematical programming and operations research ; v. 6
所蔵情報: loading…
40.

図書
図書
40. Selected papers
Kazimierz Kuratowski ; editorial committee, Karol Borsuk, editor-in-chief, Ryszard Engelking, Czesław Ryll-Nardzewski
出版情報: Warszawa : PWN-Polish Scientific Publishers, 1988  li, 609 p. ; 25 cm
所蔵情報: loading…
41.

図書
図書
41. Toposes and local set theories : an introduction
J.L. Bell
出版情報: Oxford : Clarendon Press , Tokyo : Oxford University Press, 1988  xii, 267 p. ; 24 cm
シリーズ名: Oxford logic guides ; 14
所蔵情報: loading…
目次情報: 続きを見る
Elements of Category Theory / 1：
Introducing Toposes / 2：
Local Set Theories / 3：
Fundamental Properties of Toposes / 4：
From Logic to Sheaves / 5：
Locale-Valued Sets / 6：
Natural Numbers and Real Numbers / 7：
Epilogue: The Wider Significance of Topos Theory / 8：
Elements of Category Theory / 1：
Introducing Toposes / 2：
Local Set Theories / 3：
42.

図書
図書
42. Sets and integration : an outline of the development
D. van Dalen and A.F. Monna
出版情報: Groningen : Wolters-Noordhoff, c1972  viii, 162 p. ; 25 cm
所蔵情報: loading…
43.

図書
図書
43. Basic set theory (: gw ; : us)
Azriel Levy
出版情報: Berlin ; New York : Springer-Verlag, 1979  xiv, 391 p. ; 25 cm
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
目次情報: 続きを見る
Pure Set Theory / Part A.：
The Basic Notions / Chapter I.：
The Basic Language of Set Theory / 1.：
The Axioms of Extensionality and Comprehension / 2.：
Classes, Why and How / 3.：
Classes, the Formal Introduction / 4.：
The Axioms of Set Theory / 5.：
Relations and Functions / 6.：
Order and Well-Foundedness / Chapter II.：
Order
Well-Order
Ordinals
Natural Numbers and Finite Sequences
Well-Founded Relations
Well-Founded Sets
The Axiom of Foundation / 7.：
Cardinal Numbers / Chapter III.：
Finite Sets
The Partial Order of the Cardinals
The Finite Arithmetic of the Cardinals
The Infinite Arithmetic of the Well Ordered Cardinals
The Ordinals / Chapter IV.：
Ordinal Addition and Multiplication
Ordinal Exponentiation
Cofinality and Regular Ordinals
Closed Unbounded Classes and Stationary Classes
The Axiom of Choice and Some of its Consequences / Chapter V.：
The Axiom of Choice and Equivalent Statements
Some Weaker Versions of the Axiom of Choice
Definable Sets
Set Theory with Global Choice
Cardinal Exponentiation
Applications and Advanced Topics / Part B.：
A Review of Point Set Topology / Chapter VI.：
Basic Concepts
Useful Properties and Operations
Category, Baire and Borel Sets
The Real Spaces / Chapter VII.：
The Real Numbers
The Separable Complete Metric Spaces
The Close Relationship Between the Real Numbers, the Cantor Space and the Baire Space
Boolean Algebras / Chapter VIII.：
The Basic Theory
Prime Ideals and Representation
Complete Boolean Algebras
Martin's Axiom
Infinite Combinatorics and Large Cardinals / Chapter IX.：
The Axiom of Constructibility
Trees
Partition Properties
Measurable Cardinals
The Eliminability and Conservation Theorems / Appendix X.：
Bibliography
Additional Bibliography
Index of Notation
Index
Corrections and Additions / Appendix：
Pure Set Theory / Part A.：
The Basic Notions / Chapter I.：
The Basic Language of Set Theory / 1.：
44.

図書
図書
44. Einleitung in die Mengenlehre : eine elementare Einführung in das Reich des Unendlichgrossen. 2. erw. Aufl (: pbk)
von Adolf Fraenkel
出版情報: Berlin : Springer, 1923  viii, 251 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 9
所蔵情報: loading…
45.

図書
図書
45. The theory of semisets
[by] Petr Vopěnka and Petr Hájek
出版情報: Amsterdam : North-Holland, 1972  332 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 70
所蔵情報: loading…
46.

図書
図書
46. Simplified independence proofs : Boolean valued models of set theory
J. Barkley Rosser
出版情報: New York : Academic Press, 1969  xv, 217 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; v. 31
所蔵情報: loading…
47.

図書
図書
47. Infinity and the mind : the science and philosophy of the infinite
Rudy Rucker
出版情報: Boston : Birkhäuser, 1982  x, 342 p. ; 24 cm
所蔵情報: loading…
48.

図書
図書
48. Lectures in set theory : with particular emphasis on the method of forcing (: u.s. ; : Germany)
Thomas J. Jech
出版情報: Berlin : Springer-Verlag, 1971  137 p. ; 26 cm
シリーズ名: Lecture notes in mathematics ; 217
所蔵情報: loading…
49.

図書
図書
49. Set theory
Charles C. Pinter
出版情報: Reading, Mass. : Addison-Wesley, 1971  viii, 216 p. ; 24 cm
シリーズ名: Addison-Wesley series in mathematics
所蔵情報: loading…
50.

図書
図書
50. Set theory : an introduction to large cardinals (Elsevier ; North-Holland)
Frank R. Drake
出版情報: Amsterdam : North-Holland, 1974  xii, 351 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 76
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼