Proceedings of the Japan Academy

On a set theory suggested by Dedecker and Ehresmann, II

Newton C. A. da Costa

Full-text: Open access

Article information

Source
Proc. Japan Acad., Volume 45, Number 10 (1969), 885-888.

Dates
First available in Project Euclid: 20 November 2007

Permanent link to this document
https://projecteuclid.org/euclid.pja/1195520554

Digital Object Identifier
doi:10.3792/pja/1195520554

Mathematical Reviews number (MathSciNet)
MR0272622

Zentralblatt MATH identifier
0204.31303

Citation

da Costa, Newton C. A. On a set theory suggested by Dedecker and Ehresmann, II. Proc. Japan Acad. 45 (1969), no. 10, 885--888. doi:10.3792/pja/1195520554. https://projecteuclid.org/euclid.pja/1195520554


Export citation

References

  • [1] A. I. Arruda and N. C. A. da Costa: Sur une hierarchie de systemes formels. C.R. Acad. Sc. Paris, 259, 2943-2945 (1964).
  • [2] N. C. A. da Costa: On two systems of set theory. Nederl. Akad. Wetensch. Proc, A, 68, 95-99 (1965).
  • [3] N. C. A. da Costa: Two formal systems of set theory. Nederl. Akad. Wetensch. Proc, A, 70, 45-51 (1967).
  • [4] N. C. A. da Costa: Sur les systemes formels Cif C*, Ci=Di et NFt. C.R. Acad. Sc. Paris, 260, 5427-5430 (1965).
  • [5] P. Dedecker: Introduction aux structures locales. Colloque de geometrie differentielle globale, pp. 103-135. Brussels (1958).
  • [6] C. Ehresmann: Gattungen von lokalen Strukturen. Jahresb. d.D. Math. Ver., 60, 49-77 (1957).
  • [7] J. Houdebine: Classes et ensembles. Seminaire C. Ehresmann, VI (1963).
  • [8] J. Houdebine: Theorie des ensembles dans le cadre d'une theorie des classes. C.R. Acad. Sc. Paris, 260, 3805-3808 (1965).
  • [9] J. L. Kelley: General Topology. New York (1955).
  • [10] S. C. Kleene: Introduction to Metamathematics. New York (1952).
  • [11] S. Orey: New foundations and the axiom of counting. Duke Math. Journal, 31, 655-660 (1964).
  • [12] W. V. 0. Quine: New foundations for mathematical logic. Am. Math. Monthly, 44, 70-80 (1937).
  • [13] J. B. Rosser: Logic for Mathematicians. New York (1953).
  • [14] J. Sonner: On the formal definition of categories. Math. Zeit., 80, 163-176 (1962).
  • [15] E. P. Specker: The axiom of choice in Quine's new foundations for mathematical logic. Proc. Nat. Acad. Sci. U. S. A., 39, 972-975 (1954).

See also

  • Part I: Newton C. A. da Costa. On a set theory suggested by Dedecker and Ehresmann, I. Proc. Japan Acad., Volume 45, Number 10 (1969), 880--884.