Attributes, sets, partial sets and identity
Compositio Mathematica, Tome 20 (1968), pp. 53-69.
@article{CM_1968__20__53_0,
     author = {Gilmore, P. C.},
     title = {Attributes, sets, partial sets and identity},
     journal = {Compositio Mathematica},
     pages = {53--69},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {228329},
     zbl = {0182.32803},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__53_0/}
}
TY  - JOUR
AU  - Gilmore, P. C.
TI  - Attributes, sets, partial sets and identity
JO  - Compositio Mathematica
PY  - 1968
SP  - 53
EP  - 69
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://www.numdam.org/item/CM_1968__20__53_0/
LA  - en
ID  - CM_1968__20__53_0
ER  - 
%0 Journal Article
%A Gilmore, P. C.
%T Attributes, sets, partial sets and identity
%J Compositio Mathematica
%D 1968
%P 53-69
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__53_0/
%G en
%F CM_1968__20__53_0
Gilmore, P. C. Attributes, sets, partial sets and identity. Compositio Mathematica, Tome 20 (1968), pp. 53-69. http://www.numdam.org/item/CM_1968__20__53_0/

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

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

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

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 | Zbl

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

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

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

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

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

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

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 | Zbl

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

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

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

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

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 | Zbl

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 | Zbl

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

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

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

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

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 | Zbl

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

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

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