@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/
Introduction to Mathematical Philosophy, George Allen and Unwin, Ltd., London, 1919. | JFM 47.0036.12
[1]Mathematical Logic, Harvard University Press, Cambridge, revised edition, 1951. | MR 45661 | Zbl 0579.03001
[2]From a Logical Point of View, Harvard University Press, Cambridge, 1953. | MR 1445774 | Zbl 0050.00501
[3]Word and Object, The Technology Press of MIT and John Wiley and Sons, Inc., New.York and London, 1960. | MR 111674 | Zbl 0093.00915
[4]Set Theory and Its Logic, The Belknap Press of Harvard University Press, Cambridge, 1963. | MR 274272 | Zbl 0122.24601
[5]Abstract Set Theory, North-Holland Publishing Co., Amsterdam, 1953. | MR 56660 | Zbl 0050.04903
[6]"A formulation of the simple theory of types", Journal of Symbolic Logic, Vol. 5 (1940), 56-68. | MR 1931 | Zbl 0023.28901
[7]"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
[8]"On the axiom of extensionality - Part I", Journal of Symbolic Logic, Vol. 21 (1956) 36-48. | MR 75899 | Zbl 0073.00801
[9]"On the axiom of extensionality - Part II", Journal of Symbolic Logic, Vol. 24 (1959) 287-300. | MR 136548 | Zbl 0097.24601
[10]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
[11]"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.
[12]Symbolic Logic, An Introduction, The Ronald Press Co., New York, 1952. | Zbl 0049.00504
[13]"A complete and consistent modal set theory", Journal of Symbolic Logic, Vol. 32 (1967) 93-103. | MR 237303 | Zbl 0158.01202
[14]"On the epsilon relation", Abstract of paper presented to the Association for Symbolic Logic, Vol. 21 (1956) 219.
[15]"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
[16]"An alternative to set theory", American Mathematical Monthly, Vol. 67 (1960) 621-632. | MR 124201
[17]"Partial set theory", lecture notes prepared in connection with the Summer Institute on Axiomatic Set Theory, UCLA, Los Angeles, July 10 - August 4, 1967.
[18]"The consistency of partial set theory without extensionality" , IBM Research Report RC 1973, Dec. 21, 1967. | MR 360271 | Zbl 0309.02065
[19]"A theory of identity for partial set theory", a forthcoming manuscript.
[20]Introduction to Metamathematics, Nort-Holland, Amsterdam, 1952. | MR 51790 | Zbl 0047.00703
[21]Natural Deduction, a Proof-Theoretical Study, Almquist and Wiksell, Stockholm, 1965. | MR 193005 | Zbl 0173.00205
[22]"The formalization of mathematics", Journal of Symbolic Logic, Vol. 19 (1954) 241-266. | MR 67044 | Zbl 0056.24503
[23]"Systems of predicative analysis", Journal of Symbolic Logic, Vol. 29 (1964) 1-30 | MR 193006 | Zbl 0134.01101
[24]"Predicative provability in set theory", Bulletin of the American Mathematical Society, Vol. 72 (1966) 486-489. | MR 193008 | Zbl 0148.25403
[25]"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
and [26]Intuitionism, an Introduction, North-Holland Publishing Co., Amsterdam, 1946. | MR 75147 | Zbl 0070.00801
[27]Das Koninuum. Kritische Untersuchungen über die Grundlagen der Analysis, Leipzig, 1918. | JFM 46.0286.01
[28]"Properties preserved under homomorphism", Pacific Journal of Mathematics, Vol. 9 (1959) 143-154. | MR 108441 | Zbl 0093.01101
[29]