Archive for Mathematical Logic

, Volume 46, Issue 1, pp 43–50 | Cite as

A note on the schemes of replacement and collection

  • A. R. D. Mathias
Article

Abstract

We derive the schemes of Open image in new window from certain weak forms of the same.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Hájek, P., Vopěnka, P.: Über die Gültigkeit des Fundierungsaxioms in speziellen Systemen der Mengentheorie. Zeitschr. f. math Logik und Grundlagen d. Math. 9, 235–241 (1963)MATHGoogle Scholar
  2. 2.
    Hauschild, K.: Bemerkungen, das Fundierungsaxiom betreffend. Zeitschr. f. math. Logik und Grundlagen d. Math. 12, 51–56 (1966)MATHMathSciNetGoogle Scholar
  3. 3.
    Mathias, A. R. D.: The Strength of Mac Lane Set Theory. Annals of Pure and Applied Logic, 110, 107–234 (2001)MATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    Zarach, A.: Springer Lecture Notes in Logic 6, 307–322 (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • A. R. D. Mathias
    • 1
  1. 1.ERMITUniversité de la Réunion and Centre de Recerca MatemàticaBellaterra

Personalised recommendations