close
1.

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

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

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

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

図書
図書
6. 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$
7.

図書
図書
7. 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：
8.

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

図書
図書
9. 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…
10.

図書
図書
10. 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼