Attributes, sets, partial sets and identity
Gilmore, P. C.
Compositio Mathematica, Tome 20 (1968), p. 53-69 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1968-01-01
@article{CM_1968__20__53_0,
     author = {Gilmore, P. C.},
     title = {Attributes, sets, partial sets and identity},
     journal = {Compositio Mathematica},
     volume = {20},
     year = {1968},
     pages = {53-69},
     mrnumber = {228329},
     zbl = {0182.32803},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CM_1968__20__53_0}
}

Gilmore, P. C. Attributes, sets, partial sets and identity. Compositio Mathematica, Tome 20 (1968) pp. 53-69. http://gdmltest.u-ga.fr/item/CM_1968__20__53_0/

Bertrand Russell [1] Introduction to Mathematical Philosophy, George Allen and Unwin, Ltd., London, 1919. | JFM 47.0036.12

Willard Van Orman Quine [2] Mathematical Logic, Harvard University Press, Cambridge, revised edition, 1951. | MR 45661 | Zbl 0579.03001

Willard Van Orman Quine [3] From a Logical Point of View, Harvard University Press, Cambridge, 1953. | MR 1445774 | Zbl 0050.00501

Willard Van Orman Quine [4] Word and Object, The Technology Press of MIT and John Wiley and Sons, Inc., New.York and London, 1960. | MR 111674 | Zbl 0093.00915

Willard Van Orman Quine [5] Set Theory and Its Logic, The Belknap Press of Harvard University Press, Cambridge, 1963. | MR 274272 | Zbl 0122.24601

Abraham A. Fraenkel [6] Abstract Set Theory, North-Holland Publishing Co., Amsterdam, 1953. | MR 56660 | Zbl 0050.04903

Alonzo Church [7] "A formulation of the simple theory of types", Journal of Symbolic Logic, Vol. 5 (1940), 56-68. | MR 1931 | Zbl 0023.28901

Thoralf Skolem [8] "Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre" , Conférences au 5e. Congrès [1922] des Mathématiciens Scandinaves (Helsingfors, 1923) 218-232. | JFM 49.0138.02

R.O. Gandy [9] "On the axiom of extensionality - Part I", Journal of Symbolic Logic, Vol. 21 (1956) 36-48. | MR 75899 | Zbl 0073.00801

R.O. Gandy [10] "On the axiom of extensionality - Part II", Journal of Symbolic Logic, Vol. 24 (1959) 287-300. | MR 136548 | Zbl 0097.24601

Kurt Gödel [11] The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press, Princeton, 1940; second printing, 1951. | MR 2514 | Zbl 0061.00902

Dana Scott [12] "Lectures on Boolean-valued models for set theory", lecture notes prepared in connection with the Summer Institute on Axiomatic Set Theory, UCLA, Los Angeles, July 10 - August 4, 1967.

Frederic Benton Fitch [13] Symbolic Logic, An Introduction, The Ronald Press Co., New York, 1952. | Zbl 0049.00504

Frederic Benton Fitch [14] "A complete and consistent modal set theory", Journal of Symbolic Logic, Vol. 32 (1967) 93-103. | MR 237303 | Zbl 0158.01202

P.C. Gilmore [15] "On the epsilon relation", Abstract of paper presented to the Association for Symbolic Logic, Vol. 21 (1956) 219.

P.C. Gilmore [16] "The monadic theory of types in the lower predicate calculus", Proceedings of the Summer Institute for Symbolic Logic, Cornell University (1957) 309-312. | Zbl 0178.31001

P.C. Gilmore [17] "An alternative to set theory", American Mathematical Monthly, Vol. 67 (1960) 621-632. | MR 124201

P.C. Gilmore [18] "Partial set theory", lecture notes prepared in connection with the Summer Institute on Axiomatic Set Theory, UCLA, Los Angeles, July 10 - August 4, 1967.

P.C. Gilmore [19] "The consistency of partial set theory without extensionality" , IBM Research Report RC 1973, Dec. 21, 1967. | MR 360271 | Zbl 0309.02065

P.C. Gilmore [20] "A theory of identity for partial set theory", a forthcoming manuscript.

S.C. Kleene [21] Introduction to Metamathematics, Nort-Holland, Amsterdam, 1952. | MR 51790 | Zbl 0047.00703

Dag Prawitz [22] Natural Deduction, a Proof-Theoretical Study, Almquist and Wiksell, Stockholm, 1965. | MR 193005 | Zbl 0173.00205

Hao Wang [23] "The formalization of mathematics", Journal of Symbolic Logic, Vol. 19 (1954) 241-266. | MR 67044 | Zbl 0056.24503

Solomon Feferman [24] "Systems of predicative analysis", Journal of Symbolic Logic, Vol. 29 (1964) 1-30 | MR 193006 | Zbl 0134.01101

Solomon Feferman [25] "Predicative provability in set theory", Bulletin of the American Mathematical Society, Vol. 72 (1966) 486-489. | MR 193008 | Zbl 0148.25403

Solomon Feferman and G. Kreisel [26] "Persistent and invariant formulas relative to theories of higher order", Bulletin of the American Mathematical Society, Vol. 72 (1966) 480-485. | MR 193007 | Zbl 0234.02038

A. Heyting [27] Intuitionism, an Introduction, North-Holland Publishing Co., Amsterdam, 1946. | MR 75147 | Zbl 0070.00801

H. Weyl [28] Das Koninuum. Kritische Untersuchungen über die Grundlagen der Analysis, Leipzig, 1918. | JFM 46.0286.01

Rodger C. Lyndon [29] "Properties preserved under homomorphism", Pacific Journal of Mathematics, Vol. 9 (1959) 143-154. | MR 108441 | Zbl 0093.01101